@Override
public void evaluate(QueryRecord queryRecord) {
OWLOntology knowledgebase = relevantPart(queryRecord);
if (knowledgebase == null) {
Utility.logDebug("Difficulty of this query: " + queryRecord.getDifficulty());
return;
}
int aboxcount = knowledgebase.getABoxAxioms(true).size();
Utility.logDebug(
"ABox axioms: "
+ aboxcount
+ " TBox axioms: "
+ (knowledgebase.getAxiomCount() - aboxcount));
// queryRecord.saveRelevantOntology("fragment_query" + queryRecord.getQueryID() + ".owl");
Timer t = new Timer();
Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT());
// int validNumber =
summarisedChecker.check(queryRecord.getGapAnswers());
summarisedChecker.dispose();
Utility.logDebug("Total time for full reasoner: " + t.duration());
// if (validNumber == 0) {
queryRecord.markAsProcessed();
Utility.logDebug("Difficulty of this query: " + queryRecord.getDifficulty());
// }
}
@Override
public void evaluateUpper(QueryRecord queryRecord) {
AnswerTuples rlAnswer = null;
boolean useFull = queryRecord.isBottom() || lazyUpperStore == null;
try {
rlAnswer =
(useFull ? trackingStore : lazyUpperStore)
.evaluate(queryRecord.getQueryText(), queryRecord.getAnswerVariables());
queryRecord.updateUpperBoundAnswers(rlAnswer, true);
} finally {
if (rlAnswer != null) rlAnswer.dispose();
}
}
private void queryUpperBound(
BasicQueryEngine upperStore,
QueryRecord queryRecord,
String queryText,
String[] answerVariables) {
AnswerTuples rlAnswer = null;
try {
Utility.logDebug(queryText);
rlAnswer = upperStore.evaluate(queryText, answerVariables);
Utility.logDebug(t.duration());
queryRecord.updateUpperBoundAnswers(rlAnswer);
} finally {
if (rlAnswer != null) rlAnswer.dispose();
rlAnswer = null;
}
}
private OWLOntology relevantPart(QueryRecord queryRecord) {
AnswerTuples rlAnswer = null, elAnswer = null;
t.reset();
try {
rlAnswer =
rlLowerStore.evaluate(queryRecord.getQueryText(), queryRecord.getAnswerVariables());
Utility.logDebug(t.duration());
queryRecord.updateLowerBoundAnswers(rlAnswer);
} finally {
if (rlAnswer != null) rlAnswer.dispose();
}
queryRecord.addProcessingTime(Step.LowerBound, t.duration());
rlAnswer = null;
t.reset();
BasicQueryEngine upperStore =
queryRecord.isBottom() || lazyUpperStore == null ? trackingStore : lazyUpperStore;
String[] extendedQuery = queryRecord.getExtendedQueryText();
queryUpperBound(
upperStore, queryRecord, queryRecord.getQueryText(), queryRecord.getAnswerVariables());
if (!queryRecord.processed() && !queryRecord.getQueryText().equals(extendedQuery[0]))
queryUpperBound(upperStore, queryRecord, extendedQuery[0], queryRecord.getAnswerVariables());
if (!queryRecord.processed() && queryRecord.hasNonAnsDistinguishedVariables())
queryUpperBound(
upperStore, queryRecord, extendedQuery[1], queryRecord.getDistinguishedVariables());
queryRecord.addProcessingTime(Step.UpperBound, t.duration());
if (queryRecord.processed()) {
queryRecord.setDifficulty(Step.UpperBound);
return null;
}
t.reset();
try {
elAnswer =
elLowerStore.evaluate(
extendedQuery[0],
queryRecord.getAnswerVariables(),
queryRecord.getLowerBoundAnswers());
Utility.logDebug(t.duration());
queryRecord.updateLowerBoundAnswers(elAnswer);
} finally {
if (elAnswer != null) elAnswer.dispose();
}
queryRecord.addProcessingTime(Step.ELLowerBound, t.duration());
if (queryRecord.processed()) {
queryRecord.setDifficulty(Step.ELLowerBound);
return null;
}
t.reset();
QueryTracker tracker = new QueryTracker(encoder, rlLowerStore, queryRecord);
OWLOntology knowledgebase;
t.reset();
// if (program.getGeneral().isHorn()) {
// knowledgebase = tracker.extract(lazyUpperStore, consistency.getQueryRecords(), true);
// queryRecord.addProcessingTime(Step.Fragment, t.duration());
// return knowledgebase;
// }
// else {
knowledgebase = tracker.extract(trackingStore, consistency.getQueryRecords(), true);
queryRecord.addProcessingTime(Step.Fragment, t.duration());
// }
if (knowledgebase.isEmpty() || queryRecord.isBottom()) return knowledgebase;
if (program.getGeneral().isHorn()) return knowledgebase;
// t.reset();
// if (queryRecord.isHorn() && lazyUpperStore != null) {
//// knowledgebase = tracker.extract(lazyUpperStore, consistency.getQueryRecords(), true);
// } else if (queryRecord.getArity() < 3) {
// IterativeRefinement iterativeRefinement = new IterativeRefinement(queryRecord, tracker,
// trackingStore, consistency.getQueryRecords());
// knowledgebase = iterativeRefinement.extractWithFullABox(importedData.toString(),
// program.getUpperBottomStrategy());
// }
//
// queryRecord.addProcessingTime(Step.FragmentRefinement, t.duration());
//
// if (knowledgebase == null)
// queryRecord.setDifficulty(Step.FragmentRefinement);
return knowledgebase;
}