W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: third version of semantics document

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 5 Sep 2002 23:14:09 -0700
Message-Id: <p05111b0bb99df6b99910@[65.212.118.251]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org

>As an indication of how things can go wrong in a complicated specification,

Well, amen to that.

>Pat's document is very close to implying that all RDFS classes and
>properties are OWL objects.
>
>Why is this?
>
>First, the extension of the denotations of rdfs:subClassOf and
>rdfs:subPropertyOf are transitive relations according to the RDFS 
>model theory.
>Second, a resource belongs to the class extension of the denotation of
>owl:TransitiveProperty if its extension is transitive.

Yeh, that was a mistake. Should have been 'only if' not 'iff'. My 
fingers tend to write 'iff' to mean 'corresponds roughly to' when my 
mind is distracted; I am aware of this failing and usually check 
drafts carefully before releasing them.

>Therefore, the denotations of rdfs:subClassOf and rdfs:subPropertyOf belong
>to the class extension of the denotation of owl:TransitiveProperty.

At most, what should be in that class are the restrictions of 
rdfs:subClassOf to owl:Class and similarly for properties.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Friday, 6 September 2002 04:58:13 GMT

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