- AutorIn
- Hongkai Liu
- Titel
- Computing Updates in Description Logics
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-26699
- Datum der Einreichung
- 13.10.2009
- Datum der Verteidigung
- 28.01.2010
- Abstract (EN)
- Description Logics (DLs) form a family of knowledge representation formalisms which can be used to represent and reason with conceptual knowledge about a domain of interest. The knowledge represented by DLs is mainly static. In many applications, the domain knowledge is dynamic. This observation motivates the research on how to update the knowledge when changes in the application domain take place. This thesis is dedicated to the study of updating knowledge, more precisely, assertional knowledge represented in DLs. We explore whether the updated knowledge can be expressed in several standard DLs and, if so, whether it is computable and what is its size.
- Freie Schlagwörter (DE)
- Updates, Beschreibungslogiken, Aktionsformalismen
- Freie Schlagwörter (EN)
- updates, description logics, action formalisms
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 125
- GutachterIn
- Prof. Dr.-Ing. Franz Baader
- Prof., Ph.D. Gerhard Lakemeyer
- BetreuerIn
- Prof. Dr.-Ing. Franz Baader
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-26699
- Veröffentlichungsdatum Qucosa
- 15.02.2010
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis