摘要
在OWL(web ontology language)中,本体复用主要采用owl:imports。然而,这种复制+粘贴的方式会出现若干问题。基于此,提出一种新的导入原型:语义导入。在本体空间中支持TBox推理机推理和语义导入,以促进本体复用。提出一种基于ALC本体语义导入的TBox推理分布式算法,解决了简单本体空间中Tableaux算法的逻辑推理问题。
In the OWL(web ontology language),the main primitive for ontology reuse is owl:imports. But,this “copy- and-paste” approach suffers a number of deficiency. In this paper,we propose a new import primitive,called semantic import,to facilitate partial ontology reuse. The main contributions of this paper include the semantics of semantic import and reasoning support for TBox reasoning in simple ontology spaces,and presented a distributed algorithm for TBox reasoning of semantic import of ALC ontologies in simple ontology spaces.
出处
《自动化与仪表》
2008年第1期8-10,共3页
Automation & Instrumentation
基金
国家科技创新基金项目(10376030)
关键词
本体复用
语义导入
推理
ontology reuse
semantic import
reason