aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSA.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-08-19 11:11:53 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-08-19 11:11:53 +0100
commit3a166085e656be5f957423e6e371b6647b313997 (patch)
treecc3486d5bde7dc692ee71948fd03e907b7badc7f /src/main/scala/rsacomb/RSA.scala
parent56a3cc7f1a2d1dc85a262f2648cf246197684caf (diff)
downloadRSAComb-3a166085e656be5f957423e6e371b6647b313997.tar.gz
RSAComb-3a166085e656be5f957423e6e371b6647b313997.zip
Use `rdf(..)` instead of `create(..)` to create `Atom`s
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
-rw-r--r--src/main/scala/rsacomb/RSA.scala8
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
8 8
9object RSA extends RSAOntology { 9object RSA extends RSAOntology {
10 10
11 val PrefixBase = "http://example.com/rsa_example.owl#"
12 val PrefixInternal = "http://127.0.0.1/"
13 val PredicatePE = PrefixInternal + "PE"
14 val PredicateU = PrefixInternal + "U"
15 val PredicateE = PrefixInternal + "E"
16
11 // TODO: move this somewhere else... maybe an OntoUtils class or something. 17 // TODO: move this somewhere else... maybe an OntoUtils class or something.
12 def loadOntology(onto: File ): OWLOntology = { 18 def loadOntology(onto: File): OWLOntology = {
13 val manager = OWLManager.createOWLOntologyManager() 19 val manager = OWLManager.createOWLOntologyManager()
14 manager.loadOntologyFromOntologyDocument(onto) 20 manager.loadOntologyFromOntologyDocument(onto)
15 } 21 }