摘要
文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的思想,对本体模型的概念定义以及概念间的关系进行可满足性测试,最后采用Racer推理机结合海军军械保障实例对基于描述逻辑的本体模型可满足性检验的有效性算法进行了验证。
This paper first introduced the ontology model of Tbox term Abox inspection and test samples,will the consistency of the ontology model test for the term can be simplified to meet sex inspection.Through the introduction of the algorithm,the Tableau thought the concept of ontology model definition and the relations between the concept can meet the testing,then using reasoning machine Racer with navy weapons security examples based on description logic of the ontology model can meet the effectiveness of the character test algorithm was verified.
出处
《舰船电子工程》
2011年第10期134-138,共5页
Ship Electronic Engineering
