W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2001

UniqueProperty, UnambiguousProperty

From: David Martin <martin@AI.SRI.COM>
Date: Tue, 11 Sep 2001 13:21:38 -0700
Message-ID: <3B9E7252.34777AB5@ai.sri.com>
To: "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
CC: Imen Atallah <atallah@csl.sri.com>
Why is UniqueProperty a subclass of

   rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property

whereas UnambiguousProperty is a subclass of

   #ObjectProperty?

This seems especially odd in view of this statement (from the language
reference doc): Note that the inverse property of a UniqueProperty is
always an UnambigousProperty and vice versa.

I sort of thought a design decision had been made that each DAML
property should be either Object or Datatype, and that this distinction
was supposed to be made clear in its declaration (someone please correct
me if I'm wrong).  But, if that's right, UniqueProperty allows one to
get around that design decision.

- David
Received on Tuesday, 11 September 2001 16:17:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:47 GMT