From c0f5bdcdb29608532656c71c219680eccd4aad09 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 22:45:35 +0100 Subject: fixed some bugs in windows server --- src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java index 6f5d363..97925fc 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java @@ -43,6 +43,7 @@ public class HermitChecker implements Checker { protected OWLOntology ontology; protected QueryRecord record; protected QueryGraph qGraph = null; + boolean toCheck = true; public HermitChecker(Checker checker) { if (checker instanceof HermitChecker) { @@ -58,12 +59,13 @@ public class HermitChecker implements Checker { hermit = new Reasoner(ontology); } - public HermitChecker(OWLOntology ontology, QueryRecord record) { + public HermitChecker(OWLOntology ontology, QueryRecord record, boolean toCheck) { this.ontology = ontology; queryText = record.getQueryText(); answerVariable = record.getVariables(); queryClause = record.getClause(); // this.record = record; + this.toCheck = toCheck; } public HermitChecker(OWLOntology ontology, String queryText) { @@ -198,6 +200,8 @@ public class HermitChecker implements Checker { @Override public boolean check(AnswerTuple answerTuple) { + if (!toCheck) return false; + if (hermit == null) initialiseReasoner(); if (tag != 0) return tag == 1; ++counter; -- cgit v1.2.3