Min-Based Conditioning of Possibilistic EL Ontology
The EL is a tractable family of lightweight description logics that underlay the OWL EL profile. It guarantees the tractability of the reasoning process, especially for concept classification. In particular, such a fragment is widely used for medical applications. This paper investigates the evolution of EL ontologies when a new piece of information that can be conflicting or attached with a confidence level reflecting its credibility or priority is available. To encode such knowledge, we propose an extension of EL description logic within the possibility theory, which provides a natural way to deal with ordinal scale reflecting ranking between pieces of knowledge. We then show how such a ranking between axioms is induced from the ontology with the presence of new information and study the evolution process at the semantic level. Finally, we propose a polynomial syntactic counterpart of the evolution process while preserving the consistency of the ontology.
How to Cite
Copyright (c) 2022 Rim Mohamed, Zied Bouraoui, Zied Loukil, Faiez Gargouri
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.