From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 01/09/01
Here is a new semantics, with changes from the discussion today. Also, I made one more change, which was to remove any semantics for equivalentTo! This is necessary, because both sameClassAs and samePropertyAs are subproperties of equivalentTo, and sameClassAs and samePropertyAs have no semantics in common. (Thanks to Lynn for pointing this out, but I guess that she didn't realize the consequences.) peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST