Infinite loop with cyclic rdfs:subclassOf relationships

[martinmaillard]

[mhusm]

I did some digging into my problem. I used a data set that that used owl:equivalentClass and a reasoner to generate triples from that. If we define

ex:A owl:equivalentClass ex:B

An OWL reasoner will derive that

ex:B rdfs:subClassOf ex:A.
ex:A rdfs:subClassOf ex:B.

So cyclic subclasses are bound to occur as soon as one has a data set with owl:equivalentClass