Title
Expressive reasoning with horn rules and fuzzy description logics
Abstract
This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy logic into the non-recursive CARIN system. It provides a sound and complete algorithm for representing and reasoning about fuzzy ALCNR\mathcal{ALCNR} extended with non-recursive Horn rules. Such an extension is most useful in realistic applications dealing with uncertainty and imprecision, such as multimedia processing and medical applications. Additionally, it provides the ability of answering to union of conjunctive queries, which is a novelty not previously addressed by fuzzy DL systems.
Year
DOI
Venue
2010
10.1007/s10115-010-0304-1
Web Reasoning and Rule Systems
Keywords
Field
DocType
knowledge representation,fuzzy logic,decision problem,conjunctive queries
T-norm fuzzy logics,Neuro-fuzzy,Conjunctive query,Fuzzy classification,Fuzzy set operations,Computer science,Fuzzy logic,Description logic,Artificial intelligence,Fuzzy number
Journal
Volume
Issue
ISSN
25
1
0219-3116
Citations 
PageRank 
References 
17
0.76
34
Authors
3
Name
Order
Citations
PageRank
Theofilos P. Mailis1906.26
Giorgos Stoilos2124167.47
Giorgos Stamou3120076.88