expressive fuzzy description logics over lattices

	expressive fuzzy description logics over lattices
	Jiang Yuncheng ; Tang Yong ; Wang Ju ; Deng Peimin ; Tang Suqin
刊名	KNOWLEDGE-BASED SYSTEMS
	2010
卷号	23 期号:2 页码:150-161
关键词	Description logics Fuzzy description logics Certainty lattices Transitive roles Inverse roles Role hierarchies
ISSN号	0950-7051
学科主题	Computer Science ; Artificial Intelligence
WOS记录号	WOS:000275589800009
公开日期	2011-05-24
附注	It is generally accepted that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. In this paper we present a fuzzy description logics framework based on certainty lattices. Our main feature is that an assertion is not just true or false like in classical description logics, but certain to some degree, where the certainty value is taken from a certainty lattice. We extend the well known fuzzy description logic based on fuzzy set theory f - PHJN to the fuzzy description logic based on certainty lattices theory L-PHJN. The syntax, semantics and logical properties of the L-PHJN are given, and a sound, complete and terminating tableaux algorithm for deciding fuzzy ABox consistency w.r.t. RBox for the L-PHJN is presented. In this paper various extensions of fuzzy description logics over lattices are also discussed. (C) 2009 Elsevier B.V. All rights reserved.
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/10121]
专题	软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式 GB/T 7714	Jiang Yuncheng,Tang Yong,Wang Ju,et al. expressive fuzzy description logics over lattices[J]. KNOWLEDGE-BASED SYSTEMS,2010,23(2):150-161.
APA	Jiang Yuncheng,Tang Yong,Wang Ju,Deng Peimin,&Tang Suqin.(2010).expressive fuzzy description logics over lattices.KNOWLEDGE-BASED SYSTEMS,23(2),150-161.
MLA	Jiang Yuncheng,et al."expressive fuzzy description logics over lattices".KNOWLEDGE-BASED SYSTEMS 23.2(2010):150-161.