论文部分内容阅读
语义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语言到能处理知识库上择优关系的情形提供了语义支持.