Re: SEM: Layering bug

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 UTC