Inconsistency-Tolerant Querying of Description Logic Knowledge Bases

Meghyn Bienvenu 1 Camille Bourgaux 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : An important issue that arises when querying description logic (DL) knowledge bases is how to handle the case in which the knowledge base is inconsistent. Indeed, while it may be reasonable to assume that the TBox (ontology) has been properly debugged, the ABox (data) will typically be very large and subject to frequent modifications, both of which make errors likely. As standard DL semantics is useless in such circumstances (everything is entailed from a contradiction), several alternative inconsistency-tolerant semantics have been proposed with the aim of providing meaningful answers to queries in the presence of such data inconsistencies. In the first part of this chapter, we present and compare these inconsistency-tolerant semantics, which can be applied to any DL (or ontology language). The second half of the chapter summarizes what is known about the computational properties of these semantics and gives an overview of the main algorithmic techniques and existing systems, focusing on DLs of the DL-Lite family.
Type de document :
Chapitre d'ouvrage
Tutorial Lectures of the 12th International Reasoning Web Summer School : Logical Foundation of Knowledge Graph Construction and Query Answering , 9885, pp.156-202, 2016, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01633000
Contributeur : Meghyn Bienvenu <>
Soumis le : vendredi 10 novembre 2017 - 20:28:48
Dernière modification le : vendredi 12 janvier 2018 - 01:48:42

Fichier

BieBou-RW16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01633000, version 1

Citation

Meghyn Bienvenu, Camille Bourgaux. Inconsistency-Tolerant Querying of Description Logic Knowledge Bases. Tutorial Lectures of the 12th International Reasoning Web Summer School : Logical Foundation of Knowledge Graph Construction and Query Answering , 9885, pp.156-202, 2016, Lecture Notes in Computer Science. 〈hal-01633000〉

Partager

Métriques

Consultations de la notice

43

Téléchargements de fichiers

11