Salem Benferhat (CRIL, Université d’Artois - CNRS)

This short talk addresses the problem of handing conflicts in lightweight ontologies. Recently, eight genuine ways to deal with conflicting information have been identified in the context of lightweight ontologies. This paper focuses on a so-called IAR semantics and proposes some desirable properties and algorithms to extend it to prioritized Aboxs.