首页> 中文会议>中科院自动化研究所自动化与信息技术发展战略研讨会暨2003年学术年会 >N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展

N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展

页面导航

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

摘要

描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理精确成立的知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够表示和处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法、语义,定义了N-SHOQ(D)中的推理关系,证明了N-SHOQ(D)具有一系列合理的性质.N-SHOQ(D)为扩展DAML+OIL语言到能处理不完备知识的情形提供了语义支持.

著录项

来源
《中科院自动化研究所自动化与信息技术发展战略研讨会暨2003年学术年会》|2003年|688-693|共6页
会议地点北京
作者
王淞昕; 王飞; 周水庚; 周傲英;
展开▼
作者单位

中科院自动化研究所;

中国自动化学会;

中国图像图形学学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序语言、算法语言;一般性问题;
关键词
语义Web; 网络语言; 描述逻辑; 非单调推理;
入库时间 2022-08-17 11:07:01

相似文献

中文文献
外文文献
专利

1. N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展 [J] . 王淞昕 ,王飞 ,周水庚 . 计算机研究与发展 . 2005,第004期
2. 认知描述逻辑ALCKR+:描述逻辑的一个非单调扩展 [J] . 曹逸 ,徐德智 ,王建新 . 计算机科学 . 2008,第007期
3. 面向矛盾问题的描述逻辑SHOQ扩展 [J] . 王静 ,王红 ,李剪 . 计算机应用 . 2014,第004期
4. 从ALC到SHOQ(D):描述逻辑及其Tableau算法 [J] . 梅婧 ,林作铨 . 计算机科学 . 2005,第003期
5. f-SHOIQN:一种模糊非单调描述逻辑 [J] . 王星 ,赵巧霞 ,陈吉 . 计算机工程 . 2019,第006期
6. 命题动态逻辑的描述逻辑扩展 [C] . 常亮 ,王晓峰 ,史忠植 . 2010年中国计算机大会 . 2010
7. 描述逻辑的非单调扩展研究及在语义网中的应用 [A] . 杨方凯 . 2008

N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展

摘要

著录项

相似文献

相关主题

期刊订阅