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.

3 files changed, 5 insertions, 3 deletions

diff --git a/src/test/java/uk/ac/ox/cs/hermit/HermitQueryReasoner.java b/src/test/java/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
index 957790f..a98acba 100644
--- a/src/test/java/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
+++ b/src/test/java/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
@@ -1,5 +1,6 @@
 package uk.ac.ox.cs.hermit;
 
+import org.semanticweb.HermiT.Configuration;
 import org.semanticweb.HermiT.Reasoner;
 import org.semanticweb.HermiT.model.Atom;
 import org.semanticweb.HermiT.model.AtomicRole;
@@ -75,7 +76,7 @@ public class HermitQueryReasoner {
 //                      for (OWLAxiom axiom: o.getAxioms())
 //                              System.out.println(axiom); 
                 
-                Reasoner hermit = new Reasoner(onto);
+                Reasoner hermit = new Reasoner(new Configuration(), onto);
                 if (!hermit.isConsistent()) {
                         System.out.println("The ontology is inconsistent."); 
                         return ; 
diff --git a/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java b/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java
index dc70284..b46360d 100644
--- a/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java
+++ b/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java
@@ -20,7 +20,7 @@ public class HermitTester {
 
         public static void main(String[] args) {
                 OWLOntology onto = OWLHelper.loadOntology("imported.owl");
-                Reasoner hermit = new Reasoner(onto);
+                Reasoner hermit = new Reasoner(new Configuration(), onto);
                 OWLDataFactory f = onto.getOWLOntologyManager().getOWLDataFactory();
                 OWLClass concept = f.getOWLClass(IRI.create("http://semantics.crl.ibm.com/univ-bench-dl.owl#Query12")); 
                 
diff --git a/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java b/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java
index 60c8ed4..f91251d 100644
--- a/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java
+++ b/src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java
@@ -6,6 +6,7 @@ import java.io.FileOutputStream;
 import java.io.IOException;
 import java.util.Scanner;
 
+import org.semanticweb.HermiT.Configuration;
 import org.semanticweb.HermiT.Reasoner;
 import org.semanticweb.owlapi.model.AxiomType;
 import org.semanticweb.owlapi.model.IRI;
@@ -65,7 +66,7 @@ public class SummaryTester {
                 OWLDataFactory factory = summary.getOWLOntologyManager().getOWLDataFactory(); 
                 QueryRoller r = new QueryRoller(factory);
                 OWLClassExpression summarisedQueryExp;
-                Reasoner reasoner = new Reasoner(summary); 
+                Reasoner reasoner = new Reasoner(new Configuration(), summary); 
                 QueryManager queryManager = new QueryManager(); 
                 int upperBoundCounter, queryID = 0;
                 StringBuilder queryText = new StringBuilder();