On Fri, 2002-12-20 at 04:25, Jeremy Carroll wrote: > Thinking some more I came across the following (potential) mismatch between > OWL DL and OWL Full: > > ==== > > OWL Full: > > Empty graph > > owl-full entails > > rdfs:Literal rdfs:subClassOf owl:Thing How do you get that? I thought owl:Thing was disjoint from rdfs:Literal. > > http://lists.w3.org/Archives/Public/www-webont-wg/2002Dec/0255.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Friday, 20 December 2002 09:50:30 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT