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