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

Bernard Vatant wrote:

> Following my previous question I cc to WebOnt group for further inquiry
> 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

It isn't "not detected by OWL validators" at least, not with out  
qualification. It's *shouldn't* be detected by syntax checkers, but  
Pellet (after a small bug fix) checks it quite easily:


(The demo page: <>
  I made your example into a web document:  

> So I begin to wonder if this is considered inconsistent,

You begin to wonder because tools not purporting in the least to detect  
inconsistency fail to detect an inconsistency? My word processor fails  
to detect inconsistency too, believe me ;)

> although at
> it is clearly stated that

Though not normative, I would certainly be inclined toward believing a  
spec rather than software (especially software not purporting to  
perform the desired task).
> So?

What? :)

Bijan Parsia.

Received on Monday, 6 October 2003 20:02:09 UTC