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 | } |
