diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:09:37 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:38:25 +0100 |
| commit | 537277d9ce3ba2aff1d66d1b19dbb77e17be0d48 (patch) | |
| tree | d82884a5a72c7a8741084f7f324770d6b2e3489e /pom.xml | |
| parent | 52bba67e640fb1e30817fd1114a54e1d38ad5a74 (diff) | |
| download | ACQuA-537277d9ce3ba2aff1d66d1b19dbb77e17be0d48.tar.gz ACQuA-537277d9ce3ba2aff1d66d1b19dbb77e17be0d48.zip | |
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.
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 9 |
1 files changed, 6 insertions, 3 deletions
| @@ -54,9 +54,12 @@ | |||
| 54 | <version>1.3</version> | 54 | <version>1.3</version> |
| 55 | </dependency> | 55 | </dependency> |
| 56 | <dependency> | 56 | <dependency> |
| 57 | <groupId>com.hermit-reasoner</groupId> | 57 | <groupId>net.sourceforge.owlapi</groupId> |
| 58 | <artifactId>org.semanticweb.hermit</artifactId> | 58 | <artifactId>org.semanticweb.hermit</artifactId> |
| 59 | <version>1.3.8.1</version> | 59 | <version>1.4.5.519</version> |
| 60 | <!-- <groupId>com.hermit-reasoner</groupId> --> | ||
| 61 | <!-- <artifactId>org.semanticweb.hermit</artifactId> --> | ||
| 62 | <!-- <version>1.3.8.1</version> --> | ||
| 60 | </dependency> | 63 | </dependency> |
| 61 | <dependency> | 64 | <dependency> |
| 62 | <groupId>net.sourceforge.owlapi</groupId> | 65 | <groupId>net.sourceforge.owlapi</groupId> |