描述逻辑SHOIN（D）的常识性扩展研究

摘要

语义Web(semanticweb)研究的目标是让Web上的信息成为机器可理解的，从而使机器与人能够更好地相互协作，使Web所提供服务的质量得到质的提高.本体(ontology)是目前语义Web研究中所采用的主要知识表示方法，OWLDL语言是W3C本体工作组发布的对于Web本体语言的推荐标准. 现有的OWLDL语言只能处理严格成立的知识，不能处理在Web环境下广泛出现的常识性知识，如具有不完备性、不一致性或者不可靠性的知识，为此，有必要对现有的OWLDL语言进行扩展以使之能够处理常识性知识. 本文研究如何扩展OWLDL语言以处理常识性的知识，由于OWLDL语言的语义是描述逻辑SHOIN(D)给出的，因此问题归结为如何对描述逻辑SHOIN(D)进行扩展以处理常识性的知识. 本文研究了描述逻辑SHOIN(D)的常识性扩展，具体说来完成了以下三项工作： 1.给出了描述逻辑SHOIN(D)的能处理不完备知识的扩展 提出了能够处理不完备知识的非单调描述逻辑N-SHOIN(D).给出了N-SHOIN(D)的语法和语义，定义了N-SHOIN(D)中的蕴涵推理关系，研究了N-SHOIN(D)所具有的性质.给出了N-SHOIN(D)的推理算法.N-SHOIN(D)为扩展OWLDL语言到能够处理不完备知识的情形提供了语义支持. 2.给出了描述逻辑SHOIN(D)的能处理部分可信知识的扩展 提出了能处理部分可信知识的描述逻辑S-SHOIN(D).给出了S-SHOIN(D)的语法和语义，定义了其中的蕴涵推理关系，证明了S-SHOIN(D)具有超协调性、非单调性，给出了S-SHOIN(D)的推理算法.S-SHOIN(D)为扩充OWLDL语言到能处理部分可信知识的情形提供了语义支持. 3.给出了描述逻辑SHOIN(D)的择优扩展 提出了能处理知识库上择优关系的描述逻辑P-SHOIN(D)，给出了P-SHOIN(D)的语法和语义，定义了其中的蕴涵推理关系，证明了P-SHOIN(D)具有超协调性、非单调性，给出了P-SHOIN(D)的推理算法.P-SHOIN(D)为扩充OWLDL语言到能处理知识库上择优关系的情形提供了语义支持.

目录

文摘

英文文摘

第一章引言

1.1研究背景和研究目的

1.2本文工作

1.3本文结构

第二章描述逻辑

2.1描述逻辑简介

2.2描述逻辑ALC

2.4描述逻辑SHOIN(D)

2.5基于描述逻辑的推理系统

第三章语义web

3.1语义Web的定义

3.2语义web语言的分层结构

3.3本体理论

3.4 Web本体语言OWL

第四章描述逻辑SHOIN(D)的非单调扩展

4.1非单调描述逻辑N-SHOQ(D)

4.2 N-SHOQ(D)的性质

4.3 N-SHOQ(D)的推理算法

4.4相关工作比较

4.5小结

第五章描述逻辑SHOIN(D)的部分可信扩展

5.1能处理部分可信知识的描述逻辑S-SHOQ(D)

5.2 S-SHOQ(D)的性质

5.3 S-SHOQ(D)的推理算法

5.4相关工作比较

5.5小结

第六章描述逻辑SHOIN(D)的择优扩展

6.1能处理部分可信知识的描述逻辑P-SHOQ(D)

6.2 P-SHOQ(D)的性质

6.3 P-SHOQ(D)的推理算法

6.4相关工作比较

6.5小结

参考文献

博士后期间录用或发表的论文

博士后期间课题情况

致谢