Elect : Une méthode de gestion des incohérences dans des ontologies légères partiellement préordonnées *

International audienceNous nous intéressons au problème de la gestion des incohérences dans des ontologies légères. Nous supposons que les bases de connaissances terminologiques (TBox) sont spécifiées dans les logiques de description DL-Lite. Nous supposons aussi que les bases assertionnelles (ABox) sont partiellement préordonnées et peuvent être incohérentes avec la base terminologique TBox. Une contribution im-portante de cet article est la proposition d'une méthode ef-ficace et saine, appelée Elect, pour restaurer la cohérence de la base ABox par rapport à la base TBox. Notre mé-thode permet de retrouver la sémantique dite IAR (Intersec-tion ABox Repair) lorsque la base ABox est non-ordonnée. Elle permet également de retrouver la sémantique dite non-contestée lorsque la base ABox est totalement préordonnée. La justification sémantique de la méthode Elect est basée d'abord sur le fait qu'une base ABox partiellement préor-donnée est interprétée comme une famille de bases ABox to-talement préordonnées. Ensuite, la méthode Elect applique l'inférence non-contestée à chacune de ces ABox totalement préordonnées. Dans la deuxième partie de l'article, nous in-troduisons le concept d'assertions, dites élues, qui permet de donner une caractérisation équivalente de la méthode Elect sans avoir à générer explicitement toutes les bases ABox to-talement préordonnées. Nous montrons alors que le calcul des assertions élues se fait en temps polynomial. Abstract We focus on the problem of handling inconsistency in lightweight ontologies. We assume that terminological knowledge bases (TBoxes) are specified in DL-Lite and that assertional facts (ABoxes) are partially preordered and may be inconsistent with respect to TBoxes. One of the main contributions of this paper is the provision of an efficient and safe method, called Elect, to restore consistency of the ABox with respect to the TBox. In the case where the ABox * Cet article est paru en anglais dans les actes de 15 th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Philadelphie, USA, 3-7 Juin 2019, pages 210-223, Springer. is flat (no priorities are associated with the assertions) or totally preordered, our method collapses with the well-known IAR semantics and non-defeated semantics, respectively. The semantic justification of Elect is obtained by first viewing a partially preordered ABox as a family of totally pre-ordered ABoxes, and then applying non-defeated inference to each of the totally preordered ABoxes. We introduce the concept of elected assertions which allows us to provide an equivalent characterisation of Elect without explicitly generating all totally preordered ABoxes. Finally we show that the computation of Elect is done in polynomial time