首页> 中文期刊> 《曲阜师范大学学报：自然科学版》 >描述逻辑SHIQ研究

描述逻辑SHIQ研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《曲阜师范大学学报：自然科学版》 |2006年第1期|63-66|共4页
作者
杨敬波; 贾丽虹; 张召兵;
展开▼
作者单位

烟台教育学院计算机与信息科学系;

烟台大学图书馆;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
描述逻辑; SHIQ; ALC;

相似文献

中文文献
外文文献
专利

1. 描述逻辑SHIQ的ABox一致性判定算法 [J] . 彭立 ,杨恒伏 . 计算机工程 . 2013,第012期
2. 描述逻辑SHIQ与网络资源自动分类 [J] . 左志宏 ,周明天 . 通信学报 . 2004,第007期
3. 基于SHIQ DL关系词语分类研究 [J] . 肖升 ,阳西述 . 湖南师范大学自然科学学报 . 2007,第004期
4. 基于时序描述逻辑的UML顺序图形式化研究 [J] . 冉婕 ,谢树云 ,漆丽娟 . 计算机系统应用 . 2018,第8期
5. 基于描述逻辑的数控系统构件匹配方法研究 [J] . 贾伟 . 现代制造工程 . 2017,第007期
6. 基于模糊描述逻辑的设备维护案例本体及其推理研究 [C] . 周安美 ,于德介 . 全国高校机械工程测试技术研究会、中国振动工程学会动态测试专业委员会2012年代表大会暨学术年会 . 2012
7. 描述逻辑SHIF和SHIQ的Abox一致性判定算法研究 [A] . 彭立 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号