From 6a29b16dee0592fdeb03b26ff87fd00d57555f78 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 30 Sep 2020 19:45:25 +0200
Subject: Add rule generation for unsafe T5 axioms for canonical model

---
 src/main/scala/rsacomb/RSAOntology.scala | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/main/scala/rsacomb/RSAOntology.scala')

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)
-- 
cgit v1.2.3