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

Re: SEM: Layering bug

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 30 Dec 2002 19:00:43 +0100
To: www-webont-wg@w3.org
Message-Id: <200212301900.43673.jjc@hpl.hp.com>

>> 
>> OWL Full:
>> 
>> Empty graph
>> 
>> owl-full entails
>> 
>> rdfs:Literal rdfs:subClassOf owl:Thing

DanC:
> How do you get that? I thought owl:Thing was
> disjoint from rdfs:Literal.

In OWL DL but not OWL Full.

At
http://www-db.research.bell-labs.com/user/pfps/owl/semantics/rdfs.html#5.4

we read IOT=R1
in other words

owl:Thing owl:sameClassAs rdfs:Resource .

When combined with the recent change to RDFS that

rdfs:Literal rdfs:subClassOf rdfs:Resource .

we get the result.

Jeremy

PS I believe Peter's fix works ... and I note that it is in the version of the 
(significantly improved) semantics doc dated 20th December.
Received on Monday, 30 December 2002 13:02:43 GMT

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