Ontology-Based Query Answering with Existential Rules

Marie-Laure Mugnier 1
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 : It is widely acknowledged that modern information sytems require an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies. We focus here on ontology-based data access (OBDA), a new paradigm that seeks to take ontological knowledge into account when querying data. This paradigm is currently the subject of intense research in the database, knowledge representation and reasoning, and Semantic Web communities. Indeed, it is expected to have a major impact in many application domains, however some foundational issues need first to be adressed. In this context, we consider an emerging logical framework based on existential rules, also known as Datalog+/-. This framework can also be defined in graph terms. Compared to the lighweight description logics currently developed for OBDA, it is more powerful and flexible; an important feature is that predicate arity is not restricted, which allows for a natural coupling with database schemas and facilitates the integration of additional information, such as contextual knowledge. On the other hand, the existential rule framework extends the deductive database language Datalog by enabling to infer the existence of entities that do not necessarily occur in the database (hence the name existential rules), a feature that has been recognized as crucial in the context of incomplete information. In this talk, we will provide an introduction to this framework in the context of OBDA, then present the main decidability and complexity results as well as algorithmic techniques, and discuss some challenging research issues.
Type de document :
Communication dans un congrès
Antonis Bikakis and Adrian Giurca. RuleML'2012: 6th International Symposium on Rules: Research Based and Industry Focused, Aug 2012, Montpellier, France. Springer, pp.16, 2012, LNCS. 〈http://dbis.informatik.tu-cottbus.de/ruleml2012/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763475
Contributeur : Marie-Laure Mugnier <>
Soumis le : lundi 10 décembre 2012 - 22:20:56
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Identifiants

  • HAL Id : lirmm-00763475, version 1

Collections

Citation

Marie-Laure Mugnier. Ontology-Based Query Answering with Existential Rules. Antonis Bikakis and Adrian Giurca. RuleML'2012: 6th International Symposium on Rules: Research Based and Industry Focused, Aug 2012, Montpellier, France. Springer, pp.16, 2012, LNCS. 〈http://dbis.informatik.tu-cottbus.de/ruleml2012/〉. 〈lirmm-00763475〉

Partager

Métriques

Consultations de la notice

166