描述逻辑SHIQ研究

• 作者: 张召兵 杨敬波 贾丽虹
• 来源期刊: 曲阜师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 描述逻辑 SHIQ ALC
• 年，卷（期）: 2006,（1）
• 页码范围: 63-66
• 页数: 4页
• 分类号: TP31
• 字数: 4760字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5337.2006.01.016

摘要

描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础. 描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心. 该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨敬波	烟台教育学院计算机与信息科学系	5	13	3.0	3.0
2	贾丽虹	烟台教育学院计算机与信息科学系	2	7	2.0	2.0