International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML 2014: Rules on the Web. From Theory to Applications pp 112-126

A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research

  • Harold Boley
  • Rolf Grütter
  • Gen Zou
  • Tara Athan
  • Sophia Etzold
Conference paper

DOI: 10.1007/978-3-319-09870-8_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8620)
Cite this paper as:
Boley H., Grütter R., Zou G., Athan T., Etzold S. (2014) A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. In: Bikakis A., Fodor P., Roman D. (eds) Rules on the Web. From Theory to Applications. RuleML 2014. Lecture Notes in Computer Science, vol 8620. Springer, Cham

Abstract

Rule-Based Data Access (RBDA) enables automated reasoning over a knowledge base (KB) as a generalized global schema for the data in local (e.g., relational or graph) databases reachable through mappings. RBDA can semantically validate, enrich, and integrate heterogeneous data sources. This paper proposes an RBDA architecture layered on Datalog+ RuleML, and uses it for the ΔForest case study on the susceptibility of forests to climate change. Deliberation RuleML 1.01 was mostly motivated by Datalog customization requirements for RBDA. It includes Datalog+ RuleML 1.01 as a standard XML serialization of Datalog+, a superlanguage of the decidable Datalog±. Datalog+ RuleML is customized into the three Datalog extensions Datalog[∃], Datalog[=], and Datalog[\(\bot\)] through MYNG, the RuleML Modular sYNtax confiGurator generating (Relax NG and XSD) schemas from language-feature selections. The ΔForest case study on climate change employs data derived from three main forest monitoring networks in Switzerland. The KB includes background knowledge about the study sites and design, e.g., abundant tree species groups, pure tree stands, and statistical independence among forest plots. The KB is used to rewrite queries about, e.g., the eligible plots for studying a particular species group. The mapping rules unfold our newly designed global schema to the three given local schemas, e.g. for the grade of forest management. The RBDA/ΔForest case study has shown the usefulness of our approach to Ecosystem Research for global schema design and demonstrated how automated reasoning can become key to knowledge modeling and consolidation for complex statistical data analysis.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Harold Boley
    • 1
  • Rolf Grütter
    • 2
  • Gen Zou
    • 1
  • Tara Athan
    • 3
  • Sophia Etzold
    • 2
  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada
  2. 2.Swiss Federal Research Institute WSLBirmensdorfSwitzerland
  3. 3.Athan Services (athant.com)West LafayetteUSA

Personalised recommendations