本体复用方法语义导入的研究与设计

摘要：

在OWL(web ontology language)中,本体复用主要采用owl:imports.然而,这种复制+粘贴的方式会出现若干问题.基于此,提出一种新的导入原型:语义导入.在本体空间中支持TBox推理机推理和语义导入,以促进本体复用.提出一种基于ALC本体语义导入的TBox推理分布式算法,解决了简单本体空间中Tableaux算法的逻辑推理问题.

关键词：本体复用、语义导入、推理

所属期刊栏目：23

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家科技创新基金10376030

在线出版日期：2008-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：8-10