Add rule generation for unsafe T5 axioms for canonical model

1 files changed, 3 insertions, 2 deletions

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 4b872e5..79b8632 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -73,8 +73,9 @@ trait RSAOntology {
         axiom <- axioms
         visitor = new RDFoxAxiomConverter(
           RSA.getFreshVariable(),
+          unsafe,
           SkolemStrategy.ConstantRSA(axiom.toString),
-          unsafe
+          RSASuffix.None
         )
         rule <- axiom.accept(visitor)
       } yield rule
@@ -124,7 +125,7 @@ trait RSAOntology {
       graph.isAcyclic
     }
 
-    private def unsafeRoles: List[OWLObjectPropertyExpression] = {
+    lazy val unsafeRoles: List[OWLObjectPropertyExpression] = {
       // The reasoner is used to check unsafety condition for the ontology roles
       val factory = new StructuralReasonerFactory()
       val reasoner = factory.createReasoner(ontology)