W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Re: ISSUE 5.3, a non-mon example

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 02 Jul 2003 22:01:19 +0100
Message-ID: <3F03481F.1070001@hplb.hpl.hp.com>
To: pat hayes <phayes@ihmc.us>
CC: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org



pat hayes wrote:


> 
> Really? Hmm. that is odd by itself. In OWL DL, rdfs:Class and owl:Class 
> are identified, right? 


In OWL Full, not OWL DL.

> Now, A rdfs-entails
> 
> eg:a rdfs:subClassOf eg:b .
> eg:a rdf:type rdfs:Class .
> eg:b rdf:type rdfs:Class .
> 
> so it presumably must OWL-full-entail A*. So A OWL-full entails A* , and 
> A* is in OWL DL but A is not in OWL DL ?!?
> 


Correct.


> Pat
Received on Wednesday, 2 July 2003 17:01:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT