Revision of prioritized $$\mathcal {E}\mathcal {L}$$ ontologies

Rim Mohamed , Zied Loukil , Faiez Gargouri , Zied Bouraoui (1, 2)

1 CRIL - Centre de Recherche en Informatique de Lens
2 UA - Université d'Artois

In this paper, we investigated the evolution of prioritized EL ontologies in the presence of new information that can be certain or uncertain. We propose an extension of EL description logic, named EL + ⊥ , within possibility theory to encode such knowledge. This extension provides a natural way to deal with the ordinal scale and represent knowledge in a way that can handle incomplete information and conflicting data. We provided a polynomial algorithm for computing the possibilistic entailment. Then, we defined the evolution process at the semantic and syntactic levels. Interestingly enough, we show that the syntactical algorithm is done in polynomial time.

Mots clés: EL Description Logic Semantical Revision Syntactical Revision Possibility Theory Prioritized Ontology; EL Description Logic; Semantical Revision; Syntactical Revision; Possibility Theory; Prioritized Ontology

Domaines: Intelligence artificielle [cs.AI]

Rim Mohamed, Zied Loukil, Faiez Gargouri, Zied Bouraoui. Revision of prioritized $$\mathcal {E}\mathcal {L}$$ ontologies. Applied Intelligence, 2023, 53 (24), pp.30359-30383. ⟨10.1007/s10489-023-05074-6⟩. ⟨hal-04426740⟩