Sciweavers

RR
2007
Springer

Expressive Reasoning with Horn Rules and Fuzzy Description Logics

13 years 9 months ago
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 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.
Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. S
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where RR
Authors Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou
Comments (0)