基于Tableau算法的本体模型验证方法研究

• 作者: 兰天 程继红
• 来源期刊: 舰船电子工程
• 学科: 工学
• 关键词: 本体模型 Tableau算法 Racer推理机
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 可靠性与保障性技术
• 页码范围: 134-138
• 分类号: TP301.6
• 字数: 3764字
• 语种: 中文
• DOI: 10.3969/j.issn.1627-9730.2011.10.039

摘要

文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的思想,对本体模型的概念定义以及概念间的关系进行可满足性测试,最后采用Racer推理机结合海军军械保障实例对基于描述逻辑的本体模型可满足性检验的有效性算法进行了验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程继红	海军航空工程学院科研部	34	151	7.0	11.0
2	兰天	海军航空工程学院科研部	5	15	2.0	3.0