aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala5
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 {
73 axiom <- axioms 73 axiom <- axioms
74 visitor = new RDFoxAxiomConverter( 74 visitor = new RDFoxAxiomConverter(
75 RSA.getFreshVariable(), 75 RSA.getFreshVariable(),
76 unsafe,
76 SkolemStrategy.ConstantRSA(axiom.toString), 77 SkolemStrategy.ConstantRSA(axiom.toString),
77 unsafe 78 RSASuffix.None
78 ) 79 )
79 rule <- axiom.accept(visitor) 80 rule <- axiom.accept(visitor)
80 } yield rule 81 } yield rule
@@ -124,7 +125,7 @@ trait RSAOntology {
124 graph.isAcyclic 125 graph.isAcyclic
125 } 126 }
126 127
127 private def unsafeRoles: List[OWLObjectPropertyExpression] = { 128 lazy val unsafeRoles: List[OWLObjectPropertyExpression] = {
128 // The reasoner is used to check unsafety condition for the ontology roles 129 // The reasoner is used to check unsafety condition for the ontology roles
129 val factory = new StructuralReasonerFactory() 130 val factory = new StructuralReasonerFactory()
130 val reasoner = factory.createReasoner(ontology) 131 val reasoner = factory.createReasoner(ontology)