onto_dl_explain
Explain unsatisfiable OWL classes by identifying logical contradictions using DL tableaux reasoning. Provides traceable explanations for why a class cannot be instantiated in ontologies.
Instructions
Explain why a class is unsatisfiable using DL tableaux reasoning. Returns an explanation trace showing the logical contradictions that make the class impossible to instantiate.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| class_iri | Yes | IRI of the class to explain unsatisfiability for |