diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 13:16:30 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 13:16:30 +0000 |
| commit | f8e612288f3a604ee1bd60016b7320f00b763e6b (patch) | |
| tree | 5ab556a5d2c2c0a95ab92a0b31550db74500ae47 /src/main/scala/uk/ac/ox/cs/rsacomb | |
| parent | c3ff5305c30cdf31755972df4c3dc554d5246ae9 (diff) | |
| download | RSAComb-f8e612288f3a604ee1bd60016b7320f00b763e6b.tar.gz RSAComb-f8e612288f3a604ee1bd60016b7320f00b763e6b.zip | |
Fix bug for OWLObjectSubPropertyOfAxiom
A version of the rule with an empty suffix was missing. Note that this
is not completely clear from the paper.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb')
| -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) |