diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-19 11:11:53 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-19 11:11:53 +0100 |
commit | 3a166085e656be5f957423e6e371b6647b313997 (patch) | |
tree | cc3486d5bde7dc692ee71948fd03e907b7badc7f /src/main/scala/rsacomb/RSA.scala | |
parent | 56a3cc7f1a2d1dc85a262f2648cf246197684caf (diff) | |
download | RSAComb-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.scala | 8 |
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 | ||
9 | object RSA extends RSAOntology { | 9 | object 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 | } |