N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展  

N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)

作　　者：王淞昕[1] 王飞[2] 周水庚[2] 周傲英[2] 

机构地区：[1]上海财经大学计算机科学与技术系,上海200433 [2]复旦大学计算机科学与工程系,上海200433

出　　处：《计算机研究与发展》2005年第4期570-575,共6页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60373019;60303009)

摘　　要：描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理严格成立的完备知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法和语义,定义了N-SHOQ(D)中的蕴涵推理关系,研究了N-SHOQ(D)所具有的性质.N-SHOQ(D)为扩展DAML+OIL语言到能够处理不完备知识的情形提供了语义支持.Ontologies play a central role in the development of the semantic web, as they provide precise definitions of shared terms in web resources. One important web ontology language is DAML+OIL. It has a formal semantics and a reasoning support through a mapping to the expressive description logic SHOQ(D) with the addition of inverse roles. One shortcoming of the SHOQ(D) is that the incomplete knowledge frequently emerging in the practice cannot be expressed by SHOQ(D). In this paper, a nonmonotonic extension of the SHOQ(D), called N-SHOQ(D), is presented to allow for dealing with incomplete knowledge in the semantic web. The syntax and semantic of N-SHOQ(D) are defined and its properties are studied in detail. The N-SHOQ(D) forms a formal underpinning for the nonmonotonic extension of the DAML+OIL language.

关 键 词：语义WEB DAML+OIL 描述逻辑 非单调推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] TP393[自动化与计算机技术—控制科学与工程]