From dae3a534b43a73bf813dd7247b7a9abfcf274550 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 29 Nov 2021 14:59:29 +0000
Subject: Fix bug caused by existential axioms with equal sub/super class

---
 src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
index eed8825..7671c8f 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -466,7 +466,8 @@ class RSAOntology(
     val roleR = axiom
       .objectPropertyExpressionsInSignature(0)
       .asInstanceOf[OWLObjectProperty]
-    val classB = classes(1)
+    /* Only one class is returned if A == B */
+    val classB = if (classes.length > 1) classes(1) else classes(0)
     cycle_aux(classA, roleR, classB)
   }
 
-- 
cgit v1.2.3