Fix automatic query building

The API for the SKOLEM operator is changed in RDFox but the helper
functions using it were not ported to the new syntax.

1 files changed, 14 insertions, 0 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
index 74084af..f9de801 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
@@ -119,9 +119,23 @@ object RSAComb extends App {
 
     ConjunctiveQuery.parse(query) match {
       case Some(query) => {
+        // Retrieve answers
         val answers = rsa ask query
         Logger.print(s"$answers", Logger.VERBOSE)
         Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})"
+        // Retrieve unfiltered answers
+        val unfiltered = rsa.queryDataStore(
+          """
+            SELECT (count(?K) as ?COUNT)
+            WHERE {
+                ?K a rsa:QM .
+            }
+          """,
+          RSA.Prefixes
+        )
+        unfiltered.foreach((u) =>
+          Logger print s"Number of unfiltered answers: ${u.head._2}"
+        )
       }
       case None =>
         throw new RuntimeException("Submitted query is not conjunctive")