@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <foo://bla#>.
:edge rdfs:subPropertyOf :path.    ### use a win-move game as input
:path a owl:TransitiveProperty.
:Cyclic a owl:Class;
  owl:equivalentClass [ owl:intersectionOf  ( :Node
     [a owl:Restriction; owl:onProperty :path; owl:hasSelf "true"^^xsd:boolean])].