# a little bit of OWL 2
@prefix owl: <http://www.w3.org/2002/07/owl#>.

{ ?P owl:propertyChainAxiom (?Q ?R).
  ?x ?Q [ ?R ?y ].
} => { ?x ?P ?y }.
# test case
#uncle owl:propertyChainAxiom (parent brother).
#sue parent [ brother bill ].

owl:propertyDisjointWith a owl:SymmetricProperty.

{ ?X [ owl:propertyDisjointWith ?P ] ?Y.
  ?X ?P ?Z .
} => { ?Y owl:differentFrom ?Z. }.


# this is actually OWL 1...
{ ?X a [ owl:onProperty ?P; owl:minCardinality 1 ] }
 => { ?X ?P [] }.