onto_dl_check
Verify class subsumption relationships in ontologies using DL tableaux reasoning to determine if one class is a subclass of another with justification.
Instructions
Check if one class is subsumed by another using DL tableaux reasoning. Returns whether sub_class is a subclass of super_class, with justification.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sub_class | Yes | IRI of the sub-class (the more specific class) | |
| super_class | Yes | IRI of the super-class (the more general class) |