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 | 14 |
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) |