Inconsistency Measures for Repair Semantics in OBDA

Inconsistency Measures for Repair Semantics in OBDA

Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Main track. Pages 1977-1983. https://doi.org/10.24963/ijcai.2018/273

In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.
Keywords:
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Logics for Knowledge Representation