From a7e7f8a5d0bac2a12127c10c6e15e602e4cd43ad Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 29 Sep 2021 16:44:00 +0100 Subject: Always use internal equality instead of SAME_AS --- src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/main') 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 266c158..276ee1a 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 @@ -340,7 +340,7 @@ trait RDFoxConverter { .collect { case x: OWLNamedIndividual => x } if (named.length != 1) throw new RuntimeException(s"Class expression '$e' has arity != 1.") - val atom = TupleTableAtom.rdf(term, IRI.SAME_AS, named.head.getIRI) + val atom = RSA.Congruent(term, named.head.getIRI) (List(atom), List()) } @@ -412,7 +412,7 @@ trait RDFoxConverter { val (res, ext) = vars.map(convert(cls, _, unsafe, skolem, suffix)(fresh)).unzip val props = vars.map(convert(role, term, _, suffix)(fresh)) - val eq = TupleTableAtom.rdf(y, IRI.SAME_AS, z) + val eq = RSA.Congruent(y, z) (List(eq), res.flatten ++ props) } -- cgit v1.2.3