diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:18:32 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:18:32 +0000 |
commit | 60876ada5b19bcdd02bef1f53992ae324b0e3670 (patch) | |
tree | 7c39f252754b430812383b233a9cbf7e9ed133d7 | |
parent | 4df351d3b1d11fc045005323c38ba3528de631ea (diff) | |
download | RSAComb-60876ada5b19bcdd02bef1f53992ae324b0e3670.tar.gz RSAComb-60876ada5b19bcdd02bef1f53992ae324b0e3670.zip |
Change IRI prefix for internal resources
-rw-r--r-- | src/main/scala/rsacomb/RSA.scala | 2 | ||||
-rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 12 |
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._ | |||
26 | object RSA { | 26 | object 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 | } |