From f8ec91676cfdeefc302100033a1b38167d01490f Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Fri, 4 Dec 2020 17:21:32 +0000 Subject: Fix axiom skolemization Skolemization should be uniquely bound to the axiom being skolemized. When an axiom is a shortcut for a set of axioms, the skolemization strategy should be updated with the new axiom(s). --- src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/main/scala') diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala index 1c8374c..4f4df26 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala @@ -156,7 +156,7 @@ trait RDFoxConverter { case a: OWLEquivalentClassesAxiom => { val (atoms, rules) = a.asPairwiseAxioms .flatMap(_.asOWLSubClassOfAxioms) - .map(convert(_, term, unsafe, skolem, suffix)) + .map(a => convert(a, term, unsafe, skolem dup a, suffix)) .unzip (atoms.flatten, rules.flatten) } @@ -164,7 +164,7 @@ trait RDFoxConverter { case a: OWLEquivalentObjectPropertiesAxiom => { val (atoms, rules) = a.asPairwiseAxioms .flatMap(_.asSubObjectPropertyOfAxioms) - .map(convert(_, term, unsafe, skolem, suffix)) + .map(a => convert(a, term, unsafe, skolem dup a, suffix)) .unzip (atoms.flatten, rules.flatten) } @@ -191,7 +191,7 @@ trait RDFoxConverter { case a: OWLInverseObjectPropertiesAxiom => { val (atoms, rules) = a.asSubObjectPropertyOfAxioms - .map(convert(_, term, unsafe, skolem, suffix)) + .map(a => convert(a, term, unsafe, skolem dup a, suffix)) .unzip (atoms.flatten, rules.flatten) } -- cgit v1.2.3