HAL TEI export of lirmm-00618296 CCSD CC0 1.0 - Universal

HAL API Platform

 Ontological Query Answering with Existential Rules Marie-Laure Mugnier 3ef441151c4a1431a5e05b4da19d881c lirmm.fr marie-laure-mugnier 6245 18411-6245 https://orcid.org/0000-0002-0574-3693 https://www.idref.fr/129977896 Marie-Laure Mugnier 3ef441151c4a1431a5e05b4da19d881c lirmm.fr 2011-09-01 13:35:13 2025-08-26 15:21:01 2011-09-01 15:39:00 2011-08-29 2011-09-01 inra_publicVise_local_SC contributor Marie-Laure Mugnier 3ef441151c4a1431a5e05b4da19d881c lirmm.fr CCSD lirmm-00618296 https://hal-lirmm.ccsd.cnrs.fr/lirmm-00618296 mugnier:lirmm-00618296 <i>RR: Web Reasoning and Rule Systems</i>, Aug 2011, Galway, Ireland. pp.2-23, <a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-23580-1_2">&#x27E8;10.1007/978-3-642-23580-1_2&#x27E9;</a> RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.2-23, &#x27E8;10.1007/978-3-642-23580-1_2&#x27E9; HAL Authorization CNRS - Centre national de la recherche scientifique INRIA - Institut National de Recherche en Informatique et en Automatique INRIA Sophia Antipolis - Méditerranée INRIA-SOPHIA INRIA - Institut National de Recherche en Informatique et en Automatique TESTALAIN1 Graphs for Inferences on Knowledge Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier INRIA 2 Mathématiques, Informatique, Physique et Systèmes Université de Montpellier Université Côte d'Azur Université de Montpellier (2015-2021) Intelligence Artificielle International Yes No Yes Yes Ontological Query Answering with Existential Rules Marie-Laure Mugnier 3ef441151c4a1431a5e05b4da19d881c lirmm.fr marie-laure-mugnier 6245 18411-6245 https://orcid.org/0000-0002-0574-3693 https://www.idref.fr/129977896 RR: Web Reasoning and Rule Systems 2011-08-29 2011 Galway Ireland S. Rudolph C. Gutierrez Web Reasoning and Rule Systems LNCS 6902 2-23 2011-08 10.1007/978-3-642-23580-1_2 246154 http://www.rr-conference.org/RR2011/ English ODBA Rules Datalog+ Existential Rules Ontology-Based Data Access Query answering Ontological Query Answering Computer Science [cs]/Artificial Intelligence [cs.AI] Computer Science [cs]/Databases [cs.DB] Conference papers Conference papers Conference papers

The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies, has been acknowledged both in the database and knowledge representation communities. We focus in this paper on the ontological query answering problem, which consists of querying data while taking ontological knowledge into account. To tackle this problem, we consider a logical framework based on existential rules, also called Tuple-Generating Dependencies or Datalog+/- rules. This framework can also be defined in graph terms. Query entailment with existential rules is not decidable, thus a crucial issue is to define decidable classes of rules as large as possible. This paper is a survey of decidable classes of rules, including a review of the main complexity results. It mostly relies on previous work presented at IJCAI'2009 [BLMS09] and KR'2010 [BLM10] (and developed in a journal paper [BLMS11]), updated to include very recent results.

 201019618K Graphs for Inferences on Knowledge GRAPHIK 2010-01-01 2021-12-31
LIRMM — Campus Saint Priest – 860 rue de St Priest – 34095 Montpellier
https://team.inria.fr/graphik/ 139590827 0000000405990488 199111950H https://ror.org/013yean28 Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier LIRMM 1995-01-01 2021-12-31
161 rue Ada - 34095 Montpellier
https://www.lirmm.fr 0000000120970141 https://ror.org/051escj72 Université de Montpellier UM 2021-12-31
163 rue Auguste Broussonnet - 34090 Montpellier
http://www.umontpellier.fr/ 02636817X 0000000122597504 https://ror.org/02feahw73 Centre National de la Recherche Scientifique CNRS 1939-10-19
https://www.cnrs.fr/ 198318250R https://ror.org/01nzkaw91 Centre Inria d'Université Côte d'Azur
2004 route des Lucioles BP 93 06902 Sophia Antipolis
http://www.inria.fr/centre/sophia/ https://ror.org/02kvxyf05 Institut National de Recherche en Informatique et en Automatique Inria
Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex
http://www.inria.fr/en/