Using Hermit Reasoner to check if an Ontology is Consistant

Question

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.

Ma Paul · Accepted Answer · 2023-10-05 06:33:03Z

0

➜ java -jar HermiT.jar -k ~/my.owl
http://www.w3.org/2002/07/owl#Thing is satisfiable.

if you wanna save the result as result.txt

in linux and macOS

➜ java -jar HermiT.jar -k ~/my.owl > result.txt 

➜ cat result.txt   
http://www.w3.org/2002/07/owl#Thing is satisfiable

or use -o to write output to file

java -jar HermiT.jar -k ~/my.owl -o result.txt

edited Oct 5, 2023 at 6:33

answered Sep 25, 2023 at 15:11

Ma Paul

192 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Using Hermit Reasoner to check if an Ontology is Consistant

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related