From 537277d9ce3ba2aff1d66d1b19dbb77e17be0d48 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
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.
---
 pom.xml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'pom.xml')

diff --git a/pom.xml b/pom.xml
index 63a853d..3fe8d3c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -54,9 +54,12 @@
 			<version>1.3</version>
 		</dependency>
 		<dependency>
-			<groupId>com.hermit-reasoner</groupId>
-			<artifactId>org.semanticweb.hermit</artifactId>
-			<version>1.3.8.1</version>
+            <groupId>net.sourceforge.owlapi</groupId>
+            <artifactId>org.semanticweb.hermit</artifactId>
+            <version>1.4.5.519</version>
+			<!-- <groupId>com.hermit-reasoner</groupId> -->
+			<!-- <artifactId>org.semanticweb.hermit</artifactId> -->
+			<!-- <version>1.3.8.1</version> -->
 		</dependency>
 		<dependency>
 			<groupId>net.sourceforge.owlapi</groupId>
-- 
cgit v1.2.3