Computing Updates in Description Logics
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 mot...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
2010
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-26699 http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-26699 http://www.qucosa.de/fileadmin/data/qucosa/documents/2669/LiuPhDThesis.pdf |