CODEWITHSUNDEEP
reasoninghermit
Rami Dhouib
Rami Dhouib

Reputation: 13

Using Hermit Reasoner to check if an Ontology is Consistant

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.

Upvotes: 1

Views: 85

Answers (1)

Ma Paul
Ma Paul

Reputation: 19

➜ 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

Upvotes: 0

Related Questions