search

phyloref / jphyloref

MIT License
0 stars 0 forks source link

Upgrade JFact to 5.0.1 #10

Closed gaurav closed 6 years ago

gaurav commented 6 years ago

Upgrading JFact to 5.0.1 allows us to use a more recent reasoner, which appears to work faster for some phyloreferences and has better error reporting. It also upgrades the version of the OWL API we use from 1.2.4 to 5.0.4, which required some code changes for the new API.

Note that JFact 5.0.1 can't reason over the current Phyloref ontology; it should be able to do so once phyloref/phyloref-ontology#19 has been merged.

gaurav commented 6 years ago

Yup, all these code changes were because of changes in the OWL API from 3.x to 5.x! Thanks for the code review!