Reusing owl:disjointWith for DisjointObjectProperties?

• From: Holger Knublauch <holger@topquadrant.com>
• Date: Wed, 15 Nov 2006 13:59:52 -0800
• To: public-owl-dev@w3.org
• Message-ID: <455B8DD8.7060802@topquadrant.com>

According to the OWL 1.1 RDF mapping, DisjointObjectProperties are 
mapped into the OWL 1.0 property owl:disjointWith for properties:

    <owl:ObjectProperty rdf:about="#likes">
       <owl:disjointWith>
          <owl:ObjectProperty rdf:about="#dislikes"/>
       </owl:disjointWith>
    </owl:ObjectProperty>

Is it safe to reuse the same property like for classes here?  What 
happens if you send this to an OWL 1.0 reasoner: from the domain of 
owl:disjointWith this would probably infer that "likes" must be a 
class...  In order to improve backward compatibility, wouldn't it make 
sense to introduce a new property here, such as owl:disjointProperty, 
similar to owl:equivalentProperty?

Holger

Received on Wednesday, 15 November 2006 22:00:00 UTC