aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala26
1 files changed, 12 insertions, 14 deletions
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 {
51 .asScala 51 .asScala
52 val unsafe = ontology.getUnsafeRoles 52 val unsafe = ontology.getUnsafeRoles
53 53
54 /* DEBUG: print rules in DL syntax */ 54 /* DEBUG: print rules in DL syntax and unsafe roles */
55 val renderer = new DLSyntaxObjectRenderer() 55 val renderer = new DLSyntaxObjectRenderer()
56 println("\nDL rules:") 56 println("\nDL rules:")
57 tbox.foreach(x => println(renderer.render(x))) 57 tbox.foreach(x => println(renderer.render(x)))
58 println(s"Unsafe roles: $unsafe")
58 59
59 /* Ontology convertion into LP rules */ 60 /* Ontology convertion into LP rules */
60 val datalog = for { 61 val datalog = for {
@@ -111,20 +112,17 @@ trait RSAOntology {
111 ) 112 )
112 113
113 // Retrieve all instances of PE 114 // Retrieve all instances of PE
114 println("\nQuery results:") 115 println("\nQueries:")
115 val cursor = data.createCursor( 116 RDFoxUtil.query(
117 data,
118 prefixes,
119 "SELECT ?X ?Y WHERE { ?X <internal:PE> ?Y }"
120 )
121 RDFoxUtil.query(
122 data,
116 prefixes, 123 prefixes,
117 "SELECT ?X ?Y WHERE { ?X <internal:PE> ?Y }", 124 "SELECT ?X ?Y WHERE { ?X <internal:E> ?Y }"
118 new HashMap[String, String]() 125 )
119 );
120 var mul = cursor.open()
121 while (mul > 0) {
122 val res0 = cursor.getResource(0)
123 val res1 = cursor.getResource(1)
124 println(s"Answer: $res0 $res1")
125 mul = cursor.advance()
126 }
127 cursor.close();
128 126
129 // Close connection to RDFox 127 // Close connection to RDFox
130 RDFoxUtil.closeConnection(server, data) 128 RDFoxUtil.closeConnection(server, data)