FullSemanticsDisjointProperties

Goto OWL 2 Full Semantics Page

The OWL 2 Full semantics of Disjoint Properties.

Disjoint Properties

Syntax

 x owl:propertyDisjointWith y

Semantics

Axiomatic triples:

 owl:propertyDisjointWith rdf:type rdf:Property
 owl:propertyDisjointWith rdfs:domain rdf:Property
 owl:propertyDisjointWith rdfs:range rdf:Property

Main semantic condition:

   (p,q) ∈ EXT_I(S_I(owl:propertyDisjointWith))
 IF AND ONLY IF
   p, q ∈ IOOP,
   EXT_I(p) ∩ EXT_I(q) = ∅

Considerations

• The definition of the semantics was largely straightforward, and there do not seem to be very different alternatives.
• Unlike OWL 1 Full, but like in RDFS, there are axiomatic triples for the domain and range of the property
• The use of "IF-AND-ONLY-IF" is in line with the OWL 1 Full semantics for equivalent properties.
• Having "p, q in IOOP" in the "THEN" branch is in line with the OWL 1 Full semantics for equivalent properties.
• Using "EXT(p) ^ EXT(q) = {}" corresponds to the OWL 2 DL semantics for disjoint properties, when restricted to only two operands.
• Using "EXT(p) ^ EXT(q) = {}" has precedence in the pD* paper for the semantics of owl:differentFrom.

Goto OWL 2 Full Semantics Page