计算机工程与科学2011，Vol.33Issue(2)：137-141,5.DOI:10.3969/j.issn.1007-130X.2011.02.027
描述逻辑的粗糙扩展研究
Research of the Rough Extension of Description Logic
摘要
Abstract
As traditional description logic systems are not good at representing uncertain (or vague)knowledge, this paper introduces lower approximation and upper approximation which are based on the rough set semantics to description logic systems, and extends the traditional description logic in a simple way. It introduces the concept of rough description logic, in the systems of which we can use appropriate sub-concept and super-concept to express some vague knowledge. This paper focuses on the rough extension of the description logic ALC and introduces the syntax, semantics and related reasoning problems of the rough description logic RALC obtained after extension, and then discusses the basic idea of modeling imprecise concepts using the rough description logic. Finally, the paper presents a reasoning algorithm of the satisfiability problem of RALC. This task can make formal descriptions and reasoning of uncertain knowledge in the description logic more convenient.关键词
粗糙描述逻辑/描述逻辑/粗糙集/近似概念Key words
rough description logic/ description logic/ rough set / approximate concept分类
信息技术与安全科学引用本文复制引用
王岁花,赵爱玲,魏涛..描述逻辑的粗糙扩展研究[J].计算机工程与科学,2011,33(2):137-141,5.基金项目
河南省重点科技攻关计划资助项目(102102210409) （102102210409）
河南省教育厅基础研究项目(2009B520014) （2009B520014）
