From c6babfd508f65e8b7596a96659214cb43881dadd Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Fri, 6 Nov 2020 12:05:34 +0000 Subject: Fix bug in the filtering program generation Variables where generated as IRI. --- src/main/scala/rsacomb/FilteringProgram.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/main/scala/rsacomb') diff --git a/src/main/scala/rsacomb/FilteringProgram.scala b/src/main/scala/rsacomb/FilteringProgram.scala index b0d4aab..7683a32 100644 --- a/src/main/scala/rsacomb/FilteringProgram.scala +++ b/src/main/scala/rsacomb/FilteringProgram.scala @@ -300,17 +300,17 @@ class FilteringProgram(query: SelectQuery, constants: List[Term]) arg2 = role.getArguments.get(2) if bounded contains arg0 if bounded contains arg2 - sx <- List("_f", "_b") + sx <- List("f", "b") } yield Rule.create( predAQ(sx, Variable.create("V"), Variable.create("W")), role suffix sx, predID( RSA.internal(bounded indexOf arg0), - RSA.internal(Variable.create("V")) + Variable.create("V") ), predID( RSA.internal(bounded indexOf arg2), - RSA.internal(Variable.create("W")) + Variable.create("W") ) ) @@ -335,7 +335,7 @@ class FilteringProgram(query: SelectQuery, constants: List[Term]) val r8b = Rule.create(predSP, predFK) val r8c = - for (sx <- List("_f", "_b")) + for (sx <- List("f", "b")) yield Rule.create( predSP, predTQ(sx, Variable.create("V"), Variable.create("V")) -- cgit v1.2.3