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

Re: Layering bug?

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 19 Jun 2003 12:49:55 +0100
Message-ID: <3EF1A363.4090108@hplb.hpl.hp.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
CC: jjc@hpl.hp.com, www-webont-wg@w3.org


> 
> However, this does not violate any of the claims in S&AS, as the relevant
> theorem is that if an entailment holds in OWL DL then it holds in OWL Full,
> not vice versa.
> 
> I will change the note in Appendix A to 
> 
> <p><strong>Note:</strong>
> The only if direction 
> <span class="change">
> is not true.
> </span>
> </p>
> 
> peter
> 


Hmmm, ...
the test cases document currently assumes that OWL DL and OWL Full 
entailment are the same on the syntactic subset - I will need to review it.

Jeremy
Received on Thursday, 19 June 2003 07:50:16 GMT

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