diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-16 15:54:53 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-16 15:54:53 +0100 |
| commit | 7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5 (patch) | |
| tree | a271283211f9a156e7cb04f578a94a3ca5d0d0f7 /src/uk/ac/ox/cs/pagoda/reasoner/full | |
| parent | 3a276b7c7836e56a171ab753b018913ce022ba8e (diff) | |
| download | ACQuA-7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5.tar.gz ACQuA-7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5.zip | |
Maybe fixed bug in internalisation.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/full')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java | 1 |
1 files changed, 1 insertions, 0 deletions
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 { | |||
| 101 | 101 | ||
| 102 | // for (OWLAxiom axiom: toCheckAxioms) System.out.println(axiom.toString()); | 102 | // for (OWLAxiom axiom: toCheckAxioms) System.out.println(axiom.toString()); |
| 103 | 103 | ||
| 104 | // Utility.logInfo(toCheckAxioms); | ||
| 104 | if(hermit.isEntailed(toCheckAxioms)) { | 105 | if(hermit.isEntailed(toCheckAxioms)) { |
| 105 | Utility.logDebug("@TIME to check one tuple: " + t.duration()); | 106 | Utility.logDebug("@TIME to check one tuple: " + t.duration()); |
| 106 | return true; | 107 | return true; |