blob: 1fa0fc1b0734d68de7c3092c5fdf96794c4d3e6c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
package rsacomb
/* Java imports */
import java.io.File
import org.semanticweb.owlapi.apibinding.OWLManager
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 = {
val manager = OWLManager.createOWLOntologyManager()
manager.loadOntologyFromOntologyDocument(onto)
}
} // object RSA
|
