The Distributive, Graded Lattice of 𝓔𝓛 Concept Descriptions and its Neighborhood Relation

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

For the description logic 𝓔𝓛, we consider the neighborhood relation which is induced by the subsumption order, and we show that the corresponding lattice of 𝓔𝓛 concept descriptions is distributive, modular, graded, and metric. In particular, this implies the existence of a rank function as well as the existence of a distance function.

Details

OriginalspracheEnglisch
TitelProceedings of the 14th International Conference on Concept Lattices and Their Applications (CLA 2018), Olomouc, Czech Republic
Redakteure/-innenDmitry I. Ignatov, Lhouari Nourine
Herausgeber (Verlag)CEUR-WS.org
Seiten267-278
Seitenumfang12
Band2123
PublikationsstatusVeröffentlicht - 12 Juni 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings

Externe IDs

ORCID /0000-0003-0219-0330/work/153109382