does anyone know how to use Hermit reasoner to check if the Ontology is inconsistent/consistent ? i want to use it from command line and would be better if I can save the result in result.txt like Konclude.
Asked
Active
Viewed 14 times
