Calcul traitable de la réparation fermée possibiliste pour les ontologies partiellement pré-ordonnées - Laboratoire d'Intelligence Artificielle et Sémantique des Données
Communication Dans Un Congrès Année : 2022

Calcul traitable de la réparation fermée possibiliste pour les ontologies partiellement pré-ordonnées

Résumé

We focus on lightweight ontologies, where the dataset (ABox) is inconsistent with respect to the terminological knowledge (TBox). Furthermore, we assume that the dataset is uncertain and obtained from multiple sources with different evaluation scales. We equip the dataset with reliability degrees ordered according to a partial order to capture incomparability. Recently, an efficient method has been proposed in the possibilistic framework for reasoning with partially preordered inconsistent ontologies. This polynomial method computes a partially preordered repair for the ABox, from the intersection of possibilistic repairs associated with all the compatible bases of the partial order. In this paper, we introduce a new method that computes a more productive repair, by considering the intersection of the deductive closure of each one of the possibilistic repairs. We show that this method is tractable thanks to a polynomial characterization that reduces the computation into answering instance checking queries.
Nous nous intéressons aux ontologies légères, où l'ensemble de données (ABox) comporte des incohérences par rapport aux connaissances terminologiques (TBox). En outre, nous supposons que les données sont incertaines et obtenues de sources multiples qui ne partagent pas les mêmes échelles d'évaluation. Les données sont alors munies de degrés de fiabilité ordonnés selon un ordre partiel pour capturer l'incomparabilité. Récemment, une méthode efficace a été proposée dans le cadre possibiliste pour raisonner avec des ontologies incohérentes partiellement pré-ordonnées. Cette méthode calcule en un temps polynomial une réparation partiellement pré-ordonnée pour la base ABox, à partir de l'intersection des réparations possibilistes associées à toutes les bases compatibles avec l'ordre partiel. Nous proposons une nouvelle méthode qui calcule une réparation plus productive, en considérant l'intersection de la fermeture déductive de chacune des réparations possibilistes. Nous montrons que cette méthode est traitable grâce à une caractérisation polynomiale qui réduit le calcul à fournir des réponses à des requêtes de type instance checking.
Fichier principal
Vignette du fichier
LFA2022 .pdf (249.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04270652 , version 1 (04-11-2023)

Licence

Identifiants

  • HAL Id : hal-04270652 , version 1

Citer

Sihem Belabbes, Salem Benferhat, Ahmed Laouar. Calcul traitable de la réparation fermée possibiliste pour les ontologies partiellement pré-ordonnées. LFA 2022 - RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS, Oct 2022, Toulouse, France. ⟨hal-04270652⟩
70 Consultations
42 Téléchargements

Partager

More