Hongkai Liu
Computing Updates in Description Logics
Dokumente und Dateien
- Volltext (PDF) - 1.48 MByte - MD5 SHA512
Hinweis
Bitte nutzen Sie beim Zitieren immer folgende Url:
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-26699
Kurzfassung in Englisch
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.
weitere Metadaten
| Schlagwörter (Englisch) | updates, description logics, action formalisms |
| Schlagwörter (Deutsch) | Updates, Beschreibungslogiken, Aktionsformalismen |
| DDC Klassifikation | 004 |
| RVK Klassifikation | ST 125 |
| Institution(en) | |
| Hochschule | Technische Universität Dresden |
| Fakultät | Fakultät Informatik |
| Professur | Professur für Automatentheorie |
| Betreuer | Prof. Dr.-Ing. Franz Baader |
| Gutachter | Prof. Dr.-Ing. Franz Baader Prof., Ph.D. Gerhard Lakemeyer |
| Dokumententyp | Dissertation |
| Sprache | Englisch |
| Tag d. Einreichung (bei der Fakultät) | 13.10.2009 |
| Tag d. Verteidigung / Kolloquiums / Prüfung | 28.01.2010 |
| Veröffentlichungsdatum (online) | 15.02.2010 |
| persistente URN | urn:nbn:de:bsz:14-qucosa-26699 |