An Introduction to Ontology-Based Query Answering with Existential Rules

Marie-Laure MugnierMarie-Laure Mugnier, Michaël ThomazoMichaël Thomazo

Marie-Laure Mugnier, Michaël Thomazo
An Introduction to Ontology-Based Query Answering with Existential Rules
Reasoning Web Summer School, 245-278, 2014. Springer

Details
Bibtex

KurzfassungAbstract
The need for an ontological layer on top of data, associated
with advanced reasoning mechanisms able to exploit ontological knowledge, has been acknowledged in the database, knowledge representation and Semantic Web communities. We focus here on the ontology-based data querying problem, which consists in querying data while taking ontological knowledge into account. To tackle this problem, we consider a logical framework based on existential rules, also called Datalog+/-. In this course, we introduce fundamental notions on ontology-based query answering with existential rules. We present basic reasoning techniques, explain the relationships with other formalisms such as lightweight description logics, and review decidability results as well as associated algorithms.
We end with ongoing research and some challenging issues.
Forschungsgruppe:Research Group: Computational LogicComputational Logic

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-10587-1_6.

@inproceedings{MT2014,
  author    = {Marie-Laure Mugnier and Micha{\"{e}}l Thomazo},
  title     = {An Introduction to Ontology-Based Query Answering with
               Existential Rules},
  booktitle = {Reasoning Web Summer School},
  publisher = {Springer},
  year      = {2014},
  pages     = {245-278},
  doi       = {10.1007/978-3-319-10587-1_6}
}