收藏本站
收藏 | 投稿 | 论文排版

描述逻辑SHIQ研究

杨敬波  贾丽虹  张召兵  
【摘要】:描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础.描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心.该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 吴强;语义web中以描述逻辑为本体语言的推理[J];计算机工程与应用;2003年33期
2 董明楷,蒋运承,史忠植;一种带缺省推理的描述逻辑[J];计算机学报;2003年06期
3 史忠植,蒋运承,张海俊,董明楷;基于描述逻辑的主体服务匹配[J];计算机学报;2004年05期
4 左志宏,周明天;描述逻辑SHIQ与网络资源自动分类[J];通信学报;2004年07期
5 王真星,吕腾;为本体库提供精确语义的研究[J];计算机工程与应用;2004年24期
6 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑;2004年10期
7 赵燕伟,胡坚,张国贤;基于OWL本体建模的概念产品配置[J];中国机械工程;2004年19期
8 李文斌,刘椿年,陈嶷瑛;对OWL及其逻辑基础的研究[J];计算机应用;2004年S2期
9 宋峻峰,张维明,姚莉,肖卫东;OWL DL的形式化基础研究[J];小型微型计算机系统;2005年02期
10 王乐,强晓远,孙莉;基于本体模型异构信息交互的研究[J];微型机与应用;2005年01期
中国重要会议论文全文数据库 前7条
1 何召卫;陈俊亮;;本体相似研究综述[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
2 李勇;苏森;杨放春;;一种基于本体的Parlay业务能力自动发现机制[A];中国通信学会信息通信网络技术委员会2005年年会论文集[C];2005年
3 林培光;刘弘;樊孝忠;王涛;;一种新的语义网信息检索方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
4 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
5 吴善明;沈建京;;本体驱动的分布式地理信息网络服务链[A];2007中国控制与决策学术年会论文集[C];2007年
6 吴伟蔚;陈力华;徐兆坤;刘长虹;;基于语义Web的交通信息系统[A];2007年中国智能自动化会议论文集[C];2007年
7 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院(软件研究所);2002年
2 胡鹤;本体方法及其时空推理应用研究[D];吉林大学;2004年
3 陈华钧;Web语义查询与推理研究[D];浙江大学;2004年
4 景东升;基于本体的地理空间信息语义表达和服务研究[D];中国科学院研究生院(遥感应用研究所);2005年
5 付相君;基于本体和Semantic Web技术的产品知识集成基础研究[D];浙江大学;2005年
6 于海波;基于规则和本体的应用安全策略研究[D];吉林大学;2006年
7 林松涛;模块化本体建设研究[D];北京邮电大学;2006年
8 韩永国;知识网格及其教育应用的关键技术研究[D];电子科技大学;2006年
9 蒋运承;基于主体的智能Web中的服务研究[D];中国科学院研究生院(计算技术研究所);2004年
10 邱明;语义相似性度量及其在设计管理系统中的应用[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 夏俊;语义Web中基于本体知识库系统的自动推理研究[D];合肥工业大学;2004年
2 甘健侯;基于本体的语义Web知识发现及其应用的研究[D];云南师范大学;2004年
3 王乐;基于本体的服装企业信息交互的研究[D];东华大学;2005年
4 朱红梅;模型资源的语义表示和应用研究[D];山东科技大学;2005年
5 王鹏超;基于规划的语义Web服务组合[D];吉林大学;2005年
6 任涛;基于本体和描述逻辑的Web服务查找技术研究[D];山东大学;2005年
7 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年
8 李慧;语义Web服务发现机制的研究[D];江苏大学;2005年
9 吴昊;基于本体论的知识推理查询系统的研究[D];江苏大学;2005年
10 丁朝辉;数据库物理模式推荐框架研究及其在OSCAR中的实现[D];浙江大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978