@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <foo://bla/names#>.

:Corner owl:oneOf (:a :b :c);
  rdfs:subClassOf
  [a owl:Restriction; owl:onProperty :higher; owl:cardinality 1].
owl:AllDifferent owl:distinctMembers (:a :b :c).
:higher rdfs:domain :Corner; rdfs:range :Corner.
:higher a owl:FunctionalProperty. ## redundant, note cardinality 1
:higher a owl:AntisymmetricProperty.
:higher a owl:IrreflexiveProperty.
:a :higher :b.
:b :higher :d. :d a :Corner.  ## goal: I wanted to find out whether d==a, d==b, or d==c, but ...
# :d :higher :b. ## although this is derived as an answer, adding it makes the ontology INCONSISTENT!