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.29 : Thursday, 27 January 2005 18:05:02 GMT