首页 | 本学科首页   官方微博 | 高级检索  
     检索      

一种分布式动态描述逻辑
引用本文:蒋运承,史忠植,汤庸,王驹.一种分布式动态描述逻辑[J].计算机研究与发展,2006,43(9):1603-1608.
作者姓名:蒋运承  史忠植  汤庸  王驹
作者单位:1. 中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,桂林,541004
2. 中国科学院计算技术研究所,北京,100080
3. 中山大学计算机科学系,广州,510275
4. 广西师范大学计算机科学与信息工程学院,桂林,541004
基金项目:国家自然科学基金;国家重点基础研究发展计划(973计划);国家高技术研究发展计划(863计划);广东省自然科学基金;广西青年科学基金
摘    要:分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.

关 键 词:描述逻辑  动态描述逻辑  分布式动态描述逻辑  语义  Web
收稿时间:06 30 2005 12:00AM
修稿时间:2005-06-302006-03-27
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号