Interface: ExtractedAxiomDto
@kortexya/reasoninglayer / ExtractedAxiomDto
Interface: ExtractedAxiomDto
Section titled “Interface: ExtractedAxiomDto”Defined in: src/types/ingestion.ts:640
One axiom an ingestion run extracted.
Properties
Section titled “Properties”axiomType
Section titled “axiomType”axiomType:
string&object|"disjointness"|"cardinality"|"universal"|"existential"
Defined in: src/types/ingestion.ts:642
universal, existential, cardinality or disjointness.
confidence
Section titled “confidence”confidence:
number
Defined in: src/types/ingestion.ts:654
Extractor confidence.
maxCount?
Section titled “maxCount?”
optionalmaxCount?:number|null
Defined in: src/types/ingestion.ts:652
Inclusive upper bound, for a cardinality axiom; absent means unbounded above.
minCount?
Section titled “minCount?”
optionalminCount?:number|null
Defined in: src/types/ingestion.ts:650
Inclusive lower bound, for a cardinality axiom.
object?
Section titled “object?”
optionalobject?:string|null
Defined in: src/types/ingestion.ts:648
The object, when the axiom names one.
predicate
Section titled “predicate”predicate:
string
Defined in: src/types/ingestion.ts:646
The predicate it asserts.
subjectSort
Section titled “subjectSort”subjectSort:
string
Defined in: src/types/ingestion.ts:644
The sort the axiom is about.