robot_reason
Run an OWL reasoner to classify an ontology and check consistency. Supports reasoners like ELK, HermiT, and JFact for inferring axioms.
Instructions
Run an OWL reasoner to classify the ontology and check consistency.
Reasoner choices: ELK (default, fast, OWL 2 EL), HermiT (full OWL 2
DL), JFact, Whelk, EMR (Expression Materializing Reasoner), Structural.
The axiom_generators flag controls which inferred axioms to assert
(e.g. "SubClass EquivalentClass DisjointClasses").
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| input | No | ||
| output | No | ||
| reasoner | No | ELK | |
| axiom_generators | No | ||
| create_new_ontology | No | ||
| equivalent_classes_allowed | No | ||
| exclude_duplicate_axioms | No | ||
| exclude_owl_thing | No | ||
| exclude_tautologies | No | ||
| annotate_inferred_axioms | No | ||
| remove_redundant_subclass_axioms | No | ||
| dump_unsatisfiable | No | ||
| working_directory | No | ||
| catalog | No | ||
| prefixes | No | ||
| add_prefix | No | ||
| noprefixes | No | ||
| verbose | No | ||
| strict | No | ||
| xml_entities | No | ||
| extra_args | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||