Skip to main content
SpringerLink
Log in
Book cover

Web Reasoning and Rule Systems

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Axel Polleres

    1. Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Terrance Swift

    1. Departamento de Informatica, FCT/UNL, Centre for Artificial Intelligence (CENTRIA), Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: RR 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers and Tutorial

    1. Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

      • Robert Kowalski, Fariba Sadri
      Pages 1-23

    2. SILK: Higher Level Rules with Defaults and Semantic Scalability

      • Benjamin N. Grosof
      Pages 24-25

    3. Uncertainty Reasoning for the Semantic Web

      • Thomas Lukasiewicz
      Pages 26-39

  3. Proof/Deduction Procedures

    1. A Preferential Tableaux Calculus for Circumscriptive \({\mathcal ALCO}\)

      • Stephan Grimm, Pascal Hitzler
      Pages 40-54

    2. A Reasoner for Simple Conceptual Logic Programs

      • Stijn Heymans, Cristina Feier, Thomas Eiter
      Pages 55-70

    3. Search for More Declarativity

      • Simon Brodt, François Bry, Norbert Eisinger
      Pages 71-86

  4. Scalability

    1. Distributed Resolution for Expressive Ontology Networks

      • Anne Schlicht, Heiner Stuckenschmidt
      Pages 87-101

    2. Scalable Web Reasoning Using Logic Programming Techniques

      • Gergely Lukácsy, Péter Szeredi
      Pages 102-117

    3. On the Ostensibly Silent ‘W’ in OWL 2 RL

      • Aidan Hogan, Stefan Decker
      Pages 118-134

  5. Uncertainty

    1. Answer Sets in a Fuzzy Equilibrium Logic

      • Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
      Pages 135-149

    2. Belief Logic Programming with Cyclic Dependencies

      • Hui Wan
      Pages 150-165

    3. A Minimal Deductive System for General Fuzzy RDF

      • Umberto Straccia
      Pages 166-181

  6. Knowledge Amalgamation and Querying

    1. An Efficient Method for Computing Alignment Diagnoses

      • Christian Meilicke, Heiner Stuckenschmidt
      Pages 182-196

    2. Paraconsistent Reasoning for OWL 2

      • Yue Ma, Pascal Hitzler
      Pages 197-211

    3. A Formal Theory for Modular ERDF Ontologies

      • Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
      Pages 212-226

    4. The Perfect Match: RPL and RDF Rule Languages

      • François Bry, Tim Furche, Benedikt Linse
      Pages 227-241

  7. Rules for Decision Support and Production Systems

    1. A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology

      • Matt-Mouley Bouamrane, Alan Rector, Martin Hurrell
      Pages 242-253

    2. A Logic Based Approach to the Static Analysis of Production Systems

      • Jos de Bruijn, Martín Rezk
      Pages 254-268

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Reasoning and Rule Systems

Keywords

About this book

ThepromiseoftheSemanticWeb,atits most expansive, is to allow knowledge to be freely accessed and exchanged by software. It is now recognized that if the SemanticWebis to containdeepknowledge,theneedfornewrepresentationand reasoning techniques is going to be critical. These techniques need to ?nd the righttrade-o?betweenexpressiveness,scalabilityandrobustnesstodealwiththe inherently incomplete, contradictory and uncertain nature of knowledge on the Web. The International Conference on Web Reasoning and Rule Systems (RR) was founded to address these needs and has grown into a major international forum in this area. The third RR conference was held during October 25–26, 2009 in Chantilly, Virginia, co-located with the International Semantic Web Conference (ISWC 2009). This year 41 papers were submitted from authors in 21 countries. The P- gram Committee performed outstandingly to ensure that each paper submitted to RR 2009 was thoroughly reviewed by at least three referees in a short - riod of time. The resulting conference presented papers of high quality on many of the key issues for reasoning on the Semantic Web. RR 2009 was fortunate to have two distinguished invited speakers. Robert Kowalski, in his talk “- tegrating Logic Programming and Production Systems with Abductive Logic Programming Agents” addressed some of the fundamental considerations - hind reasoning about evolving systems. Benjamin Grossof’s talk “SILK: Higher Level Rules with Defaults and Semantic Scalability” described the design of a major next-generation rule system. The invited tutorial “Uncertainty Reas- ing for the Semantic Web” by Thomas Lukasiewicz provided perspectives on a central issue in this area.

Editors and Affiliations

  • Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland

    Axel Polleres

  • Departamento de Informatica, FCT/UNL, Centre for Artificial Intelligence (CENTRIA), Caparica, Portugal

    Terrance Swift

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation