Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (12): 32-37.DOI: 10.3778/j.issn.1002-8331.2010.12.009

• 研究、探讨 • Previous Articles     Next Articles

gfp-model-based reasoning of terminological cycles in description logic FLε

QIN Jun-ming1,GENG Ji-bing1,WANG Ju2,JIANG Yun-cheng2,3   

  1. 1.College of Mathematics Science,Guangxi Normal University,Guilin,Guangxi 541004,China
    2.College of Computer Science and Information Engineering,Guangxi Normal University,Guilin,Guangxi 541004,China
    3.State Key Laboratory of Computer Science,Chinese Academy of Sciences,Beijing 100190,China
  • Received:2009-09-28 Revised:2009-11-13 Online:2010-04-21 Published:2010-04-21
  • Contact: QIN Jun-ming

gfp-模型的描述逻辑FLε的循环术语集推理

覃俊明1,耿继兵1,王 驹2,蒋运承2,3   

  1. 1.广西师范大学 数学科学学院,广西 桂林 541004
    2.广西师范大学 计算机科学与信息工程学院,广西 桂林 541004
    3.中国科学院 计算机科学国家重点实验室,北京 100190
  • 通讯作者: 覃俊明

Abstract:

Description Logic(DL) is a family of knowledge representation formalisms and a hotpoint research direction of artificial intelligence.Description logic systems with cycle definition are more accord with people’s intuition,with stronger expression ability and can not be replaced by other description logics in non-cycle definition.This article first presents the semantics and syntax of the description logic system FLε,also gives a proof of the theorem on existence of greatest fixpoint model.Based on the greatest fixpoint semantics,it discusses algorithms for reasoning about the subsumption in cyclic terminological Tbox of the description logic system FLε which has existential and value restrictions.

摘要: 描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。

CLC Number: