quipu_explain
Trace a fact's derivation chain to reveal its transaction and source, the rule and rematched premises, or the axiom families re-deriving it. Read-only, with configurable recursion depth.
Instructions
Walk a fact's derivation chain: a base fact answers with its transaction and source; a reasoner: fact answers with the rule and the premises it currently re-matches; an owl:materialize fact answers with every axiom family that currently re-derives it, premises recursed to base facts. Read-only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| o | Yes | Object IRI, or a string literal | |
| p | Yes | Predicate IRI | |
| s | Yes | Subject IRI | |
| depth | No | Recursion depth for the derivation walk (default: 5) |