Re: Layering bug?

> 
> 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