|
|||||
|
|
| 描述逻辑SHIQ研究 | |
| 引用本文： | 杨敬波,贾丽虹,张召兵.描述逻辑SHIQ研究[J].曲阜师范大学学报,2006,32(1):63-66. |
| 作者姓名： | 杨敬波 贾丽虹 张召兵 |
| 作者单位： | [1]烟台教育学院计算机与信息科学系,264001 [2]烟台大学图书馆,山东省烟台市264003 |
| 摘 要： | 描述逻辑由于有很好的建模和推理特性，已成为语义web本体描述语言的逻辑基础．描述逻辑SHIQ是语义web本体描述语言DAML＋OIL的逻辑基础，也是OWLDL的核心．该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法． |
| 关 键 词： | 描述逻辑 |
| 文章编号： | 1001-5337（2006）01-0063-04 |
| 收稿时间： | 2005-06-22 |
| 修稿时间： | 2005-06-22 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |