Example conclusion file

[Mikael]

Hi,

I'm new to HermiT. I would like to check if an owl ontology entails some facts. Does anyone know if there are any example conclusion files that could be used on https://protege.stanford.edu/ontologies/pizza/pizza.owl? Preferably in a simple human editable format like Manchester syntax.

I believe the command to check entailment then is

java -jar HermiT.jar --premise=https://protege.stanford.edu/ontologies/pizza/pizza.owl --conclusion=x --checkEntailment

where x is a conclusion file.

Thank you.