From d085aeae07a729467047aba50b22e9baa7a4d10f Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 7 Sep 2020 16:56:41 +0200
Subject: Fix SKOLEM function call

The first argument of the function call has to be a string. Here we use
the atom IRI string. Since arguments need to be `BuiltinExpression`s, we
use a XSD_STRING `Literal` to represent it.
---
 src/main/scala/rsacomb/RSAOntology.scala | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 9d52612..5846672 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -200,11 +200,13 @@ trait RSAOntology {
         // TODO: We need to implement another way to introduce fresh
         // variables.
         val varA = Variable.create("A")
+        val name =
+          Literal.create(atom.getTupleTableName.getIRI, Datatype.XSD_STRING)
         val args = atom
           .getArguments()
           .asScala
           .toSeq
-        //.prepended(atom.getTupleTableName.getIRI)
+          .prepended(name)
         BindAtom.create(
           BuiltinFunctionCall
             .create("SKOLEM", args: _*),
-- 
cgit v1.2.3