Closed nickdrummond closed 2 years ago
Protege HEAD is using owlapi:4.5.19 Current tests are using owlapi:5.1.17
Pellet is dependent on owlapi:4.2 (https://github.com/stardog-union/pellet/blob/master/pom.xml) Ignazio's dist is on maven (https://mvnrepository.com/artifact/net.sourceforge.owlapi/pellet-owlapi-ignazio1977/2.4.0-ignazio1977)
Or use openllet, currently active (https://github.com/Galigator/openllet) v2.6 is java 1.11 and owlapi:5 compatible
Updated project to use java 11, openllet, owlapi:5.1.19
The ontologies are developed using Protege's Pellet reasoner plugin. We previously used HermiT, but it was not performing well as the ontology scaled.
The junit tests were developed with HermiT, but are now simply hanging/taking forever.
They need to be migrated to Pellet.