From b4ddcd3f489aa217cda56140274c5b6d91a75c10 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 23 Jun 2021 16:30:45 +0100
Subject: 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.
---
 src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')

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")
-- 
cgit v1.2.3