Fix handling of class expression OWLObjectHasSelf

It was not properly handled in the normalization process.

1 files changed, 9 insertions, 2 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
index 205c369..5329f26 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
@@ -401,6 +401,10 @@ class Normalizer() {
                 factory.getOWLNothing
               )
             )
+          /** Self-restriction over an object property */
+          case (sub: OWLObjectHasSelf, _) => notInHornALCHOIQ(a)
+          case (_, sup: OWLObjectHasSelf) => notInHornALCHOIQ(a)
+
           /** Axiom is already normalized */
           case _ => Seq(a)
         }
@@ -507,7 +511,7 @@ class Normalizer() {
 
       /** Unsupported */
 
-      case a: OWLAsymmetricObjectPropertyAxiom => notSupported(a)
+      case a: OWLAsymmetricObjectPropertyAxiom => notInHornALCHOIQ(a)
 
       case a: OWLDatatypeDefinitionAxiom => notSupported(a)
 
@@ -577,7 +581,10 @@ class Normalizer() {
   ): Seq[OWLLogicalAxiom] = {
     /* Update statistics */
     discarded += 1
-    Logger print s"'$axiom' has been ignored because it is not in Horn-ALCHOIQ"
+    Logger.print(
+      s"'$axiom' has been ignored because it is not in Horn-ALCHOIQ",
+      Logger.VERBOSE
+    )
     Seq()
   }