aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
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.scala14
1 files changed, 14 insertions, 0 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 708e4c7..6a34555 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -403,6 +403,20 @@ class RSAOntology(val ontology: OWLOntology) {
403 answers 403 answers
404 } 404 }
405 405
406 /** Returns set of unfiltered answers.
407 *
408 * This is equivalent to quering just the canonical model.
409 *
410 * @note this method does not load any data to RDFox. The return
411 * value is considered well defined only after
412 * [[uk.ac.ox.cs.rsacomb.RSAOntology.ask RSAOntology.ask]]
413 * for the corresponding query has been called.
414 */
415 def askUnfiltered(cq: ConjunctiveQuery): Option[Seq[Seq[Resource]]] = {
416 val query = RDFoxUtil.buildDescriptionQuery("QM", cq.variables.length)
417 queryDataStore(cq, query, RSA.Prefixes)
418 }
419
406 def self(axiom: OWLSubClassOfAxiom): Set[Term] = { 420 def self(axiom: OWLSubClassOfAxiom): Set[Term] = {
407 // Assuming just one role in the signature of a T5 axiom 421 // Assuming just one role in the signature of a T5 axiom
408 val role = axiom.objectPropertyExpressionsInSignature(0) 422 val role = axiom.objectPropertyExpressionsInSignature(0)