一种分布式动态描述逻辑

被引：16

作者：

蒋运承 ^{[1
]}

史忠植 ^{[2
]}

汤庸 ^{[1
]}

王驹 ^{[3
]}

机构：

[1] 中山大学计算机科学系

[2] 中国科学院计算技术研究所

[3] 广西师范大学计算机科学与信息工程学院

来源：

计算机研究与发展 | 2006年 / 09期

关键词：

描述逻辑; 动态描述逻辑; 分布式动态描述逻辑; 语义Web;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：1603 / 1608

页数：6