Re: Joint Committee telecon today

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