Interface: DlSatisfiableRequest
@kortexya/reasoninglayer / DlSatisfiableRequest
Interface: DlSatisfiableRequest
Section titled “Interface: DlSatisfiableRequest”Defined in: src/types/dl.ts:81
Request to test whether an ALC concept expression is satisfiable.
Example
Section titled “Example”const request: DlSatisfiableRequest = { concept: { type: 'And', left: { type: 'Atom', name: 'Dog' }, right: { type: 'Not', concept: { type: 'Atom', name: 'Dog' } } },};Properties
Section titled “Properties”concept
Section titled “concept”concept:
AlcConcept
Defined in: src/types/dl.ts:83
The ALC concept expression to test for a model.