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