Interface: DlSatisfiableRequest

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / DL / DlSatisfiableRequest

Interface: DlSatisfiableRequest

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

Request to test whether an ALC concept expression is satisfiable.

Example

const request: DlSatisfiableRequest = {
  concept: { type: 'And', left: { type: 'Atom', name: 'Dog' }, right: { type: 'Not', concept: { type: 'Atom', name: 'Dog' } } },
};

Properties

concept

concept: AlcConcept

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

The ALC concept expression to test for a model.