|
|||||
|
|
| 一种分布式动态描述逻辑 | |
| 引用本文： | 蒋运承,史忠植,汤庸,王驹.一种分布式动态描述逻辑[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 维普 万方数据 等数据库收录！ | |