Web Reasoning and Rule Systems

7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

  • Wolfgang Faber
  • Domenico Lembo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7994)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thomas Eiter, Michael Fink, Daria Stepanova
      Pages 1-3
    2. Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
      Pages 4-18
    3. Giovanni Grasso, Nicola Leone, Francesco Ricca
      Pages 19-34
  3. Full Papers

    1. Stefan Brass, Heike Stephan
      Pages 35-49
    2. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
      Pages 50-64
    3. Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert
      Pages 80-94
    4. Mohamed Gaha, Arnaud Zinflou, Christian Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny
      Pages 95-108
    5. Víctor Gutiérrez-Basulto, Yazmín Ibañez-García, Roman Kontchakov, Egor V. Kostylev
      Pages 109-122
    6. Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
      Pages 123-137
    7. Charalampos Nikolaou, Manolis Koubarakis
      Pages 138-152
    8. Patrick Rodler, Kostyantyn Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
      Pages 153-167
    9. Yisong Wang, Thomas Eiter, Jia-Huai You, LiYan Yuan, Yi-Dong Shen
      Pages 168-182
    10. Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
      Pages 183-197
  4. Technical Communications

    1. Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang
      Pages 204-209
    2. Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella
      Pages 210-215
    3. Lorenzo Carrara, Giorgio Orsi, Letizia Tanca
      Pages 216-222
    4. Mika Cohen
      Pages 223-228

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013.
The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation.

Keywords

distribution semantics logic programming ontologies program verification semantic Web

Editors and affiliations

  • Wolfgang Faber
    • 1
  • Domenico Lembo
    • 2
  1. 1.Department of Mathematics and Computer ScienceUniversity of CalabriaRendeItaly
  2. 2.Department of Computer, Control, and Management Engineering Antonio RubertiSapienza University of RomeRomaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39666-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39665-6
  • Online ISBN 978-3-642-39666-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349