On Mon, 2002-12-30 at 12:00, Jeremy Carroll wrote: > >> > >> 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. That's not my understanding. > 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 . That's broken. owl:Thing is disjoint from rdfs:Literal and rdf:Property, in my understanding. Peter/Pat, please fix/confirm/explain-why-not. > 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. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Wednesday, 1 January 2003 15:09:33 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT