Interface: OntologyQualityReport
@kortexya/reasoninglayer / OntologyQualityReport
Interface: OntologyQualityReport
Section titled “Interface: OntologyQualityReport”Defined in: src/types/ontology.ts:563
The composed ontology quality report.
Properties
Section titled “Properties”axiomCount
Section titled “axiomCount”axiomCount:
number
Defined in: src/types/ontology.ts:574
Axioms the knowledge-base projection yielded.
boundViolations
Section titled “boundViolations”boundViolations:
BoundViolation[]
Defined in: src/types/ontology.ts:578
Cardinality violations in the data.
checksRun
Section titled “checksRun”checksRun:
LintRule[]
Defined in: src/types/ontology.ts:572
The rules that ran. Reported next to the findings because “no findings” and “the engine did not look” are different claims.
competencyAssessment
Section titled “competencyAssessment”competencyAssessment:
CompetencyAssessment
Defined in: src/types/ontology.ts:589
Whether this report assessed the competency questions, and how many
accepted requirements exist. Read it before competencyPassRate: an
absent pass rate is not a pass.
competencyPassRate?
Section titled “competencyPassRate?”
optionalcompetencyPassRate?:number|null
Defined in: src/types/ontology.ts:595
Competency-question pass rate, present only when a competency run was
composed into the report. ontology.qualityReport() runs no question, so
the engine omits it; competencyAssessment says why.
findings
Section titled “findings”findings:
LintFinding[]
Defined in: src/types/ontology.ts:567
Lint findings, worst first.
profile
Section titled “profile”profile:
string
Defined in: src/types/ontology.ts:583
Tractable profiles the axioms fit, e.g. QL+RL. Empty when there were no
axioms to classify.
summary
Section titled “summary”summary:
QualitySummary
Defined in: src/types/ontology.ts:565
Severity roll-up.
unsatisfiable
Section titled “unsatisfiable”unsatisfiable:
UnsatisfiableSort[]
Defined in: src/types/ontology.ts:576
Sorts that can never have members.