@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <foo://bla#>.
:Corner owl:oneOf (:a :b :c); rdfs:subClassOf
  [a owl:Restriction; owl:onProperty :higher; owl:cardinality 1].
[ a owl:AllDifferent; owl:members (:a :b :c)].
:higher rdfs:domain :Corner; rdfs:range :Corner.
:higher a owl:InverseFunctionalProperty. # necessary if there are more corners
:higher a owl:AsymmetricProperty; a owl:IrreflexiveProperty.
#:higher a owl:FunctionalProperty. ## redundant, note cardinality 1
:a :higher :b.