摘要
Baader等人于2004～2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。
Firstly introduce attribute exploration algorithm in FCA, which was applied to description logics by Baader etc. during 2004-2007. Different cases are inrestigated, in which the redundant computation may occur. As new results, two improved algorithms are proposed in terms of correlation; It also gives the proofs of the correctness of these two improved algorithms, which avoid redundancy and simplify computing in some certain.
出处
《计算机科学与探索》
CSCD
2009年第5期509-518,共10页
Journal of Frontiers of Computer Science and Technology
基金
国家自然科学基金项目No.60573010
60663001
广西研究生教育创新计划项目No.2008M025
2009106020701M31~~
关键词
描述逻辑
形式概念分析
属性探索算法
description logics
formal concept analysis
attribute exploration algorithms
