- Titel
- Updating Description Logic ABoxes
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793368
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 05-10
- Erstveröffentlichung
- 2005
- DOI
- https://doi.org/10.25368/2022.153
- Abstract (EN)
- Aus dem Abstract: Description logic (DL) ABoxes are a tool for describing the state of affairs in an application domain. In this paper, we consider the problem of updating ABoxes when the state changes. We assume that changes are described at an atomic level, i.e., in terms of possibly negated ABox assertions that involve only atomic concepts and roles. We analyze such basic ABox updates in several standard DLs by investigating whether the updated ABox can be expressed in these DLs and, if so, whether it is computable and what is its size.
- Freie Schlagwörter (DE)
- ABox, PTIME-Problem, Beschreibungslogik, hybride Logik
- Freie Schlagwörter (EN)
- ABox, PTIME-problem, description logic, hybrid logic
- 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-793368
- Veröffentlichungsdatum Qucosa
- 31.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0