Advertisement

Rule Technologies. Research, Tools, and Applications

10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

  • Jose Julio Alferes
  • Leopoldo Bertossi
  • Guido Governatori
  • Paul Fodor
  • Dumitru Roman

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9718)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9718)

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Neng-Fa Zhou
      Pages 3-18
    3. Harold Boley
      Pages 19-33
  3. General RuleML Track

    1. Front Matter
      Pages 35-35
    2. Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin
      Pages 53-67
    3. Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
      Pages 68-82
    4. Olivier Wang, Leo Liberti, Claudia D’Ambrosio, Christian de Sainte Marie, Changhai Ke
      Pages 83-96
    5. Stefania Costantini, Giovanni De Gasperis
      Pages 97-112
    6. Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar
      Pages 113-129
  4. Smart Contracts, Blockchain and Rules

    1. Front Matter
      Pages 149-149
    2. Bill Marino, Ari Juels
      Pages 151-166
    3. Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor
      Pages 167-183
  5. Constraint Handling Rules

  6. Legal Rules and Reasoning

    1. Front Matter
      Pages 239-239
    2. Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield
      Pages 241-257
    3. Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O’Brien
      Pages 258-266
  7. Rule- and Ontology-Based Data Access and Transformation

    1. Front Matter
      Pages 267-267
    2. Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao
      Pages 269-286
    3. Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà
      Pages 287-304
  8. Rule Induction and Learning

    1. Front Matter
      Pages 305-305
    2. Greg Harris, Anand Panangadan, Viktor K. Prasanna
      Pages 307-321
  9. Event Driven Architectures and Active Database Systems

    1. Front Matter
      Pages 323-323
    2. George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou
      Pages 325-340
    3. William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi
      Pages 341-349
  10. Back Matter
    Pages 351-351

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.

The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions. 

RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules. 

Keywords

description logics knowledge reasoning logic programming markup languages ontologies

Editors and affiliations

  • Jose Julio Alferes
    • 1
  • Leopoldo Bertossi
    • 2
  • Guido Governatori
    • 3
  • Paul Fodor
    • 4
  • Dumitru Roman
    • 5
  1. 1.Universidade Nova de LisboaLisboaPortugal
  2. 2.Carleton UniversityOttawaCanada
  3. 3.NICTA QueenslandBrisbaneAustralia
  4. 4.Stony Brook UniversityStony BrookUSA
  5. 5.SINTEF/University of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-42019-6
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-42018-9
  • Online ISBN 978-3-319-42019-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site