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).

1 files changed, 3 insertions, 3 deletions

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)
       }