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