- From: Dan Connolly <connolly@w3.org>
- Date: 01 Jan 2003 14:09:40 -0600
- To: Jeremy Carroll <jjc@hpl.hp.com>
- Cc: www-webont-wg@w3.org
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 UTC