Update explain.md: remove markdown lists
remove lists to enable code block rendering
@@ -38,9 +38,14 @@ Finally, since there can be more than one way to derive an inference from an ont
number of explanations to output (the default is `1`).
The `robot explain` command can be used in three different modes (`--mode/-M`):
-1. `entailment` (default). In this mode, you can check the explanations for a particular axiom as described above.
-2. `inconsistency`. In this mode, you can generate an explanation for an inconsistent ontology.
-3. `unsatisfiability`. In this mode, you can generate explanations for many unsatisfiable classes at once.
+
+`entailment` (default). In this mode, you can check the explanations for a particular axiom as described above.
+
+
+`inconsistency`. In this mode, you can generate an explanation for an inconsistent ontology.
+
+
+`unsatisfiability`. In this mode, you can generate explanations for many unsatisfiable classes at once.
To generate an explanation for an inconsistent ontology, you can use:
@@ -50,7 +55,9 @@ To generate an explanation for an inconsistent ontology, you can use:
--output results/uvula_inconsistent_explanation.ofn
You have three options to generate explanations for many unsatisfiable classes at once:
-- `all`: generate explanations for all unsatisfiable classes in the ontology.
+
+
+`all`: generate explanations for all unsatisfiable classes in the ontology.
robot explain --input uvula_multiple_unsat.ofn --reasoner ELK \
@@ -58,13 +65,18 @@ You have three options to generate explanations for many unsatisfiable classes a
annotate --ontology-iri "https://github.com/ontodev/robot/examples/uvula_multiple_unsat_all_explanation.ofn" \
--output results/uvula_multiple_unsat_all_explanation.ofn
-- `root`: generate explanations for all _root unsatisfiable classes_. In OWL, a root unsatisfiable
+
+`root`: generate explanations for all _root unsatisfiable classes_. In OWL, a root unsatisfiable
class, roughly, is a class whose unsatisfiability cannot be explained by the unsatisfiability of another class.
A comprehensive explanation of the concept can be found [here](https://www.sciencedirect.com/science/article/pii/S1570826805000260).
-- `most_general`: this is a very naive, experimental variant of the proper `root` method. It determines
+
+
+`most_general`: this is a very naive, experimental variant of the proper `root` method. It determines
explanations for those unsatisfiable classes that, according to the _asserted class hierarchy_, have no parents that are also
unsatisfiable. Note that this approach only works if the class hierarchy does not contain cycles.
-- `random:n`: Sometimes, you may want to generate explanations for unsatisfiable classes en masse,
+
+
+`random:n`: Sometimes, you may want to generate explanations for unsatisfiable classes en masse,
but because of the large number in your source ontology, restrict your investigation to a random subset of `n` random classes.
`n` must be a positive natural number.
@@ -74,8 +86,9 @@ but because of the large number in your source ontology, restrict your investiga
annotate --ontology-iri "https://github.com/ontodev/robot/examples/uvula_multiple_unsat_2.ofn" \
--output results/uvula_multiple_unsat_2.ofn
-- (additional fourth option `list`: Sometimes you just want to get a list of all unsatisfiable classes.
-Note: this option does not actually generate explanations)
+
+Additional fourth option `list`: Sometimes you just want to get a list of all unsatisfiable classes.
+Note: this option does not actually generate explanations.
robot explain --input uvula_multiple_unsat.ofn --reasoner ELK \
