Re: Semantic layering bug (not again!)

> <Empty>
> entails
> _:a rdf:type owl:Ontology .
> ====
> I think this is an OWL Lite entailment but an OWL Full non-entailment.
> Technically this follows from the decision we made to make such triples
> optional - I do not think making them compulsory would be the right fix.

Yes, while testing, I got indeed an incomplete run.
Another fix (which I tried and found no problem) is
to use a comprehension principle.

Jos De Roo, AGFA

Received on Monday, 22 September 2003 13:12:00 UTC