Qualitative-based possibilistic εL ontology

Abstract

In different situations, information coming from different sources are often affected with uncertainty and imprecision. Representing such information generally gives rise to a prioritized (i.e. stratified) knowledge base. To reason with such prioritized knowledge in a principled way, we propose an extension of εL description logics within possibility theory, which provides a very natural framework to deal with ordinal, qualitative uncertainty, preferences and priorities. We first introduce the syntax and semantics of possibilistic εL, and then provide the main related reasoning tasks. We show in particular that these tasks remain tractable in possibilistic εL.