diff options
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.scala | 24 |
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} | |||
81 | import uk.ac.ox.cs.rsacomb.util.Logger | 81 | import uk.ac.ox.cs.rsacomb.util.Logger |
82 | import uk.ac.ox.cs.rsacomb.ontology.Ontology | 82 | import uk.ac.ox.cs.rsacomb.ontology.Ontology |
83 | 83 | ||
84 | object 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 | |||
108 | object RSAOntology { | 84 | object RSAOntology { |
109 | 85 | ||
110 | import uk.ac.ox.cs.rsacomb.implicits.JavaCollections._ | 86 | import uk.ac.ox.cs.rsacomb.implicits.JavaCollections._ |