[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 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