基于本体DL的语义推理研究 |
| |
引用本文: | 王金环,李宝敏.基于本体DL的语义推理研究[J].计算机技术与发展,2009,19(11):94-96,100. |
| |
作者姓名: | 王金环 李宝敏 |
| |
作者单位: | 西安工业大学计算机科学与工程学院,陕西西安710032 |
| |
基金项目: | 国家"星火计划"项目 |
| |
摘 要: | 随着Internet的迅速发展,语义Web作为新一代Web正倍受关注,因为语义表述与推理是语义网需要解决的关键问题。为了解决这一问题,文中在概述了本体语言、描述逻辑的概念和描述逻辑的原理的基础上,提出了一种新的方法:让本体表示语言与描述逻辑相结合,从而为语义推理的合理性和有效性提供了保证。文中重点介绍了通过对基于本体DL的语义推理机制进行阐述分析,较详细地探讨了在本体构建过程中,运用基于描述逻辑的语义推理进行一致性判定和相容性判定的重要性和实现技术,并以果品领域的本体构建为例,对构建过程中的推理判定进行了验证。
|
关 键 词: | 本体 描述逻辑 语义推理 相容性 一致性 |
本文献已被 维普 万方数据 等数据库收录! |
|