Computing updates in description logics [Elektronische Ressource] / eingereicht von Hongkai Liu

Computing Updatesin Description LogicsDissertationzur Erlangung des akademischen GradesDoktoringenieur (Dr.-Ing.)vorgelegt an derTechnischen Universit¨at DresdenFakult¨at Informatikeingereicht vonDipl.-Inform. Hongkai Liugeboren am 10. April 1980 in Anshan, Liaoning, Chinaverteidigt am 28. Januar 2010Gutachter:Prof. Dr.-Ing. Franz BaaderTechnische Universit¨at DresdenProf. Gerhard Lakemeyer, Ph.D.Rheinisch-Westf¨alische Technische Hochschule AachenDresden, im Februar 2010AcknowledgementsI am deeply indebted to Franz Baader and Carsten Lutz, my thesis advisors, fortheir valuable guidance of my researching work and constant support of all technicalproblems. Without either of them, this thesis would not exist. I am grateful to MajaMiliˇci´c and Frank Wolter who have also helped me a lot in the last four years.I would like to thank Conrad Drescher, Boontawee Suntisrivaraporn, and RafaelPen˜aloza for proofreading the preliminary version of my thesis. I would also liketo thank all members of the chair for automata theory. It is a pleasure to work withyou. Many thanks go to our secretary, Kerstin Achtruth, for her support in countlessmatters. I am also thankful to Anni-Yasmin Turhan for her encouragement.I would like to express my gratitude to my mother for her endless love and uncondi-tional support. No one is prouder of this thesis than she is. This thesis is dedicatedto her.Contents1 Introduction 11.