Web Reasoning and Rule Systems

Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

  • Axel Polleres
  • Terrance Swift
Conference proceedings RR 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers and Tutorial

  3. Proof/Deduction Procedures

    1. Stijn Heymans, Cristina Feier, Thomas Eiter
      Pages 55-70
    2. Simon Brodt, François Bry, Norbert Eisinger
      Pages 71-86
  4. Scalability

    1. Anne Schlicht, Heiner Stuckenschmidt
      Pages 87-101
    2. Gergely Lukácsy, Péter Szeredi
      Pages 102-117
    3. Aidan Hogan, Stefan Decker
      Pages 118-134
  5. Uncertainty

    1. Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
      Pages 135-149
    2. Umberto Straccia
      Pages 166-181
  6. Knowledge Amalgamation and Querying

    1. Christian Meilicke, Heiner Stuckenschmidt
      Pages 182-196
    2. Yue Ma, Pascal Hitzler
      Pages 197-211
    3. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
      Pages 212-226
    4. François Bry, Tim Furche, Benedikt Linse
      Pages 227-241
  7. Rules for Decision Support and Production Systems

  8. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Third International Conference on Web Reasoning and Rule Systems, RR 2009, held in Chantilly, VA, USA, in October 2009.

The 15 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 41 submissions. The papers address all current topics in Web reasoning and rule systems such as proof/deduction procedures, scalability, uncertainty, knowledge amalgamation and querying, and rules for decision support and production systems.

Keywords

ALC DLP approximate reasoning authority circumscription decision support system description logic distributed ontologies four-valued logic fuzzy description logic inconsistency handling ontology programming semantic web structured analysis

Editors and affiliations

  • Axel Polleres
    • 1
  • Terrance Swift
    • 2
  1. 1.Digital Enterprise Research Institute (DERI)National University of IrelandGalwayIreland
  2. 2.Departamento de Informatica, FCT/UNLCentre for Artificial Intelligence (CENTRIA)CaparicaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-05082-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-05081-7
  • Online ISBN 978-3-642-05082-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book