build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519

This commit contains a "hacky" fix for KARMA2 to access some (now
private) field in the OWLAxioms class. The code is now using Java
Reflections to turn a private field public and gain access to internal
resources.

2 files changed, 7 insertions, 5 deletions

diff --git a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java
index ac62488..ebf1960 100644
--- a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java
+++ b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java
@@ -1,5 +1,6 @@
 package uk.ac.ox.cs.pagoda.reasoner;
 
+import org.semanticweb.HermiT.Configuration;
 import org.semanticweb.HermiT.Reasoner;
 import org.semanticweb.owlapi.model.*;
 import uk.ac.ox.cs.JRDFox.model.Individual;
@@ -63,7 +64,7 @@ class HermiTReasoner extends QueryReasoner {
         factory = onto.getOWLOntologyManager().getOWLDataFactory();
         roller = new QueryRoller(factory);
 
-        hermit = new Reasoner(onto);
+        hermit = new Reasoner(new Configuration(), onto);
         return isConsistent();
     }
 
diff --git a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
index 3f3c22d..fb7e062 100644
--- a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
+++ b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
@@ -1,5 +1,6 @@
 package uk.ac.ox.cs.pagoda.reasoner.full;
 
+import org.semanticweb.HermiT.Configuration;
 import org.semanticweb.HermiT.Reasoner;
 import org.semanticweb.HermiT.model.DLClause;
 import org.semanticweb.HermiT.model.Term;
@@ -57,7 +58,7 @@ public class HermitChecker extends Checker {
 //                      record = other.record;
         }
 
-        hermit = new Reasoner(ontology);
+        hermit = new Reasoner(new Configuration(), ontology);
     }
 
     public HermitChecker(OWLOntology ontology, QueryRecord record, boolean toCheck) {
@@ -174,12 +175,12 @@ public class HermitChecker extends Checker {
             addTopAndBotTuple(topAxioms, botAxioms);
             manager.addAxioms(ontology, topAxioms);
             manager.addAxioms(ontology, botAxioms);
-            hermit = new Reasoner(ontology);
+            hermit = new Reasoner(new Configuration(), ontology);
             boolean topValid = true;
             if(!hermit.isConsistent() || topAnswerTuple != null && (topValid = check(topAnswerTuple))) {
                 hermit.dispose();
                 manager.removeAxioms(ontology, topAxioms);
-                hermit = new Reasoner(ontology);
+                hermit = new Reasoner(new Configuration(), ontology);
             }
             else {
                 if(!topValid) tag = -1;
@@ -187,7 +188,7 @@ public class HermitChecker extends Checker {
             }
         }
         else
-            hermit = new Reasoner(ontology);
+            hermit = new Reasoner(new Configuration(), ontology);
     }
 
     private void addTopAndBotTuple(Set<OWLAxiom> topAxioms, Set<OWLAxiom> botAxioms) {