aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSA.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
-rw-r--r--src/main/scala/rsacomb/RSA.scala10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 10a9d47..98c7a4d 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -21,14 +21,14 @@ import scala.collection.JavaConverters._
21 21
22object RSA extends RSAOntology with RSAAxiom { 22object RSA extends RSAOntology with RSAAxiom {
23 23
24 val Prefixes = new Prefixes() 24 val Prefixes: Prefixes = new Prefixes()
25 Prefixes.declarePrefix(":", "http://example.com/rsa_example.owl#") 25 Prefixes.declarePrefix(":", "http://example.com/rsa_example.owl#")
26 Prefixes.declarePrefix("internal:", "http://127.0.0.1/") 26 Prefixes.declarePrefix("rsa:", "http://127.0.0.1/")
27 Prefixes.declarePrefix("rdf:", "http://www.w3.org/1999/02/22-rdf-syntax-ns#") 27 Prefixes.declarePrefix("rdf:", "http://www.w3.org/1999/02/22-rdf-syntax-ns#")
28 Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#") 28 Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#")
29 Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#") 29 Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#")
30 30
31 val EquivTo: IRI = this.internal("EquivTo") 31 val EquivTo: IRI = this.rsa("EquivTo")
32 32
33 // Counter used to implement a simple fresh variable generator 33 // Counter used to implement a simple fresh variable generator
34 private var counter = -1; 34 private var counter = -1;
@@ -44,9 +44,9 @@ object RSA extends RSAOntology with RSAAxiom {
44 + name.toString 44 + name.toString
45 ) 45 )
46 46
47 def internal(name: Any): IRI = 47 def rsa(name: Any): IRI =
48 IRI.create( 48 IRI.create(
49 Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI 49 Prefixes.getPrefixIRIsByPrefixName.get("rsa:").getIRI
50 + name.toString 50 + name.toString
51 ) 51 )
52 52