[CEUR Workshop Proceedings] 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 Harmelen 1) , Andreas Herzig 2) , Pascal Hitzler 3)
Zuoquan Lin 4) , Ruzica Piskac 5) , and Guilin Qi 3)

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