From c782cacac113f3f0b7fe39add68382d82d2eca2c Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 17 Aug 2020 11:29:51 +0100
Subject: Automate query evaluation in RDFoxUtil

---
 src/main/scala/rsacomb/RSAOntology.scala | 26 ++++++++++++--------------
 1 file changed, 12 insertions(+), 14 deletions(-)

(limited to 'src/main/scala/rsacomb/RSAOntology.scala')

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 8303dd4..a3c1843 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -51,10 +51,11 @@ trait RSAOntology {
           .asScala
       val unsafe = ontology.getUnsafeRoles
 
-      /* DEBUG: print rules in DL syntax */
+      /* DEBUG: print rules in DL syntax and unsafe roles */
       val renderer = new DLSyntaxObjectRenderer()
       println("\nDL rules:")
       tbox.foreach(x => println(renderer.render(x)))
+      println(s"Unsafe roles: $unsafe")
 
       /* Ontology convertion into LP rules */
       val datalog = for {
@@ -111,20 +112,17 @@ trait RSAOntology {
       )
 
       // Retrieve all instances of PE
-      println("\nQuery results:")
-      val cursor = data.createCursor(
+      println("\nQueries:")
+      RDFoxUtil.query(
+        data,
+        prefixes,
+        "SELECT ?X ?Y WHERE { ?X <internal:PE> ?Y }"
+      )
+      RDFoxUtil.query(
+        data,
         prefixes,
-        "SELECT ?X ?Y WHERE { ?X <internal:PE> ?Y }",
-        new HashMap[String, String]()
-      );
-      var mul = cursor.open()
-      while (mul > 0) {
-        val res0 = cursor.getResource(0)
-        val res1 = cursor.getResource(1)
-        println(s"Answer: $res0 $res1")
-        mul = cursor.advance()
-      }
-      cursor.close();
+        "SELECT ?X ?Y WHERE { ?X <internal:E> ?Y }"
+      )
 
       // Close connection to RDFox
       RDFoxUtil.closeConnection(server, data)
-- 
cgit v1.2.3