aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
authorFederico Igne <git@federicoigne.com>2021-08-06 13:31:54 +0100
committerFederico Igne <git@federicoigne.com>2021-08-06 13:31:54 +0100
commit75eb39dd0fd31c295b9ed9a6d3b0fd3b25611b2a (patch)
tree885cb3a76a5bdcbb685ac697e297ea8d91eb2ed8 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
parent19c22a38ccaf1685e345a18883ffbac891f97df3 (diff)
downloadRSAComb-75eb39dd0fd31c295b9ed9a6d3b0fd3b25611b2a.tar.gz
RSAComb-75eb39dd0fd31c295b9ed9a6d3b0fd3b25611b2a.zip
Add new fresh data factory
This will help write more significant test.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
index 30e1305..869dd88 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -81,30 +81,6 @@ import uk.ac.ox.cs.rsacomb.util.{RDFoxUtil, RSA}
81import uk.ac.ox.cs.rsacomb.util.Logger 81import uk.ac.ox.cs.rsacomb.util.Logger
82import uk.ac.ox.cs.rsacomb.ontology.Ontology 82import uk.ac.ox.cs.rsacomb.ontology.Ontology
83 83
84object RSAUtil {
85
86 // implicit def axiomsToOntology(axioms: Seq[OWLAxiom]) = {
87 // val manager = OWLManager.createOWLOntologyManager()
88 // manager.createOntology(axioms.asJava)
89 // }
90
91 /** Manager instance to interface with OWLAPI */
92 val manager = OWLManager.createOWLOntologyManager()
93 val factory = manager.getOWLDataFactory()
94
95 /** Simple fresh variable/class generator */
96 private var counter = -1;
97 def genFreshVariable(): Variable = {
98 counter += 1
99 Variable.create(f"I$counter%05d")
100 }
101 def getFreshOWLClass(): OWLClass = {
102 counter += 1
103 factory.getOWLClass(s"X$counter")
104 }
105
106}
107
108object RSAOntology { 84object RSAOntology {
109 85
110 import uk.ac.ox.cs.rsacomb.implicits.JavaCollections._ 86 import uk.ac.ox.cs.rsacomb.implicits.JavaCollections._