Computing updates in description logics
Computing updates in description logics
复制标题
DOI：
--
复制
发表时间：
2009-10
期刊：
影响因子：
--
通讯作者：
Hongkai Liu
中科院分区：
文献类型：
--
作者：
Hongkai Liu
致谢 我深深感谢我的论文导师 Franz Baader 和 Carsten Lutz，他们对我的研究工作给予了宝贵的指导，并对所有技术问题给予了持续的支持。没有他们中的任何一个，这篇论文就不会存在。我很感谢 Maja Miliči´c 和 Frank Wolter 在过去四年里也给了我很多帮助。我要感谢 Conrad Drescher、Boontawee Suntisrivaraporn 和 Rafael Peñaloza 对我论文初稿的校对。我还要感谢自动机理论的所有主席成员。很高兴与您合作。非常感谢我们的秘书 Kerstin Achtruth 在无数事务上的支持。我也感谢安妮-亚斯明·图尔汉的鼓励。我谨向我的母亲表示感谢，感谢她无尽的爱和无条件的支持。没有人比她更为这篇论文感到自豪。谨将此论文献给她。
Acknowledgements I am deeply indebted to Franz Baader and Carsten Lutz, my thesis advisors, for their valuable guidance of my researching work and constant support of all technical problems. Without either of them, this thesis would not exist. I am grateful to Maja Miliči´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 Rafael Peñaloza for proofreading the preliminary version of my thesis. I would also like to thank all members of the chair for automata theory. It is a pleasure to work with you. Many thanks go to our secretary, Kerstin Achtruth, for her support in countless matters. 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 unconditional support. No one is prouder of this thesis than she is. This thesis is dedicated to her.