Added Unsatisfiable Classes example to explain.md
@@ -36,3 +36,12 @@ those axioms can be output with `-o` or passed to any subsequent chained command
Finally, since there can be more than one way to derive an inference from an ontology,
`explain` includes one more option, `--max`, which allows you to specify the maximum
number of explanations to output (the default is `1`).
+
+Explain can be very useful for debugging unsatisfiable classes. This can be done with the following command:
+
+ robot explain --input uvula.ofn --reasoner ELK \
+ --axiom "'uvular muscle' EquivalentTo owl:Nothing" \
+ annotate --annotation rdfs:label "Explanation for unsatisfiability of Uvular Muscle" \
+ --ontology-iri "https://github.com/ontodev/robot/examples/uvular_muscle_unsat.ofn" \
+ --output results/uvular_muscle_unsat.ofn
+
