高级检索

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

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

    • 摘要: 描述逻辑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语 言到能够处理不完备知识的情形提供了语义支持.

       

      Abstract: Ontologies play a central role in the development of the semantic web, as they p rovide precise definitions of shared terms in web resources. One important web o ntology 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 knowledg e frequently emerging in the practice cannot be expressed by SHOQ(D). In this pa per, 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.

       

    /

    返回文章
    返回