- AutorIn
- Benjamin Zarrieß Institute for Theoretical Computer Science Technische Universität Dresden
- Anni-Yasmin TurhanInstitute for Theoretical Computer Science Technische Universität Dresden
- Titel
- Most Specific Generalizations w.r.t. General EL-TBoxes
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795393
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 13-06
- Erstveröffentlichung
- 2013
- DOI
- https://doi.org/10.25368/2022.196
- Abstract (EN)
- In the area of Description Logics the least common subsumer (lcs) and the most specific concept (msc) are inferences that generalize a set of concepts or an individual, respectively, into a single concept. If computed w.r.t. a general EL-TBox neither the lcs nor the msc need to exist. So far in this setting no exact conditions for the existence of lcs- or msc-concepts are known. This report provides necessary and suffcient conditions for the existence of these two kinds of concepts. For the lcs of a fixed number of concepts and the msc we show decidability of the existence in PTime and polynomial bounds on the maximal roledepth of the lcs- and msc-concepts. The latter allows to compute the lcs and the msc, respectively.
- Freie Schlagwörter (DE)
- Subsumtion, Ontologie, Beschreibungslogik, TBox
- Freie Schlagwörter (EN)
- subsumption, ontology, description logic, TBox
- 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-795393
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
- CC BY 4.0