ROBOT

- - - - - - - - - -
view on github
getting started
common errors
chaining commands
global options
makefile
plugins
- - - - - - - - - -
annotate
collapse
convert
diff
expand
explain
export
export-prefixes
extract
filter
materialize
measure
merge
mirror
python
query
reason
reduce
relax
remove
rename
repair
report
template
unmerge
validate-profile
verify
- - - - - - - - - -
ROBOT is licensed under the
BSD 3-Clause License.
Theme by orderedlist

Explain

When reviewing inferred axioms, such as after applying the reason command, you may like more information about why a particular axiom was inferred:

robot explain --input uvula.ofn --reasoner ELK \
  --axiom "'uvular muscle' SubClassOf 'muscle organ' and 'part of' some 'jaw region'" \
  --explanation results/uvular_muscle.md

Here we provide an axiom in Manchester syntax. If that relationship is entailed by the axioms asserted in uvula.ofn, we can use the selected reasoner (here, ELK) to compute an explanation—a minimal set of axioms required to derive that inference. Reviewing inference explanations is an extremely useful tool for debugging ontology classification issues. The explanation is printed in Markdown format, which can be easily pasted and rendered within GitHub issues:

uvular muscle SubClassOf muscle organ and (part of some jaw region)

In addition to outputting the explanation axioms in Markdown using --explanation (or -e), an ontology containing just those axioms can be output with -o or passed to any subsequent chained commands:

robot explain --input uvula.ofn --reasoner ELK \
  --axiom "'uvular muscle' SubClassOf 'muscle organ' and 'part of' some 'jaw region'" \
  annotate --annotation rdfs:label "Uvular Muscle Explanation" \
  --ontology-iri "https://github.com/ontodev/robot/examples/uvular_muscle.ofn" \
  --output results/uvular_muscle.ofn

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).

The robot explain command can be used in three different modes (--mode/-M):

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:

robot explain --input uvula_inconsistent.ofn --reasoner ELK \
  -M inconsistency --explanation results/uvula_inconsistent_explanation.md \
    annotate --ontology-iri "https://github.com/ontodev/robot/examples/uvula_inconsistent_explanation.ofn" \
    --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.

robot explain --input uvula_multiple_unsat.ofn --reasoner ELK \
  -M unsatisfiability --unsatisfiable all --explanation results/uvula_multiple_unsat_all_explanation.md \
    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 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.

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, 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.

robot explain --input uvula_multiple_unsat.ofn --reasoner ELK \
  -M unsatisfiability --unsatisfiable random:2 --explanation results/uvula_multiple_unsat_2.md \
    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.

robot explain --input uvula_multiple_unsat.ofn --reasoner ELK \
  -M unsatisfiability -u list --explanation results/uvula_multiple_list.txt \
    annotate --ontology-iri "https://github.com/ontodev/robot/examples/uvula_multiple_list.ofn" \
    --output results/uvula_multiple_list.ofn

robot explain can be very useful for debugging unsatisfiable classes. A particular unsatisfiable class can be explained with the following command:

robot explain --input uvula_unsat.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_unsat_explanation.ofn

This is particularly useful when dealing with ontologies that are too large for an ordinary desktop machine with Protege.