Sciweavers

Share
RULEML
2015
Springer

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

3 years 1 days ago
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
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 (IRIs and literals, according to Turtle syntax). Second, we define a translation from dlgp to the Datalog+ fragment of RuleML. Third, we define a translation from OWL 2 to dlgp. We point out that the composition of both translations allows to import OWL 2 to RuleML. The associated parsers and translators are available.
Jean-François Baget, Alain Gutierrez, Miche
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RULEML
Authors Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
Comments (0)
books