Theory, Practice, and Applications of Rules on the Web

7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

  • Leora Morgenstern
  • Petros Stefaneas
  • François Lévy
  • Adam Wyner
  • Adrian Paschke
Conference proceedings RuleML 2013

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Tutorials

    1. Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner
      Pages 13-18
  4. Technical Papers, Main Track

    1. Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé
      Pages 68-83
    2. Christoph Frenzel, Henning Sanneck, Bernhard Bauer
      Pages 84-98
    3. Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani
      Pages 99-113
    4. Guido Governatori, Antonino Rotolo
      Pages 114-128
    5. Philipp Herzig, Bernhard Wolf, Svenja Brunstein, Alexander Schill
      Pages 129-143
    6. Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, Ioannis Kompatsiaris
      Pages 144-157
    7. Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon
      Pages 158-172
    8. Hao Xu, Arcot Rajasekar, Reagan W. Moore, Mike Wan
      Pages 203-217
  5. Technical Papers, Human Language Technology Track: Translating between Human-Created Regulations and Formal Rules

    1. William R. Murray, Philip Harrison, Tomas Singliar
      Pages 226-233
    2. Adeline Nazarenko, François Lévy
      Pages 234-248
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.


contextual reasoning defeasible logic ontologies proactive management spatiotemporal reasoning

Editors and affiliations

  • Leora Morgenstern
    • 1
  • Petros Stefaneas
    • 2
  • François Lévy
    • 3
  • Adam Wyner
    • 4
  • Adrian Paschke
    • 5
  1. 1.SAIC / LeidosArlingtonUSA
  2. 2.School of Applied Mathematics and PhysicsNational Technical University of AthensAthensGreece
  3. 3.Université Paris 13ParisFrance
  4. 4.Department of Computing ScienceUniversity of AberdeenAberdeenUK
  5. 5.Corporate Semantic WebFreie Universität, Institut für InformatikBerlinGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-39616-8
  • Online ISBN 978-3-642-39617-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site