diff options
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
-rw-r--r-- | src/main/scala/rsacomb/RSA.scala | 10 |
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 | ||
22 | object RSA extends RSAOntology with RSAAxiom { | 22 | object 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 | ||