计算机工程与科学2012，Vol.34Issue(2)：139-145,7.DOI:10.3969/j.issn.1007-130X.2012.02.026
描述逻辑系统εLN中概念最小公共包含推理研究
Research on the Least Common Subsumer in Description Logic εLN
摘要
Abstract
Nonstandard inference is a new inference service in description logic,which was proposed at the turn of the century. It mainly includes the most specific concept, the least common subsumer, matching problem,concept rewriting and so on. Nonstandard inference aims to deal with the construc tion and management of the knowledge base and some other problems which researchers have to face in applications. Nonstandard inference can support the bottom-up construction method,as the description logic is widely applied in other areas,the knowledge base construction and management is more and more critical and inevitable,but the standard inference almost cannot provide any help. So the nonstandard in ference becomes a main issue which researchers are focusing on in recent years. In this paper the funda mentality of nonstandard inference in description logic, especially the current research progress and ex isting problem of the LCS( least common subsumer) inference in description logic are analyzed. Aiming to the insufficiency of the LCS inference which cannot handle existential restriction and number restric tion at the same time, the LCS inference in description logic eLN is studied. Firstly the eLN-description tree and its homomorphism are defined, a subsumption algorithm is presented by computing the homomorphism between two description trees. Then the product of description trees is defined and the LCS inference algorithm is presented by computing the product of description trees. The complexity of the LCS inference algorithm in εLN is polynomial.关键词
描述逻辑/描述树/同态/最小公共包含Key words
description logic /description tree/homomorphism/ least common subsumer分类
信息技术与安全科学引用本文复制引用
张维,曹发生,余泉,王驹..描述逻辑系统εLN中概念最小公共包含推理研究[J].计算机工程与科学,2012,34(2):139-145,7.基金项目
国家自然科学基金资助项目(60663001) （60663001）
中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0904) （SYSKF0904）
贵州省教育厅自然科学基金资助项目(黔教科20090047) （黔教科20090047）
贵州省科学技术基金资助项目(黔科合J字[2009]2068) （黔科合J字[2009]2068）
