大规模OWL本体的分布式调试方法研究

基金项目类型：

国家自然科学基金

基金项目编号：

61370154

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

吴刚

完成单位：

东北大学

中文关键词：

语义Web; 本体; 调试; 分布式; Web 本体语言;

项目类型：

面上项目

语种：

中文

开始日期：

2014-01-01

结束日期：

2017-12-31

中文摘要：

语义Web的发展促使大量OWL本体在Web上发布并互连成链接数据。这种开放链接方式下，本体自身演化或本体间链接更新都可能导致逻辑冲突。通常可采用本体调试技术，通过找出一组最小冲突公理集合作为调试信息的方法来帮助定位并解释冲突原因。目前尚无证据表明已有的本体调试技术及优化方法能有效处理含十亿数量级三元组的OWL本体。当前急需新的OWL本体调试技术来解决在Web 规模本体上进行有效逻辑冲突调试及推理结果解释等问题。课题拟采用分布式处理技术突破I/O和主存对大规模OWL本体存储和处理能力的限制，研究大规模OWL本体的高效调试和解释方法，内容涉及分布式环境下支持OWL本体调试的存储结构设计；求取本体调试信息（最小冲突公理集合）的分布式算法及优化技术；存储更新和增量式求取算法；面向用户的调试信息度量和Top-k算法；近似调试算法。拟将成果用于构建一个提供大规模OWL本体在线调试和解释服务的原型系统。