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.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index e4348d8..05b6218 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -216,7 +216,7 @@ trait RSAOntology {
216 .toList 216 .toList
217 val axioms = tbox ++ rbox 217 val axioms = tbox ++ rbox
218 val varX = Variable.create("X") 218 val varX = Variable.create("X")
219 val visitor = ProgramGenerator(ontology, varX, unsafeRoles) 219 val visitor = ProgramGenerator(ontology, varX)
220 val facts = ProgramGenerator.NIs(individuals) 220 val facts = ProgramGenerator.NIs(individuals)
221 val rules1 = ProgramGenerator.generateRoleRules( 221 val rules1 = ProgramGenerator.generateRoleRules(
222 axioms 222 axioms