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

Re: Agenda for telecon -- May 29 2003

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 29 May 2003 08:15:44 +0100
Message-ID: <3ED5B3A0.8030203@hplb.hpl.hp.com>
To: Jos De_Roo <jos.deroo@agfa.com>
CC: "Jim Hendler <hendler" <hendler@cs.umd.edu>, webont <www-webont-wg@w3.org>



Jos De_Roo wrote:

> 
...
> but it would if owl:Class was replaced with rdfs:Class in the semantics.
> ]]
> 
> The entailment is perfectly OK in OWL Full
> so the trouble is that we have no test case
> to show what would break if we drop owl:Class
> 


Moreover, if we did, it would be a bug in our design. Our design is 
intended to prevent there being such a test case.

The only part of our document where you can explore these issues is the 
section entitled OWL DL in the rdfs compatible semantics. That section does 
not relate to any of the conformance statements and is hence essentially 
informative, since it has no impact on any envisaged software.

Jeremy
Received on Thursday, 29 May 2003 03:37:03 GMT

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