Re: owl:Ontology in abstract syntax

>I'm going to remove the subClass triple that causes this problem, along
>with a number of other subClass, domain, and range triples.  They are all
>entailed by the OWL model theory anyway.


Can you indicate which ones -
it makes a lot of difference to the test cases.

Jeremy