- Titel
- Putting ABox Updates into Action
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795119
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 09-01
- Erstveröffentlichung
- 2009
- DOI
- https://doi.org/10.25368/2022.170
- Abstract (EN)
- When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners. Second, iterated update operations result in very large Boolean ABoxes, which, however, contain a huge amount of redundant information. In this paper, we address both issues from a practical point of view.
- Freie Schlagwörter (DE)
- Boolean ABox, Beschreibungslogik, strukturelle Charakterisierung
- Freie Schlagwörter (EN)
- Boolean ABox, description logic, structural characterization
- 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-795119
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0