robot_relax
Converts EquivalentClasses axioms to SubClassOf axioms, reducing ontology restrictiveness while preserving the subclass hierarchy.
Instructions
Relax equivalence axioms into weaker subclass axioms.
Converts EquivalentClasses axioms to SubClassOf axioms, making the
ontology less restrictive while preserving the subclass hierarchy.
Commonly used before reduce in pipelines like
reason → relax → reduce.
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_relax"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| input | No | ||
| output | No | ||
| exclude_named_classes | No | ||
| include_subclass_of | No | ||
| enforce_obo_format | 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 | |||