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.

1 files changed, 3 insertions, 1 deletions

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: _*),