Interface: DlSatisfiableResponse
@kortexya/reasoninglayer / DlSatisfiableResponse
Interface: DlSatisfiableResponse
Section titled “Interface: DlSatisfiableResponse”Defined in: src/types/dl.ts:89
Verdict of an ALC concept satisfiability check.
Properties
Section titled “Properties”satisfiable
Section titled “satisfiable”satisfiable:
boolean
Defined in: src/types/dl.ts:91
true iff the concept has at least one model (is not equivalent to ⊥).