Interface: Owl2ChecksResponse
@kortexya/reasoninglayer / Owl2ChecksResponse
Interface: Owl2ChecksResponse
Section titled “Interface: Owl2ChecksResponse”Defined in: src/types/ontology.ts:195
Verdicts of the OWL 2 validators.
Remarks
Section titled “Remarks”A validator that was not requested is absent (the engine omits the key), not
null and not empty. axiomCount is the denominator behind every verdict:
0 means nothing was validated, not that the base is clean.
Properties
Section titled “Properties”axiomCount
Section titled “axiomCount”axiomCount:
number
Defined in: src/types/ontology.ts:197
Number of axioms the knowledge-base projection yielded.
constraints?
Section titled “constraints?”
optionalconstraints?:Owl2ConstraintViolation[]
Defined in: src/types/ontology.ts:201
Cardinality violations; present when constraints ran.
disjointness?
Section titled “disjointness?”
optionaldisjointness?:Owl2UnsatisfiableClass[]
Defined in: src/types/ontology.ts:199
Unsatisfiable sorts; present when disjointness ran.
profile?
Section titled “profile?”
optionalprofile?:Owl2Profile
Defined in: src/types/ontology.ts:203
Profile membership; present when profile ran.