From f8e612288f3a604ee1bd60016b7320f00b763e6b Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 8 Dec 2020 13:16:30 +0000 Subject: 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. --- src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala') 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) { } case a: OWLSubObjectPropertyOfAxiom => { - val (factsF, rulesF) = - super.convert(a, term, unsafe, NoSkolem, Forward) - val (factsB, rulesB) = - super.convert(a, term, unsafe, NoSkolem, Backward) - (factsF ::: factsB, rulesF ::: rulesB) + val (facts, rules) = List(Empty, Forward, Backward) + .map(super.convert(a, term, unsafe, NoSkolem, _)) + .unzip + (facts.flatten, rules.flatten) } case a => super.convert(a, term, unsafe, skolem, suffix) -- cgit v1.2.3