@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <foo://bla/>.
:Cyclic a owl:Class;
  owl:equivalentClass [ owl:intersectionOf
    (:Node [a owl:Restriction; owl:onProperty :to;
            owl:hasSelf "true"^^xsd:boolean ])].
:b a :Cyclic.
:a a :Node; :to :a, :b.
# :a a [ owl:complementOf :Cyclic ].