Interface: DlSubsumesRequest
@kortexya/reasoninglayer / DlSubsumesRequest
Interface: DlSubsumesRequest
Section titled “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
Section titled “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
Section titled “Example”const request: DlSubsumesRequest = { subsumed: { type: 'Atom', name: 'Dog' }, subsumer: { type: 'Atom', name: 'Animal' },};Properties
Section titled “Properties”subsumed
Section titled “subsumed”subsumed:
AlcConcept
Defined in: src/types/dl.ts:116
Candidate subsumed concept C (the more specific one).
subsumer
Section titled “subsumer”subsumer:
AlcConcept
Defined in: src/types/dl.ts:118
Candidate subsumer concept D (the more general one) — checks whether C ⊑ D.