W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

AllDifferent

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 13 Jan 2003 03:59:01 -0500 (EST)
Message-Id: <20030113.035901.125113943.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

Apparently the record of the decision on AllDifferent may be a bit hard to
read.

Here is my recollection:

<owl:AllDifferent> 
 <owl:distinctMembers rdf:parsetType="Collection">
  <ex:Person rdf:about="John" />
  <ex:Person rdf:about="Mary" />
  <ex:Person rdf:about="Susan" />
  <ex:Person rdf:about="Joe" />
 </owl:distinctMembers>
<owl:AllDifferent> 

makes the denotations of John, Mary, Susan, and Joe be all different.

This is all now in the Abstract Syntax (no change needed there, actually),
the mapping to RDF graphs, and the RDFS-compatible model theory.

peter
Received on Monday, 13 January 2003 03:59:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT