Skip to content
Kortexya Kortexya Reasoning Layer SDK

Interface: DlSubsumesRequest

@kortexya/reasoninglayer

@kortexya/reasoninglayer / DL / DlSubsumesRequest

Interface: DlSubsumesRequest

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

Request to test ALC subsumption — whether concept C is subsumed by concept D (C ⊑ D).

Remarks

Subsumption is decided by refutation on the backend: C ⊑ D holds iff C ⊓ ¬D is unsatisfiable. It is the concept-level analogue of the sort lattice’s subsumption order (GLB(C, D) = C).

Example

const request: DlSubsumesRequest = {
  subsumed: { type: 'Atom', name: 'Dog' },
  subsumer: { type: 'Atom', name: 'Animal' },
};

Properties

subsumed

subsumed: AlcConcept

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

Candidate subsumed concept C (the more specific one).

subsumer

subsumer: AlcConcept

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

Candidate subsumer concept D (the more general one) — checks whether C ⊑ D.