Skip to content

Interface: ConformanceCheckResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Conformance / ConformanceCheckResponse

Interface: ConformanceCheckResponse

Defined in: src/types/conformance.ts:110

Response from a read-only conformance check.

Remarks

conformant is true when no domain/range violation was found — which includes the vacuous case where the supplied ontology declares no domain/range axioms at all. violations is reported in the detector’s deterministic order and reuses the shared ViolationDto shape.

Example

const result = await client.conformance.check({ format: 'turtle', ontology });
if (!result.conformant) {
console.log(result.totalViolations, 'violations');
console.log(result.byKind.v1Inversion, 'are inversions');
}

Properties

byKind

byKind: ViolationCountsDto

Defined in: src/types/conformance.ts:119

Violations grouped by kind.


conformant

conformant: boolean

Defined in: src/types/conformance.ts:115

true when no domain/range violation was found (or no domain/range axioms were declared) — the KB conforms to the supplied ontology.


totalViolations

totalViolations: number

Defined in: src/types/conformance.ts:117

Total number of violations.


violations

violations: ViolationDto[]

Defined in: src/types/conformance.ts:121

Every detected violation, in the detector’s deterministic order.