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 /src/main/scala/rsacomb/RSA.scala | |
| parent | 4df351d3b1d11fc045005323c38ba3528de631ea (diff) | |
| download | RSAComb-60876ada5b19bcdd02bef1f53992ae324b0e3670.tar.gz RSAComb-60876ada5b19bcdd02bef1f53992ae324b0e3670.zip | |
Change IRI prefix for internal resources
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RSA.scala | 2 |
1 files changed, 1 insertions, 1 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: _*) |