From 7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 16 Jun 2015 15:54:53 +0100 Subject: Maybe fixed bug in internalisation. --- src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java | 1 + 1 file changed, 1 insertion(+) (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 35db0f2..9cfc773 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java @@ -101,6 +101,7 @@ public class HermitChecker extends Checker { // for (OWLAxiom axiom: toCheckAxioms) System.out.println(axiom.toString()); +// Utility.logInfo(toCheckAxioms); if(hermit.isEntailed(toCheckAxioms)) { Utility.logDebug("@TIME to check one tuple: " + t.duration()); return true; -- cgit v1.2.3