On the interaction of existential rules and equality constraints in ontology querying

  • Authors:

  • Andrea Calì;Georg Gottlob;Giorgio Orsi;Andreas Pieris

  • Affiliations:

  • Dept. of Computer Science and Inf. Systems, Birkbeck University of London, UK,Oxford-Man Institute of Quantitative Finance, University of Oxford, UK;Department of Computer Science, University of Oxford, UK,Oxford-Man Institute of Quantitative Finance, University of Oxford, UK,Institute for the Future of Computing, Oxford Martin School, UK;Department of Computer Science, University of Oxford, UK,Institute for the Future of Computing, Oxford Martin School, UK;Department of Computer Science, University of Oxford, UK

  • Venue:
  • Correct Reasoning
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Ontological query processing is an exciting research topic in database theory, knowledge representation, and logic programming. In many cases, ontological constraints are expressed over an extensional database by extending traditional Datalog rules to allow existential quantification and equality atoms in the head. The unrestricted use of these features causes undecidability of query answering and, therefore, their interaction must be controlled. This work provides a tutorial-like introduction to the problem of query answering under existential and equality constraints. We survey the most notable (semantic and syntactic) restrictions to such constraints ensuring decidability of query answering, and we discuss their practical application to conceptual modelling.