diff options
| author | Federico Igne <git@federicoigne.com> | 2021-07-27 10:34:57 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-07-27 10:34:57 +0100 |
| commit | d017662e2d65ec72e7decde3b76591c198da9819 (patch) | |
| tree | 57193f145cb39223db0b0da6055556aca7d04622 /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |
| parent | c597b5efbe9e351a4313ef8fc1215f9e188b1ffd (diff) | |
| parent | 7d619706551117a485d93d0d6847a25afa6a359d (diff) | |
| download | RSAComb-0.2.0.tar.gz RSAComb-0.2.0.zip | |
Merge branch 'approximation'v0.2.0
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 | 4 |
1 files changed, 2 insertions, 2 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 b949ccb..ca54054 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |||
| @@ -92,8 +92,8 @@ class CanonicalModel(val ontology: RSAOntology) { | |||
| 92 | val (facts, rules): (List[TupleTableAtom], List[Rule]) = { | 92 | val (facts, rules): (List[TupleTableAtom], List[Rule]) = { |
| 93 | // Compute rules from ontology axioms | 93 | // Compute rules from ontology axioms |
| 94 | val (facts, rules) = { | 94 | val (facts, rules) = { |
| 95 | val term = RSAOntology.genFreshVariable() | 95 | val term = RSAUtil.genFreshVariable() |
| 96 | val unsafe = ontology.unsafeRoles | 96 | val unsafe = ontology.unsafe |
| 97 | ontology.axioms | 97 | ontology.axioms |
| 98 | .map(a => | 98 | .map(a => |
| 99 | CanonicalModelConverter.convert(a, term, unsafe, Constant(a), Empty) | 99 | CanonicalModelConverter.convert(a, term, unsafe, Constant(a), Empty) |