diff options
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
-rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 5 |
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) |