robot_expand
Expands shortcut annotation properties (macros) into OWL axioms. Specify which macro properties to expand and optionally mark generated axioms.
Instructions
Expand shortcut annotation properties (macros) into OWL axioms.
Use expand_term to specify which macro properties to expand.
Use no_expand_term to exclude specific properties. Set
annotate_expansion_axioms to mark generated axioms.
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_expand"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| input | No | ||
| output | No | ||
| expand_term | No | ||
| no_expand_term | No | ||
| annotate_expansion_axioms | 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 | |||