KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules

  1. Marco Calautti(University of Trento)
  2. Sergio Greco(University of Calabria)
  3. Cristian Molinaro(University of Calabria)
  4. Irina Trubitsyna(University of Calabria)
PDF
BibTeX
https://doi.org/10.24963/kr.2020/21

Keywords

  1. Inconsistency- and exception tolerant reasoning, paraconsistent logics-General
  2. Knowledge representation languages-General

Abstract

Query answering over inconsistent knowledge bases is a problem that has attracted a great deal of interest over the years.

Different inconsistency-tolerant semantics have been proposed, and most of them are based on the notion of repair, that is, a "maximal" consistent subset of the database.

In general, there can be several repairs, so it is often natural and desirable to express preferences among them.

In this paper, we propose a framework for querying inconsistent knowledge bases under user preferences for existential rule languages.

We provide generalizations of popular inconsistency-tolerant semantics taking preferences into account and study the data and combined complexity of different relevant problems.