收藏本站
《计算机研究与发展》 2006年09期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种分布式动态描述逻辑

蒋运承  史忠植  汤庸  王驹  
【摘要】:分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.

【参考文献】
中国期刊全文数据库 前2条
1 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑;2004年10期
2 史忠植,蒋运承,张海俊,董明楷;基于描述逻辑的主体服务匹配[J];计算机学报;2004年05期
【共引文献】
中国期刊全文数据库 前10条
1 邱莉榕;史忠植;林芬;常亮;;基于主体的语义Web服务自动组合研究[J];计算机研究与发展;2007年04期
2 陈强;廖开际;奚建清;;知识地图及其应用研究现状[J];长春工业大学学报(自然科学版);2006年01期
3 周亭;周竹荣;黄果;;基于主题图的课程领域知识管理研究[J];计算机工程与应用;2007年18期
4 张素庆;王志军;王文杰;;Web服务与MAS集成系统的通信机制[J];计算机工程;2006年09期
5 沈玮韡;蔡鸿明;姜丽红;;一种基于语义Web服务的服务自动发现的实现[J];计算机工程;2006年18期
6 胡军;高济;李长云;;多主体系统中基于本体论的服务相容匹配机制[J];计算机辅助设计与图形学学报;2006年05期
7 员红娟;叶飞跃;李霞;彭文滔;;基于语义的Web服务发现核心技术研究[J];计算机应用;2006年11期
8 周鑫;张建军;;基于描述逻辑的语义Web本体研究[J];科学技术与工程;2007年03期
9 陈强;廖开际;奚建清;;知识地图研究现状与展望[J];情报杂志;2006年05期
10 蒋运承;汤庸;王驹;;基于描述逻辑的模糊ER模型[J];软件学报;2006年01期
中国博士学位论文全文数据库 前10条
1 付相君;基于本体和Semantic Web技术的产品知识集成基础研究[D];浙江大学;2005年
2 胡军;面向自治计算的基于政策的多agent协同体系研究[D];浙江大学;2006年
3 胡勇其;基于语义的数据对象访问和存储管理研究[D];中国科学院研究生院(计算技术研究所);2006年
4 黄河;语义Web中知识服务的研究[D];中国科学院研究生院(计算技术研究所);2006年
5 刘海波;智能机器人神经心理模型研究[D];哈尔滨工程大学;2005年
6 蒋运承;基于主体的智能Web中的服务研究[D];中国科学院研究生院(计算技术研究所);2004年
7 马炳先;语义Web服务自动组合的Petri网方法研究[D];中国科学院研究生院(计算技术研究所);2006年
8 张海俊;基于主体的自主计算研究[D];中国科学院研究生院(计算技术研究所);2005年
9 程勇;基于本体的不确定性知识管理研究[D];中国科学院研究生院(计算技术研究所);2005年
10 董明楷;面向智能主体的动态描述逻辑研究[D];中国科学院研究生院(计算技术研究所);2003年
中国硕士学位论文全文数据库 前10条
1 周亮;基于OWL-S的Web服务发现[D];南京理工大学;2005年
2 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年
3 崔彦;基于语义Web的服务匹配模型研究[D];大连理工大学;2006年
4 张会平;基于语义Web的教育资源共享平台的构建[D];武汉大学;2005年
5 杜春;语义Web服务发现模型研究[D];河海大学;2006年
6 杨柳;基于文本的中文本体知识获取的研究[D];中国科学院研究生院(计算技术研究所);2006年
7 张春国;基于知识管理的办公自动化系统研究[D];山东科技大学;2006年
8 王玉影;基于语义相关度评价的Web服务匹配技术研究[D];大连理工大学;2006年
9 杨昊霖;语义Web服务匹配模型的研究与实现[D];大连理工大学;2006年
10 宋超荣;基于JXTA平台和OWL-S的Web服务发现的研究[D];暨南大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 陶皖,李平,廖述梅;当前基于本体的语义标注工具的分析[J];安徽工程科技学院学报(自然科学版);2005年02期
2 梁允荣,何国军;基于J2EE的协同设计系统的体系结构研究[J];北京理工大学学报;2004年07期
3 梅翔;孟祥武;陈俊亮;徐萌;;一种基于语义关联的查询优化方法[J];北京邮电大学学报;2006年06期
4 申德荣,于戈,张蓉;Web服务合成中的异构问题[J];东北大学学报(自然科学版);2004年03期
5 常弘,茹锋,薛钧义;IEC61850标准语义信息模型的互操作性能分析及系统实现[J];电工电能新技术;2005年03期
6 张慎明,刘国定;IEC61970标准系列简介[J];电力系统自动化;2002年14期
7 张慎明,卜凡强,姚建国,杨志宏,陈梅,赵京虎,曹阳;遵循IEC61970标准的实时数据库管理系统[J];电力系统自动化;2002年24期
8 王俏文,陶文伟;调度MIS定值到DTS保护数据的自动转换[J];电力系统自动化;2003年13期
9 刘崇茹,孙宏斌,张伯明,董越,辛耀中;基于CIM XML电网模型的互操作研究[J];电力系统自动化;2003年14期
10 潘毅,周京阳,李强,米为民,樊涛;基于公共信息模型的电力系统模型的拆分与合并[J];电力系统自动化;2003年15期
中国博士学位论文全文数据库 前5条
1 苏财茂;基于网络的产品协同设计系统若干关键技术研究[D];浙江大学;2004年
2 杨春立;产品知识管理系统研究[D];大连理工大学;2005年
3 林松涛;模块化本体建设研究[D];北京邮电大学;2006年
4 叶作亮;基于制造网格的制造资源管理若干关键技术研究[D];浙江大学;2006年
5 陈丁剑;基于语义的Web服务发现和组合技术研究[D];西北工业大学;2007年
中国硕士学位论文全文数据库 前6条
1 王斌;基于SVG的电力图形平台研究[D];南京工业大学;2005年
2 刘燕;语义web服务发布与发现的关键技术研究[D];湖南师范大学;2006年
3 杜春;语义Web服务发现模型研究[D];河海大学;2006年
4 行宇;基于本体的语义Web服务发现机制的研究[D];太原理工大学;2006年
5 杨昊霖;语义Web服务匹配模型的研究与实现[D];大连理工大学;2006年
6 仲梅;基于语义的Web服务发现方法的研究[D];江苏大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 蒋运承;史忠植;汤庸;王驹;;一种分布式动态描述逻辑[J];计算机研究与发展;2006年09期
2 蒋明艳;郑丽英;;本体技术应用研究[J];科技咨询导报;2007年16期
3 宗江琴;范荣;;基于粒计算的本体学习研究[J];科技广场;2007年05期
4 何召卫;陈俊亮;;基于本体关系匹配的信息抽取[J];计算机工程;2007年21期
5 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[J];东南大学学报(英文版);2006年03期
6 井浩;张璟;李军怀;;基于语义web的网络化制造知识检索系统(英文)[J];Journal of Southeast University(English Edition);2007年03期
7 刘仁宁;李禹生;;领域本体构建方法[J];武汉工业学院学报;2008年01期
8 黄映辉;李冠宇;;语义Web的实现:概念标记与概念系统[J];计算机科学;2008年10期
9 胡鹤,刘大有,胡志永;基于逻辑映射的时空本体构造[J];计算机工程;2005年10期
10 王乐;张建军;;OWL本体存储的分析与应用[J];科学技术与工程;2008年07期
中国重要会议论文全文数据库 前2条
1 蔡畅;李宏伟;李勤超;;语义层次的知识推理研究[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年
2 陈冰;江平宇;魏生民;;e-制造环境下的服务资源描述与匹配技术研究[A];《制造业自动化与网络化制造》学术交流会论文集[C];2004年
中国博士学位论文全文数据库 前4条
1 毛郁欣;面向大规模本体重用的子本体模型研究[D];浙江大学;2008年
2 刘芳;基于过程本体的异质Agent协作技术研究[D];国防科学技术大学;2006年
3 张磊;基于语义Web的制造网格资源集成与调度技术研究[D];西北工业大学;2007年
4 金龙飞;形式化本体工程中若干问题的研究[D];吉林大学;2008年
中国硕士学位论文全文数据库 前10条
1 孙晓波;基于ontology的MC信息建模方法及应用研究[D];河北工业大学;2006年
2 黄利辉;基于树分割的本体映射研究[D];中南大学;2009年
3 吴坤;基于Ontology的外汇领域知识库的研究和实现[D];浙江大学;2010年
4 刘正;本体编辑器的研究与实现[D];中南大学;2007年
5 肖文芳;基于相似度计算的本体映射研究与实现[D];中南大学;2007年
6 王一雄;移动agent知识库和通信协作的研究[D];合肥工业大学;2005年
7 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年
8 何潇潇;结构化数据的本体获取[D];中国科学院研究生院(武汉物理与数学研究所);2006年
9 张天;本体映射修正算法及本体映射评价标准的研究[D];中南大学;2008年
10 刘涛;基于OWL-S的语义Web服务发现技术研究[D];武汉科技大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026