东北大学软件学院软件工程研究所
- 作品数：3 被引量：18H指数：2
- 发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)被引量：12
- 2009年
- 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.
- 王海龙马宗民严丽程经纬
- 关键词：模糊描述逻辑
- 模糊描述逻辑知识库查询蕴涵的判定方法被引量：2
- 2012年
- 大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊#0这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-#0123的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-#0123是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,证明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.
- 程经纬马宗民严丽张富
- 关键词：描述逻辑知识库语义WEB
- 基于模糊描述逻辑的模糊XML模型的表示与推理被引量：6
- 2011年
- 通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f-ALCQ_(wf-reg),给出了它的语法、语义、知识库以及推理算法.在此基础上,研究了基于f-ALCQ_(wf-reg)的模糊XML模型的表示、推理以及查询问题,具体包括:实现了从模糊XML模型到f-ALCQ_(wf-reg)知识库的转化;基于转化后得到的f-ALCQ_(wf-reg)知识库,进一步研究了如何利用f-ALCQ_(wf-reg)的推理机制对模糊XML模型的推理任务(如一致性、包含性、等价性以及不相交性)进行推理;最后简要讨论了如何利用上述转化和推理结果来更有效地支持模糊XML文档库的查询问题.
- 张富严丽马宗民王星
- 关键词：模糊描述逻辑
