From 537277d9ce3ba2aff1d66d1b19dbb77e17be0d48 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 18 May 2022 15:09:37 +0100 Subject: 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. --- src/test/java/uk/ac/ox/cs/hermit/HermitQueryReasoner.java | 3 ++- src/test/java/uk/ac/ox/cs/hermit/HermitTester.java | 2 +- src/test/java/uk/ac/ox/cs/pagoda/summary/SummaryTester.java | 3 ++- 3 files changed, 5 insertions(+), 3 deletions(-) (limited to 'src/test/java/uk/ac') 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(); -- cgit v1.2.3