- Authors
- Hongkai Liu
- title
- Computing Updates in Description Logics
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-26699
- Date of submission
- 13.10.2009
- Date of defense
- 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.
- Keywords (DE)
- Updates, Beschreibungslogiken, Aktionsformalismen
- Keywords (EN)
- updates, description logics, action formalisms
- Classification (DDC)
- 004
- Classification (RVK)
- ST 125
- Examiner
- Prof. Dr.-Ing. Franz Baader
- Prof., Ph.D. Gerhard Lakemeyer
- Supervisor
- Prof. Dr.-Ing. Franz Baader
- Awarding institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-26699
- Qucosa date of publication
- 15.02.2010
- Document type
- doctoral_thesis
- Document language
- English
- licence