面向语义Web的Expressive格值描述逻辑(英文)

被引：3

作者：

蒋运承 ^{[1
]}

谭红艳 ^{[2
]}

机构：

[1] 华南师范大学计算机学院

[2] 中国科学院声学所

来源：

电子科技大学学报 | 2012年 / 03期

关键词：

可信度格; 描述逻辑; 模糊描述逻辑; 模糊逻辑; 语义Web;

D O I：

暂无

中图分类号：

TP391.1 [文字信息处理];

学科分类号：

摘要：

提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。

引用

页码：322 / 335

页数：14