Skip to Main content Skip to Navigation
Conference papers

An Introduction to Ontology-Based Query Answering with Existential Rules

Marie-Laure Mugnier 1 Michaël Thomazo 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 : The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit ontological knowl-edge, 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 on-tological 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 de-scription logics, and review decidability results as well as associated al-gorithms. We end with ongoing research and some challenging issues.
Document type :
Conference papers
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download
Contributor : Marie-Laure Mugnier Connect in order to contact the contributor
Submitted on : Wednesday, December 3, 2014 - 11:05:38 AM
Last modification on : Friday, August 5, 2022 - 3:03:00 PM
Long-term archiving on: : Saturday, April 15, 2017 - 2:40:50 AM


Files produced by the author(s)




Marie-Laure Mugnier, Michaël Thomazo. An Introduction to Ontology-Based Query Answering with Existential Rules. RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩. ⟨lirmm-01089990⟩



Record views


Files downloads