Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules

Abstract

This paper is devoted to formats and translations for Datalog+. We first introduce the dlgp format, which extends classical Datalog format to Datalog+. It allows to encode facts, existential rules (including equality), negative constraints and conjunctive queries. Moreover, for compatibility with Semantic Web languages, this format includes Web notions… (More)

Topics

7 Figures and Tables

Cite this paper

@inproceedings{Baget2015DatalogRA, title={Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules}, author={Jean-François Baget and Alain Gutierrez and Michel Lecl{\`e}re and Marie-Laure Mugnier and Swan Rocher and Cl{\'e}ment Sipieter}, booktitle={Challenge+DC@RuleML}, year={2015} }