Web Reasoning and Rule Systems

1. Front Matter

   PDF

2. Invited Talks

   1. Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively

      • Gerhard Brewka

      Pages 1-4

   2. Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios

      • Tommaso Di Noia

      Pages 5-8

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

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.

• context-awareness
• logic programming
• ontologies
• rule-based reasoning
• semantic Web

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

  Markus Krötzsch

• ISTI - CNR, Pisa, Italy

  Umberto Straccia

Policies and ethics