Re: Layering bug

Mehrdad Omidvari wrote:


> However, the "Model Theory" of OWL DL (like the MT of FOL) insists that
> the universe is non-empty.


Ahhh I had missed that, I will need to rework the counterexamples.

Indeed the direct semantics says that
EC(owl:Thing) = R
and
R is non-empty

so

owl:Thing owl:equivalentClass owl:Nothing .

is false.

The new problems will have to assert that owl:Thing is a singleton set, and 
then do some magic with there only being one class and one property.

This may suggest a different fix of changing the assertion that "R is 
non-empty" to "R is infinite".

Jeremy