高级检索
    蒋运承, 王 驹, 周生明, 汤 庸. 描述逻辑εL循环术语集的混合推理[J]. 计算机研究与发展, 2009, 46(1): 15-22.
    引用本文: 蒋运承, 王 驹, 周生明, 汤 庸. 描述逻辑εL循环术语集的混合推理[J]. 计算机研究与发展, 2009, 46(1): 15-22.
    Jiang Yuncheng, Wang Ju, Zhou Shengming, Tang Yong. Hybrid Reasoning of Terminological Cycles in Description Logic εL[J]. Journal of Computer Research and Development, 2009, 46(1): 15-22.
    Citation: Jiang Yuncheng, Wang Ju, Zhou Shengming, Tang Yong. Hybrid Reasoning of Terminological Cycles in Description Logic εL[J]. Journal of Computer Research and Development, 2009, 46(1): 15-22.

    描述逻辑εL循环术语集的混合推理

    Hybrid Reasoning of Terminological Cycles in Description Logic εL

    • 摘要: 循环术语集是描述逻辑长期以来的研究难点, 它最基本的问题即语义及推理问题没有得到合理的解决. 分析了描述逻辑循环术语集的研究现状和存在的问题, 在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题. 给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义). 针对εL循环术语集混合推理的需要, 提出了TBox-完全的概念, 并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法, 证明了推理算法的正确性, 并给出了推理算法的复杂性定理.

       

      Abstract: Description logic is a logical reconstruction of the frame-based knowledge representation languages, with the aim of providing a simple well-established declarative semantics to capture the meaning of structured representation of knowledge. Terminological cycles have been a difficult spot in the study of description logic for quite a few years. The basic problems, such as their semantics and reasoning mechanisms, have not been reasonably well settled. The current research progresses and the existing problems of terminological cycles in description logic are analyzed in this paper. Based on the works of Baader and Brandt, the hybrid reasoning of terminological cycles in description logic εL is further studied. The syntax and semantics (including fixpoint semantics and descriptive semantics) of hybrid knowledge bases in εL are given. Aiming at the requirement of hybrid reasoning of terminological cycles in εL, TBox-completion is presented, and the description graphs (including syntax description graph and semantics description graph) are redefined. The instance checking reasoning algorithms of hybrid knowledge bases in εL w.r.t. greatest fixpoint semantics and descriptive semantics are presented using TBox-completion and description graphs. The correctness of reasoning algorithms is proved, and the complexity property of reasoning algorithms is given. Theoretical foundation for the hybrid reasoning of terminological cycles in εL is provided through the instance checking reasoning algorithms.

       

    /

    返回文章
    返回