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

被引:3
作者
蒋运承 [1 ]
谭红艳 [2 ]
机构
[1] 华南师范大学计算机学院
[2] 中国科学院声学所
关键词
可信度格; 描述逻辑; 模糊描述逻辑; 模糊逻辑; 语义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
相关论文
共 2 条
[1]   模糊描述逻辑L-ALCN [J].
李淑英 ;
李梅 ;
蒋运承 ;
王驹 ;
刘真环 .
计算机研究与发展, 2008, (04) :619-625
[2]  
Fuzzy OWL:Uncertainty and the semantic Web .2 Stoilos G,Stamou G,Tzouvaras V,Pan J,Horrocks I. Proc.of the Int’l Workshop of OWL:Experiences and Directions . 2005