1 files changed, 7 insertions, 2 deletions

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 2941440..9e45c28 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -264,10 +264,15 @@ trait RSAOntology {
         .map(_.getInverseProperty)
 
       invSuperRoles
-        .flatMap(
-          reasoner.subObjectProperties(_).collect(Collectors.toSet()).asScala
+        .flatMap(x =>
+          reasoner
+            .subObjectProperties(x)
+            .collect(Collectors.toSet())
+            .asScala
+            .addOne(x)
         )
         .filterNot(_.isOWLBottomObjectProperty())
+        .filterNot(_.getInverseProperty.isOWLTopObjectProperty())
     }
 
     def self(axiom: OWLSubClassOfAxiom): Set[Term] = {