计算机科学与探索 ›› 2009, Vol. 3 ›› Issue (5): 509-518.DOI: 10.3778/j.issn.1673-9418.2009.05.007

• 学术研究 • 上一篇    下一篇

属性探索算法研究

赵小香1+,覃 萍2,王 驹2   

  1. 1. 广西师范大学 数学科学学院,广西 桂林 541004
    2. 广西师范大学 计算机科学与信息工程学院,广西 桂林 541004
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-09-15 发布日期:2009-09-15
  • 通讯作者: 赵小香

On attribute exploration algorithms

ZHAO Xiaoxiang1+, QIN Ping2, WANG Ju2   

  1. 1. College of Mathematics Science, Guangxi Normal University, Guilin, Guangxi 541004, China
    2. College of Computer Science and Information Technology, Guangxi Normal University, Guilin, Guangxi 541004, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-09-15 Published:2009-09-15
  • Contact: ZHAO Xiaoxiang

摘要: Baader等人于 2004~2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。

关键词: 描述逻辑, 形式概念分析, 属性探索算法

Abstract: 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.

Key words: description logics, formal concept analysis, attribute exploration algorithms

中图分类号: