diff options
| author | Federico Igne <git@federicoigne.com> | 2021-07-22 09:59:07 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-07-22 09:59:07 +0100 |
| commit | cb8572606f8951213bcfe9e6667caa208ad3d189 (patch) | |
| tree | 7ffc99c0d252f7eb828b9147215650dd06149367 /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |
| parent | fb0bbb76a53d08dffea74d0ae13c03a122c379bd (diff) | |
| download | RSAComb-cb8572606f8951213bcfe9e6667caa208ad3d189.tar.gz RSAComb-cb8572606f8951213bcfe9e6667caa208ad3d189.zip | |
Review main workflow
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala index af6c463..ee808c3 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |||
| @@ -77,7 +77,7 @@ class CanonicalModel(val ontology: RSAOntology) { | |||
| 77 | // Compute rules from ontology axioms | 77 | // Compute rules from ontology axioms |
| 78 | val (facts, rules) = { | 78 | val (facts, rules) = { |
| 79 | val term = RSAUtil.genFreshVariable() | 79 | val term = RSAUtil.genFreshVariable() |
| 80 | val unsafe = ontology.unsafeRoles | 80 | val unsafe = ontology.unsafe |
| 81 | ontology.axioms | 81 | ontology.axioms |
| 82 | .map(a => | 82 | .map(a => |
| 83 | CanonicalModelConverter.convert(a, term, unsafe, Constant(a), Empty) | 83 | CanonicalModelConverter.convert(a, term, unsafe, Constant(a), Empty) |