|
|||||
|
|
| 基于描述逻辑的OntoUML模型的推理研究 | |
| 引用本文： | 王秀玮,杨斌.基于描述逻辑的OntoUML模型的推理研究[J].计算机与现代化,2010(12):12-14. |
| 作者姓名： | 王秀玮 杨斌 |
| 作者单位： | [1]烟台职业学院连筑工程系,山东烟台264670 [2]海军航空工程学院兵器科学与技术系,山东烟台264001 |
| 摘 要： | 作为语义网的逻辑基础,描述逻辑在知识表示与知识推理方面发挥着重要作用。基于描述逻辑的推理系统保证了其推理的合理性和有效性。本文概要介绍基于UFO本体的OntoUML,并探讨OntoUML模型到描述逻辑的形式化表示及推理方法。 |
| 关 键 词： | 描述逻辑 OntoUML 本体 元模型 推理系统 |
| 本文献已被 维普 万方数据 等数据库收录！ | |