diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 14:29:35 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 14:29:35 +0000 |
| commit | 2b0f0d0079484b00a1b788414ff1499282a86aeb (patch) | |
| tree | 3e31df8a6fea594b704d2a5013659c9a59483996 /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |
| parent | 17285895dec47f4ca05590c861a7e8ef6f595c0c (diff) | |
| parent | f8e612288f3a604ee1bd60016b7320f00b763e6b (diff) | |
| download | RSAComb-2b0f0d0079484b00a1b788414ff1499282a86aeb.tar.gz RSAComb-2b0f0d0079484b00a1b788414ff1499282a86aeb.zip | |
Merge branch 'master' into logger
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 | 9 |
1 files changed, 4 insertions, 5 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 c605e51..5001c8a 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |||
| @@ -247,11 +247,10 @@ class CanonicalModel(val ontology: RSAOntology) { | |||
| 247 | } | 247 | } |
| 248 | 248 | ||
| 249 | case a: OWLSubObjectPropertyOfAxiom => { | 249 | case a: OWLSubObjectPropertyOfAxiom => { |
| 250 | val (factsF, rulesF) = | 250 | val (facts, rules) = List(Empty, Forward, Backward) |
| 251 | super.convert(a, term, unsafe, NoSkolem, Forward) | 251 | .map(super.convert(a, term, unsafe, NoSkolem, _)) |
| 252 | val (factsB, rulesB) = | 252 | .unzip |
| 253 | super.convert(a, term, unsafe, NoSkolem, Backward) | 253 | (facts.flatten, rules.flatten) |
| 254 | (factsF ::: factsB, rulesF ::: rulesB) | ||
| 255 | } | 254 | } |
| 256 | 255 | ||
| 257 | case a => super.convert(a, term, unsafe, skolem, suffix) | 256 | case a => super.convert(a, term, unsafe, skolem, suffix) |