作　　者： ; ;

机构地区： 华南师范大学计算机学院

出　　处： 《电子科技大学学报》 2012年第3期322-335,共14页

摘　　要： 提出了一种基于可信度格的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.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]