robot_reduce
Remove redundant subClassOf axioms from an ontology using a reasoner to identify and strip inferred subclass relationships, keeping the ontology minimal.
Instructions
Remove redundant subClassOf axioms using a reasoner.
After reasoning, some asserted subclass relationships become redundant because they can be inferred through other paths. This command strips those redundancies to keep the ontology minimal.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| input | No | ||
| output | No | ||
| reasoner | No | ELK | |
| preserve_annotated_axioms | No | ||
| named_classes_only | 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 | |||