diff options
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: _*) |