Skip to main content
SpringerLink
Log in
Book cover

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

RuleML 2014: Rules on the Web. From Theory to Applications pp 112–126Cite as

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

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8620))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Calvanese, D., et al.: Optique: OBDA solution for big data. In: Cimiano, P., Fernández, M., Lopez, V., Schlobach, S., Völker, J. (eds.) ESWC 2013. LNCS, vol. 7955, pp. 293–295. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  2. Baget, J.-F., Croitoru, M., da Silva, B.P.L.: ALASKA for ontology based data access. In: Cimiano, P., Fernández, M., Lopez, V., Schlobach, S., Völker, J. (eds.) ESWC 2013. LNCS, vol. 7955, pp. 157–161. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  3. Kühn, E., Puntigam, F., Elmagarmid, A.K.: Multidatabase transaction and query processing in logic. In: Elmagarmid, A.K. (ed.) Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers (1991)

    Google Scholar 

  4. Lakshmanan, L.V.S., Sadri, F., Subramanian, I.N.: On the logical foundations of schema integration and evolution in heterogeneous database systems. In: Ceri, S., Tsur, S., Tanaka, K. (eds.) DOOD 1993. LNCS, vol. 760, pp. 81–100. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  5. Bassiliades, N., Vlahavas, L., Elmagarmid, A.K., Houstis, E.N.: InterBase-KB: Integrating a knowledge base system with a multidatabase system for data warehousing. IEEE Transactions on Knowledge and Data Engineering 15(5), 1188–1205 (2003)

    Article  Google Scholar 

  6. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The MASTRO system for ontology-based data access. Semantic Web Journal 2(1), 43–53 (2011)

    Google Scholar 

  7. De Virgilio, R., Orsi, G., Tanca, L., Torlone, R.: NYAYA: A system supporting the uniform management of large sets of semantic data. In: IEEE 28th International Conference on Data Engineering, pp. 1309–1312 ( April 2012)

    Google Scholar 

  8. Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Parallel materialisation of Datalog programs in centralised, main-memory RDF systems. To appear in AAAI (2014)

    Google Scholar 

  9. Rigling, A., Zingg, A.: Relative Mortalität als Indikator für die Sensitivität von Waldbeständen. WSL Projekt, Bew-Pin 201104N0134

    Google Scholar 

  10. Calì, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. Journal of Web Semantics 14, 57–83 (2012)

    Article  Google Scholar 

  11. Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  12. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles, W3C Recommendation, 2nd edn. (October 2009), http://www.w3.org/TR/owl2-profiles/

  13. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, WWW 2003, pp. 48–57 (2003)

    Google Scholar 

  14. Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D.: RIF Core Dialect, W3C Recommendation, 2nd edn. (February 2013), http://www.w3.org/TR/rif-core/

  15. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Trans. Database Syst. 22(3), 364–418 (1997)

    Article  Google Scholar 

  16. Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: Rewriting and optimization. In: Abiteboul, S., Böhm, K., Koch, C., Tan, K.L. (eds.) Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, pp. 2–13. IEEE Computer Society, Hannover (2011)

    Chapter  Google Scholar 

  17. Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Query processing under GLAV mappings for relational and graph databases. Proc. of the VLDB Endowment 6(2), 61–72 (2012)

    Article  Google Scholar 

  18. Cuenca Grau, B., Motik, B., Stoilos, G., Horrocks, I.: Computing Datalog rewritings beyond Horn ontologies. In: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence, IJCAI 2013 (2013)

    Google Scholar 

  19. Athan, T., Boley, H.: Design and implementation of highly modular schemas for XML: Customization of RuleML. In: Palmirani, M., Sottara, D., Olken, F. (eds.) RuleML - America 2011. LNCS, vol. 7018, pp. 17–32. Springer, Heidelberg (2011)

    Google Scholar 

  20. Rodríguez-Muro, M., Kontchakov, R., Zakharyaschev, M.: Ontology-based data access: Ontop of databases. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 558–573. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  21. Boley, H.: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 194–211. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  22. Pretzsch, H., Biber, P.: A Re-evaluation of Reineke’s rule and stand density index. For. Sci. 51, 304–320 (2005)

    Google Scholar 

  23. Reineke, L.: Perfecting a stand density index for even-aged forests. J. Agric. Res. 46, 627–638 (1933)

    Google Scholar 

  24. Schütz, J.P., Zingg, A.: Improving estimations of maximal stand density by combining Reineke’s size-density rule and yield level, using the example of spruce (Picea abies (L.) Karst.) and European Beech (Fagus sylvatica L.). Ann. For. Sci. 67 (2010)

    Google Scholar 

  25. Zingg, A., Bachofen, H.: Wachstumsforschung an der WSL. Schweizer Wald 134(9), 15–23 (1998)

    Google Scholar 

  26. Brang, P., Commarmot, B., Rohrer, L., Bugmann, H.: Monitoringkonzept für Naturwaldreservate in der Schweiz. Eidg. Forschungsanstalt für Wald, Schnee und Landschaft WSL; ETH Zürich, Professur für Waldökologie, Birmensdorf, Zürich (February 2008), http://www.wsl.ch/publikationen/pdf/8555.pdf

  27. Dobbertin, M., Kindermann, G., Neumann, M.: Analysis of forest growth data on intensive monitoring plots. In: Fischer, R., Lortenz, M. (eds.) Forest Condition in Europe: Technical Report of ICP Forests and FutMon, pp. 115–127. Institute for World Forestry, Hamburg (2011)

    Google Scholar 

  28. Bak, J., Brzykcy, G.z., Jedrzejek, C.: Extended rules in knowledge-based data access. In: Palmirani, M., Sottara, D., Olken, F. (eds.) RuleML - America 2011. LNCS, vol. 7018, pp. 112–127. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science, University of New Brunswick, Fredericton, Canada

    Harold Boley & Gen Zou

  2. Swiss Federal Research Institute WSL, Birmensdorf, Switzerland

    Rolf Grütter & Sophia Etzold

  3. Athan Services (athant.com), West Lafayette, Indiana, USA

    Tara Athan

Authors
  1. Harold Boley
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rolf Grütter
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gen Zou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tara Athan
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Sophia Etzold
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Studies, University College London, Gower Street, WC1E 6BT, London, UK

    Antonis Bikakis

  2. Department of Computer Science, Stony Brook University, 11794, Stony Brook, NY, USA

    Paul Fodor

  3. SINTEF, University of Oslo, Forskningsveien 1, 0314, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-319-09870-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-09870-8_8

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-09869-2

  • Online ISBN: 978-3-319-09870-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation