From 39b60d4225f5efa4e0287a2c6ce69d90391c69db Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 3 Jul 2015 19:09:31 +0100 Subject: Many little changes. --- .../ox/cs/pagoda/reasoner/full/HermitChecker.java | 27 +++++++++++----------- 1 file changed, 13 insertions(+), 14 deletions(-) (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 cfae88b..9574845 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java @@ -99,7 +99,6 @@ public class HermitChecker extends Checker { if(!toCheck) return false; ++noOfCalls; - if(tag != 0) return tag == 1; if(hermit == null) initialiseReasoner(); @@ -107,19 +106,19 @@ public class HermitChecker extends Checker { Map sub = answerTuple.getAssignment(answerVariable[1]); Set toCheckAxioms = qGraph.getAssertions(sub); - // TODO complete - Set toCheckExistentialAxioms = qGraph.getExistentialAxioms(); - - // TODO possibly inefficient - for(OWLAxiom subclassAxiom : toCheckExistentialAxioms) { - Utility.logDebug("Checking consistency of ontology union " + subclassAxiom); - ontology.getOWLOntologyManager().addAxiom(ontology, subclassAxiom); - if(hermit.isConsistent()) { - Utility.logDebug("@TIME to check one tuple: " + t.duration()); - return false; - } - ontology.getOWLOntologyManager().removeAxiom(ontology, subclassAxiom); - } +// // TODO complete +// Set toCheckExistentialAxioms = qGraph.getExistentialAxioms(sub); +// +// // TODO possibly inefficient +// for(OWLAxiom subclassAxiom : toCheckExistentialAxioms) { +// Utility.logInfo("Checking consistency of ontology union " + subclassAxiom); +// ontology.getOWLOntologyManager().addAxiom(ontology, subclassAxiom); +// if(hermit.isConsistent()) { +// Utility.logDebug("@TIME to check one tuple: " + t.duration()); +// return false; +// } +// ontology.getOWLOntologyManager().removeAxiom(ontology, subclassAxiom); +// } // for (OWLAxiom axiom: toCheckAxioms) System.out.println(axiom.toString()); -- cgit v1.2.3