Complete generation of logic program for the canonical model

1 files changed, 7 insertions, 1 deletions

diff --git a/src/main/scala/rsacomb/RSAAxiom.scala b/src/main/scala/rsacomb/RSAAxiom.scala
index 50dc37e..aca44b1 100644
--- a/src/main/scala/rsacomb/RSAAxiom.scala
+++ b/src/main/scala/rsacomb/RSAAxiom.scala
@@ -8,6 +8,7 @@ import org.semanticweb.owlapi.model.{
 }
 import org.semanticweb.owlapi.model.{
   OWLObjectPropertyExpression,
+  OWLSubObjectPropertyOfAxiom,
   OWLClass,
   OWLClassExpression,
   OWLObjectSomeValuesFrom,
@@ -148,11 +149,16 @@ trait RSAAxiom {
         List()
       }
 
+      override def visit(
+          axiom: OWLSubObjectPropertyOfAxiom
+      ): List[OWLObjectPropertyExpression] =
+        List(axiom.getSubProperty(), axiom.getSuperProperty())
+
       def doDefault(axiom: OWLAxiom): List[OWLObjectPropertyExpression] = List()
     }
 
     /* Exposed methods */
-    def objectPropertyExpressionsInSignature
+    lazy val objectPropertyExpressionsInSignature
         : List[OWLObjectPropertyExpression] = {
       val visitor = new RSAAxiomRoleExtractor()
       axiom.accept(visitor)