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 metadatas

Cited literature [43 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01089990
Contributor : Marie-Laure Mugnier <>
Submitted on : Wednesday, December 3, 2014 - 11:05:38 AM
Last modification on : Wednesday, December 12, 2018 - 2:38:02 PM
Long-term archiving on : Saturday, April 15, 2017 - 2:40:50 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

424

Files downloads

740