Interface: DlSubsumesResponse
@kortexya/reasoninglayer / DlSubsumesResponse
Interface: DlSubsumesResponse
Section titled “Interface: DlSubsumesResponse”Defined in: src/types/dl.ts:124
Verdict of an ALC subsumption check.
Properties
Section titled “Properties”subsumes
Section titled “subsumes”subsumes:
boolean
Defined in: src/types/dl.ts:130
true iff C ⊑ D: every model of subsumed is also a model of subsumer.
Computed as unsat(C ⊓ ¬D) via the chase-fired ALC engine.