一种分布式动态描述逻辑
文献类型：期刊论文
| 作者 | 王 驹; 蒋运承; 史忠植; 汤 庸 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2006 |
| 期号 | 第9期页码:1603~1608页 |
| 关键词 | 描述逻辑 动态描述逻辑 分布式动态描述逻辑 语义web |
| 英文摘要 | 分析了目前描述逻辑(DL)的研究现状和存在的问题，特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求，对DDL进行了扩充，提出了一种新的描述逻辑，即分布式动态描述逻辑(D3L)，给出了D3L的语法和语义，并研究了D3L的推理机制，提出了两种推理方法: 直接推理和转化推理.与动态描述逻辑DDL相比，该D3L可以为语义Web提供更为合理的逻辑基础，弥补了DDL作为语义Web逻辑基础的不足. |
| 语种 | 中文 |
| 公开日期 | 2010-10-15 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/689]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2006年中文 |
| 推荐引用方式 GB/T 7714 | 王 驹,蒋运承,史忠植,等. 一种分布式动态描述逻辑[J]. 计算机研究与发展,2006(第9期):1603~1608页. |
| APA | 王 驹,蒋运承,史忠植,&汤 庸.(2006).一种分布式动态描述逻辑.计算机研究与发展(第9期),1603~1608页. |
| MLA | 王 驹,et al."一种分布式动态描述逻辑".计算机研究与发展 .第9期(2006):1603~1608页. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。