Skip to main content
SpringerLink
Log in
Book cover

Web Reasoning and Rule Systems

6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Markus Krötzsch

    1. Department of Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Umberto Straccia

    1. ISTI - CNR, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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 2012.

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 (34 papers)

  1. Front Matter

    Download chapter PDF

  3. Research Papers

    1. A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices

      • Stefan Borgwardt, Rafael Peñaloza
      Pages 9-24

    2. Ontology-Based Governance of Data-Aware Processes

      • Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
      Pages 25-41

    3. Query Patterns for Existential Rules

      • Cristina Civili, Riccardo Rosati
      Pages 42-57

    4. Semantic Independence in DL-Programs

      • Thomas Eiter, Michael Fink, Daria Stepanova
      Pages 58-74

    5. An Update on Query Answering with Restricted Forms of Negation

      • Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov
      Pages 75-89

    6. Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics

      • Víctor Gutiérrez-Basulto, Szymon Klarman
      Pages 90-105

    7. Meta Programming with Answer Sets for Smart Spaces

      • Tomi Janhunen, Vesa Luukkala
      Pages 106-121

    8. A Sound and Complete Backward Chaining Algorithm for Existential Rules

      • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
      Pages 122-138

    9. Deriving Predicate Statistics for Logic Rules

      • Senlin Liang, Michael Kifer
      Pages 139-155

    10. Consistent Answers in Probabilistic Datalog+/– Ontologies

      • Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari
      Pages 156-171

    11. Query Rewriting under Ontology Contraction

      • Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou, George Koletsos
      Pages 172-187

    12. Improving the Recall of Live Linked Data Querying through Reasoning

      • Jürgen Umbrich, Aidan Hogan, Axel Polleres, Stefan Decker
      Pages 188-204

  4. Technical Communications

    1. Distributed Ontology Based Data Access via Logic Programming

      • Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina
      Pages 205-208

    2. Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web

      • Valentinos Evripidou, Francesca Toni
      Pages 209-212

    3. A Polynomial Reduction from ASPDA to ASP

      • Wolfgang Faber
      Pages 213-216

    4. The Definability Abduction Problem for Data Exchange

      • Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov
      Pages 217-220

    5. Rule-Based Context Assessment in Smart Cities

      • Beibei Hu, Theodore Patkos, Abdelghani Chibani, Yacine Amirat
      Pages 221-224
Back to top

Other volumes

  1. Web Reasoning and Rule Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012. The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions. The papers were organized in topical sections on technical communications, algorithms, design aspects of rule markup, design of ontology languages, engineering of engines, translators, and other tools, standardization efforts, such as the Rules Interchange Format activity at W3C, and applications.

Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, UK

    Markus Krötzsch

  • ISTI - CNR, Pisa, Italy

    Umberto Straccia

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation