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