How to extend IAR semantics to prioritized lightweight ontologies?
Salem Benferhat (CRIL, Université d'Artois - CNRS)29 mars 2018 - 14:00
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.