Interface: ForwardChainRequest
@kortexya/reasoninglayer / Inference / ForwardChainRequest
Interface: ForwardChainRequest
Defined in: src/types/inference.ts:224
Request for forward chaining inference.
Remarks
Serialization format: Uses untagged TermInputDto / FeatureInputValueDto.
Properties
emitProvenance?
optionalemitProvenance:boolean
Defined in: src/types/inference.ts:248
Emit W3C PROV-O lineage for this run (default: false).
Remarks
When true, the run’s derivation provenance (which rule and which antecedents
produced each derived fact) is reified into prov:wasDerivedFrom /
prov:wasAttributedTo Ψ-terms and persisted, so lineage becomes ordinary facts the
engine can query (OSFQL / backward chaining) and serialise (RDF export) — not an
opaque side index. Forces real derivation, bypassing the derivation cache.
Distinct from enableProvenanceTags, which attaches confidence scores to the response rather than persisting queryable lineage.
enableProvenanceTags?
optionalenableProvenanceTags:boolean
Defined in: src/types/inference.ts:230
Whether to include provenance tags (confidence scores) in the response.
initialFacts?
optionalinitialFacts:TermInputDto[]
Defined in: src/types/inference.ts:226
Initial facts (optional — uses existing facts if not provided).
maxFacts?
optionalmaxFacts:number
Defined in: src/types/inference.ts:234
Maximum number of facts to derive.
maxIterations?
optionalmaxIterations:number
Defined in: src/types/inference.ts:232
Maximum number of derivation iterations.
persistDerived?
optionalpersistDerived:boolean
Defined in: src/types/inference.ts:228
Whether to persist derived facts to storage.