- Titel
- The distributive, graded lattice of EL concept descriptions and its neighborhood relation
- Untertitel
- Extended Version
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796067
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 18-10
- Erstveröffentlichung
- 2018
- DOI
- https://doi.org/10.25368/2022.245
- Abstract (EN)
- For the description logic EL, we consider the neighborhood relation which is induced by the subsumption order, and we show that the corresponding lattice of EL 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.
- Freie Schlagwörter (DE)
- Beschreibungslogik, Nachbarschaftsbeziehung, EL-Konzept, Subsumption
- Freie Schlagwörter (EN)
- description logic, neighborhood relation, EL-concept, subsumption
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-796067
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0