| Vol-350 Copyright © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

# ARea2008
Workshop on Advancing Reasoning on the Web: Scalability and Commonsense

### Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense
Tenerife, Spain, June 2, 2008.

Edited by

### Frank van Harmelen1), Andreas Herzig2), Pascal Hitzler3)
Zuoquan Lin4), Ruzica Piskac5), and Guilin Qi3)

1) Knowledge Representation and Reasoning Group, Faculty of Sciences - Vrije Universiteit Amsterdam, Netherlands
2) Logic, Interaction, Language, and Computation Group, Université Paul Sabatier, Toulouse, France
3) Institut AIFB, University of Karlsruhe, Germany
4) Department of Information Science, Peking University, Beijing, China
5) Laboratory for Automated Reasoning and Analysis, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland

## Table of Contents

Preface

1. Benchmarking OWL Reasoners
   Jürgen Bock, Peter Haase, Qiu Ji, Raphael Volz
2. IRIS - Integrated Rule Inference System
   Barry Bishop, Florian Ficsher
3. Representation of Context-Dependant Relevance Relations with Fuzzy Ontologies
   Fernando Bobillo, Miguel Delgado, and Juan Gómez-Romero
4. Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An experimental evaluation
   Philipp Cimiano, Peter Haase, Qiu Ji, T. Mailis, Giorgos B. Stamou, Giorgos Stoilos, Thanh Tran, Vassilis Tzouvaras
5. Distributed Resolution for ALC - First Results
   Anne Schlicht, Heiner Stuckenschmidt
6. Defeasible Inference with Circumscribed OWL Ontologies
   Stephan Grimm, Pascal Hitzler
7. A Cost Model for Querying Distributed RDF-Repositories with SPARQL
   Philipp Obermeier, Lyndon Nixon
8. Supporting Identity Reasoning in SPARQL Using Bloom Filters
   Gregory Todd Williams

29-May-2008: submitted by R. Piskac
29-May-2008: published on CEUR-WS.org