onto_reason
Run inference over loaded ontologies to materialize implicit triples using configurable reasoning profiles from RDFS to full OWL2-DL.
Instructions
Run inference over the loaded ontology. Profiles: 'rdfs' (subclass, domain/range), 'owl-rl' (+ transitive/symmetric/inverse, sameAs, equivalentClass), 'owl-rl-ext' (+ someValuesFrom, allValuesFrom, hasValue, intersectionOf, unionOf), 'owl-dl' (Full OWL2-DL SHOIQ tableaux: satisfiability, classification, qualified number restrictions with node merging, inverse/symmetric roles, functional properties, parallel agent-based classification, explanation traces, ABox reasoning). Materializes inferred triples.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| materialize | No | If true (default), add inferred triples to the store. If false, dry-run only. | |
| profile | No | Reasoning profile: rdfs (default), owl-rl |