This PR adds a --reasoner command line option which can be used to change reasoners, and adds the FaCT++ 1.5.2 reasoner as an optional reasoner. Since FaCT++ depends on OWL 4.x, it reverts the OWLAPI from 5.0.4 to 4.2.7, which required a few minor code changes. Since FaCT++ uses native libraries (through the Java Native Interface), I've also added a README that explains how to download and set up those libraries.
This PR adds a
--reasoner
command line option which can be used to change reasoners, and adds the FaCT++ 1.5.2 reasoner as an optional reasoner. Since FaCT++ depends on OWL 4.x, it reverts the OWLAPI from 5.0.4 to 4.2.7, which required a few minor code changes. Since FaCT++ uses native libraries (through the Java Native Interface), I've also added a README that explains how to download and set up those libraries.