RE: [protege-discussion] Re: Roles and Classes

Following my previous question I cc to WebOnt group for further inquiry

> I've not checked if a sameAs declaration
> between two instances of disjoint classes
> is detected as an error.

It is not :(

I can create the following without problem under Prot¨¦g¨¦ and export it in
OWL syntax.

    <owl:Class rdf:ID="Man"/>
    <owl:Class rdf:ID="Woman">
        <owl:disjointWith rdf:resource="#Man"/>
    </owl:Class>
    <Man rdf:ID="John"/>
    <Woman rdf:ID="Linda">
        <owl:sameAs rdf:resource="#John"/>
    </Woman>

Which seems clearly inconsistent IMO. This inconsistenvy is not detected by
OWL validators as well, such as http://owl.bbn.com/validator/

So I begin to wonder if this is considered inconsistent, although at
http://www.w3.org/TR/owl-guide/#DisjointClasses

it is clearly stated that

"The disjointness of a set of classes can be expressed using the
owl:disjointWith constructor. It guarantees that an individual that is a
member of one class cannot simultaneously be an instance of a specified
other class."

So?

Bernard Vatant
Senior Consultant
Knowledge Engineering
Mondeca - www.mondeca.com
bernard.vatant@mondeca.com

Received on Monday, 6 October 2003 09:37:48 UTC