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

Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web

作　　者：蒋运承[1] 谭红艳[2] 

机构地区：[1]华南师范大学计算机学院,广州510631 [2]中国科学院声学所,北京海淀区100190

出　　处：《电子科技大学学报》2012年第3期322-335,共14页Journal of University of Electronic Science and Technology of China

基　　金：Supported by the National Natural Science Foundation of China under Grant(60663001);the Natural Science Foundation of GuangdongProvince of China under Grant(10151063101000031)~~

摘　　要：提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。In this paper we present a very expressive fuzzy description logic framework,L-SROIQ（D）,based on certainty lattices,which is a fuzzy extension of the description logic SROIQ（D）（theoretical basis of the ontology language OWL 2）.Some logical properties of L-SROIQ（D） are researched and the decidability of L-SROIQ（D） is proved in case of linearly ordered lattices.

关 键 词：可信度格 描述逻辑 模糊描述逻辑 模糊逻辑 语义WEB 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]