周丽平
- 作品数：5 被引量：9H指数：2
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：国家重点基础研究发展计划北京市科技计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于HS-树的所有MIPS求解算法
- 2009年
- 本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.目前很多解决本体不一致的方法都需要计算最小不一致保持子集(MIPS).本文利用HS-树方法给出了一种能够有效计算本体中所有MIPS的算法.实验表明该算法是有效的,尤其对于本体中包含不可满足的概念远远多于MIPS的情形更加有效.
- 周丽平黄厚宽瞿有利漆桂林季秋
- 关键词：语义WEBMIPS本体
- DL-Lite本体的不一致处理方法研究
- 随着当前Web上信息量的不断增长，人们迫切要求Web上的内容是计算机可以理解的，并可以由计算机自动来做有意义的处理。1998年，Web的创始人TimBurners-Lee首次提出了“语义Web”(Semantic Web...
- 周丽平
- 关键词：语义WEB本体描述逻辑
- 文献传递
- 一种面向DL-Lite本体原子断言的不一致度量算法
- 本体在语义web中扮演很重要的角色。本体的重用、合并或者进一步扩展都有可能导致本体不一致。度量不一致可以为解决本体不一致提供一些额外的信息。目前很多度量不一致度的方法都是基于复杂的描述逻辑，不适合具有大数据量的本体。本文...
- 周丽平黄厚宽瞿有利
- 一种面向DL-Lite本体原子断言的不一致度量算法被引量：3
- 2010年
- 本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.度量不一致可以为解决本体不一致提供一些额外的信息.目前很多度量不一致度的方法都是基于复杂的描述逻辑,不适合具有大数据量的本体.本文从简单的描述逻辑DL-Lite入手,通过分析DL-Lite的特点,给出了原子断言不一致度的定义和一种能够有效计算原子断言不一致度的算法.算法复杂度的分析及实际的应用表明该方法是有意义的.
- 周丽平黄厚宽瞿有利
- 一种在DL-Lite中计算本体最小不可满足保持子集的算法被引量：6
- 2011年
- 在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、修改本体等.现有的方法主要面向推理复杂度很高的高表达能力描述逻辑(DL).针对低复杂度描述逻辑DL-Lite,通过分析DL-Lite中不可满足概念或角色所具有的特点,提出了一种有效地计算DL-Lite本体中不可满足概念或角色的本体最小不可满足保持子集的算法.最后将算法与当前最有代表性的算法进行了比较,结果表明所提出的算法对于DL-Lite本体来说是有效的.
- 周丽平黄厚宽漆桂林瞿有利季秋
- 关键词：语义WEB描述逻辑本体
