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.
If a property
o is used where an ontology property is expected
then it should either be one of the built in ontology properties
or there should be a triple:
o rdf:type owl:OntologyProperty
<rdfs:comment>Vehicle Ontology, v. 1.1</rdfs:comment>
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
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.