- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Mon, 30 Dec 2002 19:00:43 +0100
- To: www-webont-wg@w3.org
>> >> 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 UTC