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.

Mots clés

Graal Datalog+ OWL2 RuleML

Domaines

Intelligence artificielle [cs.AI]

Fichier principal

paper9.pdf (248.06 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Jean-François Baget : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01172069

Soumis le : samedi 29 juin 2019-20:25:32

Dernière modification le : mercredi 5 juillet 2023-17:05:30

Dates et versions

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

Identifiants

HAL Id : hal-01172069 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA GRAPHIK LIRMM INRIA2 MIPS UNIV-MONTPELLIER

271 Consultations

80 Téléchargements