The Distributive, Graded Lattice of ππ Concept Descriptions and its Neighborhood Relation
Research output: Contribution to book/conference proceedings/anthology/report βΊ Conference contribution βΊ Contributed βΊ peer-review
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 14th International Conference on Concept Lattices and Their Applications (CLA 2018), Olomouc, Czech Republic |
| Editors | Dmitry I. Ignatov, Lhouari Nourine |
| Publisher | CEUR-WS.org |
| Pages | 267-278 |
| Number of pages | 12 |
| Volume | 2123 |
| Publication status | Published - 12 Jun 2018 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|
External IDs
| ORCID | /0000-0003-0219-0330/work/153109382 |
|---|