主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
康达周,徐宝文,陆建江,李言辉.支持术语公理约束的扩展模糊描述逻辑推理.软件学报,2007,18(7):1563-1572
支持术语公理约束的扩展模糊描述逻辑推理
Reasoning Within Extended Fuzzy Description Logic Supporting Terminological Axiom Restrictions
投稿时间:2005-12-19  修订日期:2006-07-26
DOI:
中文关键词:  描述逻辑  模糊  Tbox(terminological box)  推理  语义Web  知识表示
英文关键词:description logic  fuzzy  Tbox (terminological box)  reasoning  semantic Web  knowledge representation
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60373066, 90412003 (国家自然科学基金); the National Natural Science Funds for Distinguished Young Scholar of China under Grant No.60425206 (国家杰出青年科学基金); the National Basic Research Program of China under Grant No.2002CB312000 (国家重点基础研究发展计划(973)); the High Technology Research Project of Jiangsu Province of China under Grant No.BG2005032 (江苏省高技术研究项目)
作者单位
康达周 东南大学,计算机科学与工程系,江苏,南京,210096 
徐宝文 东南大学,计算机科学与工程系,江苏,南京,210096
江苏省软件质量研究所,江苏,南京,210096 
陆建江 解放军理工大学,指挥自动化学院,江苏,南京,210007 
李言辉 东南大学,计算机科学与工程系,江苏,南京,210096 
摘要点击次数: 3420
全文下载次数: 2774
中文摘要:
      扩展模糊描述逻辑是对描述逻辑的一种模糊扩展,支持对复杂模糊知识的表示和推理,但该逻辑缺乏支持术语公理约束的推理算法.提出扩展模糊描述逻辑EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles)的受限TBox(terminological box)描述术语公理,给出受限TBox约束下的EFALCR+推理算法,并对该算法进行优化,证明优化后的算法是正确完备的,时间复杂性不超过指数,最后证明受限TBox约束下的EFALCR+推理问题是指数时间完全问题.优化算法的最坏时间复杂性已达到该问题推理算法的复杂度下界,是实现术语公理约束下模糊知识库推理的有效算法.
英文摘要:
      Extended fuzzy description logics are fuzzy extensions of description logics, which support representation and reasoning for expressive fuzzy knowledge. But they lack reasoning algorithms with the terminology axioms. This paper defines restricted TBoxes (terminological boxes) to describe terminology axioms in EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles), proposes and optimizes reasoning algorithms for EFALCR+ with respect to restricted TBoxes. The optimized reasoning algorithm is proved sound, complete and with a worst complexity of exponential time. Its complexity has reached the lower bound, since the reasoning problem for EFALCR+ with respect to restricted TBoxes is proved exponential time complete. So it is an efficient algorithm of reasoning for fuzzy knowledge bases with terminology axioms.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利