康达周 作品数:25 被引量:84 H指数:7 供职机构: 南京航空航天大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 文化科学 电子电信 更多>>
支持数量约束的扩展模糊描述逻辑复杂性研究 被引量:27 2006年 扩展模糊描述逻辑EFALCN(extendedfuzzyattributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)是支持数量约束的描述逻辑ALCN的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出EFALCN推理问题基于约束传播的Tableau算法,并证明该算法可在PSPACE(polynomialspace)约束下执行.由ALCN(attributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)的推理问题可多项式时间归约到EFALCN推理问题,且ALCN的推理问题是PSPACE-complete问题.所以,EFALCN推理问题是PSPACE-hard问题.综上所述,EFALCN推理问题是PSPACE-complete问题. 李言辉 徐宝文 陆建江 康达周关键词:描述逻辑 语义WEB 知识表示 基于本体的概念体系结构导出的一致性验证 2017年 软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主要因素。鉴于此,本文提出一种基于本体的概念体系结构导出的一致性验证方法,首先建立概念体系结构元模型,然后在此基础上构建概念体系结构本体并提出相应的推理规则;在产品特征模型到概念体系结构映射过程中,使用该本体对映射后的概念体系结构进行本体描述;利用SWRL规则描述语言将自然语言描述的推理规则转换成本体推理机能够识别的数据格式;将本体模型和规则文件作为推理机的输入进行推理,通过检验模型满足规则的程度完成模型的一致性验证。通过一个VOIP系统案例对上述步骤进行详细描述,以此验证该方法的可行性,并且在理论上与其他常见的一致性验证方法进行对比来评估其优缺点。 江东宇 康达周 王顺关键词:本体 本体映射综述 被引量:10 2017年 作为不同本体之间知识共享和互操作的一种方法,本体映射受到越来越多的重视。根据本体映射过程将本体映射系统划分为五大功能组件,总结了本体映射系统中常用的相似度算法。通过梳理本体映射领域的最新发展成果,从不同层次、不同维度构建本体映射系统分类体系。介绍并比较了一些经典的本体映射系统,并对这些本体映射系统进行评价。最后指出本体映射将面临的挑战。 王顺 康达周 江东宇关键词:本体映射 本体 本体匹配 一个新的基于EFALC的推理算法(英文) 被引量:1 2006年 针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的. 周波 陆建江 张亚非 康达周 李言辉软件分析度量与测试的基础理论与方法 徐宝文 周毓明 陈汉武 陈振强 聂长海 许蕾 史亮 周晓宇 卢红敏 陈林 陆建江 戚晓芳 钱巨 康达周 在软件分析、度量、测试等方面取得了丰硕的研究成果,发表论文被SCI收录43篇、EI收录103篇、ISTP收录59篇。所取得的理论成果不仅得到了国内同行的承认,而且受到国外学者的关注。据不完全检索,课题组所发表的论著共被国...关键词:关键词:程序切片 语言值关联规则分类方法(英文) 被引量:1 2004年 目前采用的区间划分的关联分类法不能有效地体现出数据的实际分布情况 ,并存在划分边界过硬的缺点 .文中首先讨论了通过挖掘最长的语言值关联规则构建分类系统的方法并分析了其不足 ,然后给出了通过挖掘短的语言值关联规则构建分类系统的方法 .实验表明 ,基于语言值关联规则的分类系统能在精度上优于 2种流行的分类方法 :C4 .5和关联分类法 . 陆建江 徐宝文 康达周关键词:语言值 关联规则 数据挖掘 数据库 基于隶属度比较的描述逻辑SHOIQ模糊扩展 被引量:3 2013年 语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础. 康达周 徐宝文 李言辉关键词:模糊描述逻辑 知识表示 概念的最小上近似 2006年 近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法. 陆建江 徐宝文 康达周 李言辉关键词:信息检索 本体 最小上界 云计算环境中支持语义的安全策略匹配研究 被引量:2 2015年 云计算环境中,一致的安全策略是用户和服务能够成功交互的基础.如何有效地实现安全策略的匹配已经成为保证云计算环境安全的重要关注点之一.因此,提出一种云计算环境中支持语义的服务安全策略匹配方法,将策略匹配的问题转换成语义概念的包含推理问题.该方法首先构建了表示云计算环境下安全知识的云安全本体;其次,利用描述逻辑推理本体元素相互间的语义关系,在此基础上,给出了安全策略匹配结果的判定方法;最后通过实例分析,说明了方法的可行性和实用性.该方法克服了句法级匹配存在的不足,为云计算环境中服务双方安全策略的表示和匹配提供了一种有效的解决方案. 朱羿全 沈国华 黄志球 康达周 阚双龙关键词:云计算 语义匹配 描述逻辑 支持模糊隶属度比较的扩展模糊描述逻辑 被引量:10 2008年 语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理. 康达周 徐宝文 陆建江 李言辉关键词:语义WEB 知识表示 描述逻辑