public Set<Map<Variable, Term>> retrieveBinding(Condition condition) {
logger.debug(
"Executing query "
+ condition
+ " over "
+ state.getIdentifier()
+ " with "
+ state.listInstances().size()
+ " instances and "
+ state.listAxioms().size()
+ " axioms.");
try {
reasoner.deRegisterOntology((IRI) (state.getIdentifier()));
} catch (Exception e) {
// allow for kaon
}
try {
reasoner.registerOntology(state);
} catch (InconsistencyException e) {
logger.warn("Ontology registration failed.", e);
}
Set<Map<Variable, Term>> instances =
reasoner.executeQuery(
(IRI) state.getIdentifier(), condition.getRestrictedLogicalExpression());
return instances;
}
public boolean holds(Condition condition) {
logger.debug(
"Executing ground query "
+ condition
+ " over "
+ state.getIdentifier()
+ " with "
+ state.listInstances().size()
+ " instances and "
+ state.listAxioms().size()
+ " axioms.");
try {
reasoner.deRegisterOntology((IRI) (state.getIdentifier()));
} catch (Throwable t) {
// silent
// TODO log warn
}
try {
reasoner.registerOntology(state);
} catch (InconsistencyException e) {
logger.warn("Ontology registration failed.", e);
}
return reasoner.executeGroundQuery(
(IRI) state.getIdentifier(), condition.getRestrictedLogicalExpression());
}