- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 19 Jun 2003 12:49:55 +0100
- 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 UTC