基于描述逻辑的OntoUML模型的推理研究

• 作者: 杨斌 王秀玮
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 描述逻辑 OntoUML 本体 元模型 推理系统
• 年，卷（期）: 2010,（12）
• 页码范围: 12-14
• 分类号: TP399
• 字数: 1970字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.12.003

摘要

作为语义网的逻辑基础,描述逻辑在知识表示与知识推理方面发挥着重要作用.基于描述逻辑的推理系统保证了其推理的合理性和有效性.本文概要介绍基于UFO本体的OntoUML,并探讨OntoUML模型到描述逻辑的形式化表示及推理方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王秀玮	烟台职业学院建筑工程系	14	17	2.0	3.0
2	杨斌	海军航空工程学院兵器科学与技术系	8	21	3.0	4.0