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.
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_reduce"
}
}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 | |||