Expressive reasoning with horn rules and fuzzy description logics

Authors:
Theofilos Mailis;Giorgos Stoilos;Giorgos Stamou
Affiliations:
National Technical University of Athens, Electrical and Computer Engineering Department, Athens, Greece;Oxford University, Computing Laboratory, Oxford, UK;National Technical University of Athens, Electrical and Computer Engineering Department, Athens, Greece
Venue:
Knowledge and Information Systems
Year:
2010

Citing 0
Cited 2

Fuzzy ontology representation using OWL 2

International Journal of Approximate Reasoning
A GA-weighted ANFIS model based on multiple stock market volatility causality for TAIEX forecasting

Applied Soft Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe 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 language. We introduce the decision problems of answering to conjunctive queries, unions of conjunctive queries and the existential entailment problem and provide a sound and complete algorithm that permits reasoning with the DL fuzzy $${\mathcal{ALCNR}}$$extended with non-recursive Horn rules. This extension is most useful in realistic applications that handle uncertain or imprecise data such as multimedia processing and medical applications.