Re: Semantic layering bug (not again!)

From: Jeremy Carroll <jjc@hpl.hp.com> Date: Mon, 22 Sep 2003 17:55:08 +0300 To: www-webont-wg@w3.org Message-Id: <200309221755.08138.jjc@hpl.hp.com> · This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC

Peter:
> Yuck.

> There is a (two-part) solution.

While not yet having understood your solution, I will suggest a different one 
for your consideration.

Add the constraint to section 5 that in every rdfs compatible owl 
interpretation the class extension of owl:Ontology is non-empty.

(Horrid hack?).

We can't count this things in OWL DL so non-empty should suffice.

Jeremy