The Distributive, Graded Lattice of ℰℒ Concept Descriptions and its Neighborhood Relation
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 14th International Conference on Concept Lattices and Their Applications (CLA 2018), Olomouc, Czech Republic |
Redakteure/-innen | Dmitry I. Ignatov, Lhouari Nourine |
Herausgeber (Verlag) | CEUR-WS.org |
Seiten | 267-278 |
Seitenumfang | 12 |
Band | 2123 |
Publikationsstatus | Veröffentlicht - 12 Juni 2018 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | CEUR Workshop Proceedings |
---|
Externe IDs
ORCID | /0000-0003-0219-0330/work/153109382 |
---|