Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
| Autor: | Baget, Jean-François, Gutierrez, Alain, Leclère, Michel, Mugnier, Marie-Laure, Rocher, Swan, Sipieter, Clément |
|---|---|
| Přispěvatelé: | Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM) |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | 9th International Web Rule Symposium RuleML: Web Rule Symposium RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|