W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2006

Reusing owl:disjointWith for DisjointObjectProperties?

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

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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:53 GMT