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").
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "robot_reason"
}
}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 | |||