Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$

  • Authors:

  • Theofilos Mailis;Giorgos Stoilos;Nikolaos Simou;Giorgos Stamou;Stefanos Kollias

  • Affiliations:

  • Image, Video and Multimedia Systems Laboratory, National Technical University of Athens, Athens, Greece 15780;Oxford University Computing Laboratory, Oxford, UK;Image, Video and Multimedia Systems Laboratory, National Technical University of Athens, Athens, Greece 15780;Image, Video and Multimedia Systems Laboratory, National Technical University of Athens, Athens, Greece 15780;School of Electrical and Computer Engineering, Division of Computer Science, National Technical University of Athens, Athens, Greece 15780

  • Venue:
  • Journal of Intelligent Information Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Fuzzy Description Logics (fuzzy DLs) are extensions of classic DLs that are capable of representing and reasoning with imprecise and vague knowledge. Though reasoning algorithms for very expressive fuzzy DLs have been developed and optimizations have started to be explored, the efficiency of such systems is still questionable, and the study of tractable languages is an interesting open issue. In this paper we introduce a tractable fuzzy extension of $\mathcal{EL}^{++}$ . We present its syntax and semantics together with a reasoning algorithm for the fuzzy concept subsumption problem to which other problems can be reduced.