1 files changed, 7 insertions, 1 deletions

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 229255c..1fa0fc1 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -8,8 +8,14 @@ import org.semanticweb.owlapi.model.OWLOntology
 
 object RSA extends RSAOntology {
 
+  val PrefixBase = "http://example.com/rsa_example.owl#"
+  val PrefixInternal = "http://127.0.0.1/"
+  val PredicatePE = PrefixInternal + "PE"
+  val PredicateU = PrefixInternal + "U"
+  val PredicateE = PrefixInternal + "E"
+
   // TODO: move this somewhere else... maybe an OntoUtils class or something.
-  def loadOntology(onto: File ): OWLOntology = {
+  def loadOntology(onto: File): OWLOntology = {
     val manager = OWLManager.createOWLOntologyManager()
     manager.loadOntologyFromOntologyDocument(onto)
   }