Interface: IngestKifResponse
@kortexya/reasoninglayer / Ingestion / IngestKifResponse
Interface: IngestKifResponse
Defined in: src/types/ingestion.ts:851
Response of POST /api/v1/ingest/kif — import counts + optional proof verdict.
Properties
capturedNonHorn
capturedNonHorn:
number
Defined in: src/types/ingestion.ts:853
Non-Horn forms captured as structured terms (not dropped, not yet fired).
constraintRules
constraintRules:
number
Defined in: src/types/ingestion.ts:855
Integrity constraints (=> ant (not p)) — disjointness/exclusivity axioms.
disjunctiveRules
disjunctiveRules:
number
Defined in: src/types/ingestion.ts:857
Disjunctive-head rules (executed by the disjunctive chase).
facts
facts:
number
Defined in: src/types/ingestion.ts:859
Ground facts asserted as Ψ-terms.
forms
forms:
number
Defined in: src/types/ingestion.ts:861
Top-level SUO-KIF forms processed.
hornRules
hornRules:
number
Defined in: src/types/ingestion.ts:863
Subset of rules that are atomic → atomic (these fire to facts).
instantiatedRules
instantiatedRules:
number
Defined in: src/types/ingestion.ts:865
Concrete Horn rules produced by predicate-variable instantiation of higher-order axioms.
nafRules
nafRules:
number
Defined in: src/types/ingestion.ts:867
Rules that fire via Negation-As-Failure (negated antecedents).
provable?
optionalprovable:boolean|null
Defined in: src/types/ingestion.ts:869
If a query/goal was supplied: whether it is entailed by the imported axioms.
residueByShape
residueByShape:
Record<string,number>
Defined in: src/types/ingestion.ts:871
Non-firing residue broken down by why (shape tag → count).
residueExamples
residueExamples:
Record<string,string[]>
Defined in: src/types/ingestion.ts:873
A few concrete example forms per residue shape, for auditing.
rules
rules:
number
Defined in: src/types/ingestion.ts:875
All => / <=> implications imported.
skolemized
skolemized:
number
Defined in: src/types/ingestion.ts:877
Existential variables eliminated by Skolemization.
sorts
sorts:
string[]
Defined in: src/types/ingestion.ts:879
Class/relation symbols that became sorts.
subclassEdges
subclassEdges:
number
Defined in: src/types/ingestion.ts:881
(subclass …) edges added to the sort lattice.
success
success:
boolean
Defined in: src/types/ingestion.ts:883
Always true on a successful import.
temporalDetached
temporalDetached:
number
Defined in: src/types/ingestion.ts:885
Rules whose (holdsDuring <time> <atomic>) consequent the temporal interpreter detached.