Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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

Jean-François Baget
Alain Gutierrez
Michel Leclère
Swan Rocher
  • Function : Author
  • PersonId : 951324
Clément Sipieter

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 (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.

Keywords

Fichier principal
Vignette du fichier
paper9.pdf (248.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01172069 , version 1 (29-06-2019)

Identifiers

  • HAL Id : hal-01172069 , version 1

Cite

Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, et al.. Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. ⟨hal-01172069⟩
270 View
77 Download

Share

Gmail Facebook X LinkedIn More