Rule Technologies: Foundations, Tools, and Applications

9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

  • Nick Bassiliades
  • Georg Gottlob
  • Fariba Sadri
  • Adrian Paschke
  • Dumitru Roman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9202)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Michael Genesereth, Eric Kao
      Pages 3-12
    3. Thom Frühwirth
      Pages 13-34
    4. Georg Gottlob, Giorgio Orsi, Andreas Pieris
      Pages 35-53
    5. Johannes Fürnkranz, Tomáš Kliegr
      Pages 54-69
    6. Alexander Artikis, Matthias Weidlich
      Pages 70-80
  3. General RuleML Track

    1. Front Matter
      Pages 81-81
    2. Tarcisio M. Farias, Ana Roxin, Christophe Nicolle
      Pages 97-111
    3. João Paulo Orlando, Mark A. Musen, Dilvan A. Moreira
      Pages 112-126
    4. Dörthe Arndt, Ruben Verborgh, Jos De Roo, Hong Sun, Erik Mannens, Rik Van De Walle
      Pages 127-143
    5. Tara Athan, Roy Bell, Elisa Kendall, Adrian Paschke, Davide Sottara
      Pages 144-160
    6. Sudhir Agarwal, Abhijeet Mohapatra, Michael Genesereth, Harold Boley
      Pages 161-175
    7. Pascual Julián-Iranzo, Ginés Moreno, Carlos Vázquez
      Pages 193-207
    8. Mario Fusco, Davide Sottara, István Ráth, Mark Proctor
      Pages 208-222
  4. Complex Event Processing Track

    1. Front Matter
      Pages 223-223
    2. Megan Katsumi, Michael Grüninger
      Pages 225-240
    3. Ahmad Hasan, Kia Teymourian, Adrian Paschke
      Pages 241-257

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.

The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

Keywords

access control policy answer set programming automated reasoning business rules complex event processing description logics higher order logic knowledge representation and reasoning linked data logic programming markup languages ontologies pattern detection probabilistic reasoning proof theory query answering regulatory compliance semantic Web semantic interoperability transaction logic

Editors and affiliations

  • Nick Bassiliades
    • 1
  • Georg Gottlob
    • 2
  • Fariba Sadri
    • 3
  • Adrian Paschke
    • 4
  • Dumitru Roman
    • 5
  1. 1.Aristotle University of ThessalonikiThessalonikiGreece
  2. 2.University of OxfordOxfordUnited Kingdom
  3. 3.Imperial College LondonLondonUnited Kingdom
  4. 4.Freie Universität BerlinBerlinGermany
  5. 5.SINTEF/University of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-21542-6
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21541-9
  • Online ISBN 978-3-319-21542-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book