diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-09 19:15:27 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-09 19:15:27 +0200 |
| commit | 733d962f27631cfb41de7b47d1fcec35b439537b (patch) | |
| tree | cc59768eab97e28a19ef1b30ad6d32f3a5266ef7 /src/main/scala/rsacomb/RSAOntology.scala | |
| parent | 6d88de9bf58ddb499377a39b4d362e755fa379d2 (diff) | |
| download | RSAComb-733d962f27631cfb41de7b47d1fcec35b439537b.tar.gz RSAComb-733d962f27631cfb41de7b47d1fcec35b439537b.zip | |
Simplify ProgramGenerator constructor
If we pass the whole ontology there is no need to also provide the set
of unsafe roles.
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 |