Paper Info
Title
On finitely-valued Fuzzy Description Logics.
Abstract
This paper deals with finitely-valued fuzzy description languages from a logical point of view. From recent results in Mathematical Fuzzy Logic and following [44], we develop a Fuzzy Description Logic based on the fuzzy logic of a finite BL-chain. The constructors of the languages presented in this paper correspond to the connectives of that logic (containing an involutive negation, Monteiro–Baaz delta and hedges). The paper addresses the hierarchy of fuzzy attributive languages; knowledge bases and their reductions; reasoning tasks; and complexity. Our results regarding decidability together with a summary of the known results related to computational complexity are of particular interest. In Appendix B we also provide axiomatizations for expansions of the logic of a finite BL-chain considered in the paper.
Year
DOI
Venue
2014
10.1016/j.ijar.2013.09.021
International Journal of Approximate Reasoning
Keywords
Field
DocType
Description Logics,Mathematical Fuzzy Logic,Fuzzy logic of a finite t-norm,Finitely-valued Fuzzy Description Logics
Discrete mathematics,T-norm fuzzy logics,Fuzzy set operations,Fuzzy logic,Description logic,Monoidal t-norm logic,Many-valued logic,Fuzzy associative matrix,Fuzzy number,Mathematics
Journal
Volume
Issue
ISSN
55
9
0888-613X
Citations 
PageRank 
References 
3
0.37
40
Authors
3
Name
Order
Citations
PageRank
Marco Cerami11107.98
Àngel García-Cerdaña27110.05
Francesc Esteva31885200.14