Web Reasoning and Rule Systems

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

  • Wolfgang Faber
  • Domenico Lembo
Conference proceedings RR 2013

DOI: 10.1007/978-3-642-39666-3

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

Table of contents (26 papers)

  1. Front Matter
  2. Invited Talks

    1. Inconsistency Management for Description Logic Programs and Beyond
      Thomas Eiter, Michael Fink, Daria Stepanova
      Pages 1-3
    2. Reasoning About Pattern-Based XML Queries
      Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
      Pages 4-18
    3. Answer Set Programming: Language, Applications and Development Tools
      Giovanni Grasso, Nicola Leone, Francesco Ricca
      Pages 19-34
  3. Full Papers

    1. A Variant of Earley Deduction with Partial Evaluation
      Stefan Brass, Heike Stephan
      Pages 35-49
    2. Verification and Synthesis in Description Logic Based Dynamic Systems
      Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
      Pages 50-64
    3. Computing Incoherence Explanations for Learned Ontologies
      Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert
      Pages 80-94
    4. An Ontology-Based Reasoning Approach for Electric Power Utilities
      Mohamed Gaha, Arnaud Zinflou, Christian Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny
      Pages 95-108
    5. Conjunctive Queries with Negation over DL-Lite: A Closer Look
      Víctor Gutiérrez-Basulto, Yazmín Ibañez-García, Roman Kontchakov, Egor V. Kostylev
      Pages 109-122
    6. On the Exploration of the Query Rewriting Space with Existential Rules
      Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
      Pages 123-137
    7. Incomplete Information in RDF
      Charalampos Nikolaou, Manolis Koubarakis
      Pages 138-152
    8. RIO: Minimizing User Interaction in Ontology Debugging
      Patrick Rodler, Kostyantyn Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
      Pages 153-167
    9. Eliminating Nonmonotonic DL-Atoms in Description Logic Programs
      Yisong Wang, Thomas Eiter, Jia-Huai You, LiYan Yuan, Yi-Dong Shen
      Pages 168-182
    10. BUNDLE: A Reasoner for Probabilistic Ontologies
      Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
      Pages 183-197
  4. Technical Communications

    1. Rule Revision in Normal DL Logic Programs
      Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang
      Pages 204-209
    2. OBDA and Intermodal Logistics: Active Projects and Applications
      Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella
      Pages 210-215
    3. Semantic Pervasive Advertising
      Lorenzo Carrara, Giorgio Orsi, Letizia Tanca
      Pages 216-222
    4. Semantics for Mapping Relations in SKOS
      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

  • 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