Min-Based Conditioning of Possibilistic EL Ontology


  • Rim Mohamed University of Sfax, Miracl laboratory
  • Zied Bouraoui
  • Zied Loukil
  • Faiez Gargouri




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

Mohamed, R., Bouraoui, Z. ., Loukil, Z. ., & Gargouri, F. (2022). Min-Based Conditioning of Possibilistic EL Ontology. The International FLAIRS Conference Proceedings, 35. https://doi.org/10.32473/flairs.v35i.130865



Special Track: Semantic, Logics, Information Extraction and AI