- title
- Model-based Most Specific Concepts in Description Logics with Value Restrictions
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795081
- Series
- LTCS-Report
- multivolume_volume0
- 08-04
- publication_date
- 2008
- doi
- https://doi.org/10.25368/2022.167
- Abstract (EN)
- Non-standard inferences are particularly useful in the bottom-up construction of ontologies in description logics. One of the more common non-standard reasoning tasks is the most specific concept (msc) for an ABox-individual. In this paper we present similar non-standard reasoning task: most specific concepts for models (model-mscs). We show that, although they look similar to ABox-mscs their computational behaviour can be different. We present constructions for model-mscs in FL₀ and FLE with cyclic TBoxes and for ALC∪∗ with acyclic TBoxes. Since subsumption in FLE with cyclic TBoxes has not been examined previously, we present a characterization of subsumption and give a construction for the least common subsumer in this setting.
- Keywords (DE)
- Subsumtion, ALC-Konzept, Beschreibungslogik, TBox
- Keywords (EN)
- subsumption, ALC-concept, description logic, TBox
- Classification (DDC)
- 004
- Classification (RVK)
- ST 136
- university_publisher
- Technische Universität Dresden, Dresden
- version
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-795081
- Qucosa date of publication
- 16.06.2022
- Document type
- report
- Document language
- English
- licence
CC BY 4.0