An owl:incompatibleWith
statement, that is an instance of
owl:OntologyProperty, contains a reference to another ontology. This indicates that the
containing ontology is a later version of the referenced ontology, but is not
backward compatible with it. Essentially, this is for use by ontology authors
who want to be explicit that documents cannot upgrade to use the new version
without checking whether changes are required.
owl:incompatibleWith is a built-in OWL property with the class
owl:Ontology as its domain and range.
<rdf:Property rdf:ID="incompatibleWith">
<rdfs:label>incompatibleWith</rdfs:label>
<rdf:type rdf:resource="#OntologyProperty"/>
<rdfs:domain rdf:resource="#Ontology"/>
<rdfs:range rdf:resource="#Ontology"/>
</rdf:Property>
If a property o is used where an ontology property is expected
then it should either be one of the built in ontology properties
(owl:imports, owl:priorVersion,
owl:backwardCompatibleWith, and owl:incompatibleWith)
or there should be a triple:
o rdf:type owl:OntologyProperty
<owl:Ontology rdf:about="">
<rdfs:comment>Vehicle Ontology, v. 1.1</rdfs:comment>
<owl:incompatibleWith rdf:resource="http://www.example.org/vehicle-1.0"/>
<owl:priorVersion rdf:resource="http://www.example.org/vehicle-1.0"/>
</owl:Ontology>
The ontology-import construct owl:imports and the
ontology-versioning constructs owl:priorVersion,
owl:backwardCompatibleWith and owl:incompatibleWith are defined in the OWL
vocabulary as instances of the OWL built-in class owl:OntologyProperty. Instances of
owl:OntologyProperty must have the class owl:Ontology
as their domain and range.
owl:incompatibleWith has no meaning in the model theoretic
semantics other than that given by the RDF(S) model theory.