aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-18 18:18:32 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-18 18:18:32 +0000
commit60876ada5b19bcdd02bef1f53992ae324b0e3670 (patch)
tree7c39f252754b430812383b233a9cbf7e9ed133d7
parent4df351d3b1d11fc045005323c38ba3528de631ea (diff)
downloadRSAComb-60876ada5b19bcdd02bef1f53992ae324b0e3670.tar.gz
RSAComb-60876ada5b19bcdd02bef1f53992ae324b0e3670.zip
Change IRI prefix for internal resources
-rw-r--r--src/main/scala/rsacomb/RSA.scala2
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala12
2 files changed, 5 insertions, 9 deletions
diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 1b2aa9c..3a37a87 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -26,7 +26,7 @@ import scala.collection.JavaConverters._
26object RSA { 26object RSA {
27 27
28 val Prefixes: Prefixes = new Prefixes() 28 val Prefixes: Prefixes = new Prefixes()
29 Prefixes.declarePrefix("rsa:", "http://127.0.0.1/") 29 Prefixes.declarePrefix("rsa:", "http://www.cs.ox.ac.uk/isg/rsa/")
30 30
31 private def atom(name: IRI, vars: List[Term]) = 31 private def atom(name: IRI, vars: List[Term]) =
32 TupleTableAtom.create(TupleTableName.create(name.getIRI), vars: _*) 32 TupleTableAtom.create(TupleTableName.create(name.getIRI), vars: _*)
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 1a5e4ca..53bc560 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -164,7 +164,7 @@ class RSAOntology(val ontology: OWLOntology) extends RSAAxiom {
164 data.importData( 164 data.importData(
165 UpdateType.ADDITION, 165 UpdateType.ADDITION,
166 RSA.Prefixes, 166 RSA.Prefixes,
167 "<http://127.0.0.1/E>[?X,?Y] :- <http://127.0.0.1/PE>[?X,?Y], <http://127.0.0.1/U>[?X], <http://127.0.0.1/U>[?Y] ." 167 "rsa:E[?X,?Y] :- rsa:PE[?X,?Y], rsa:U[?X], rsa:U[?Y] ."
168 ) 168 )
169 169
170 /* Add built-in rules 170 /* Add built-in rules
@@ -252,13 +252,9 @@ class RSAOntology(val ontology: OWLOntology) extends RSAAxiom {
252 data: DataStoreConnection 252 data: DataStoreConnection
253 ): Graph[Resource, UnDiEdge] = { 253 ): Graph[Resource, UnDiEdge] = {
254 val query = "SELECT ?X ?Y WHERE { ?X rsa:E ?Y }" 254 val query = "SELECT ?X ?Y WHERE { ?X rsa:E ?Y }"
255 val cursor = 255 val answers = RDFoxHelpers.submitSelectQuery(data, query, RSA.Prefixes)
256 data.createCursor(RSA.Prefixes, query, new HashMap[String, String]()); 256 var edges: List[UnDiEdge[Resource]] = answers.map {
257 var mul = cursor.open() 257 case n1 :: n2 :: _ => UnDiEdge(n1, n2)
258 var edges: List[UnDiEdge[Resource]] = List()
259 while (mul > 0) {
260 edges = UnDiEdge(cursor.getResource(0), cursor.getResource(1)) :: edges
261 mul = cursor.advance()
262 } 258 }
263 Graph(edges: _*) 259 Graph(edges: _*)
264 } 260 }