Interface: DlSubsumesResponse

Defined in: src/types/dl.ts:124

Verdict of an ALC subsumption check.

Properties

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.