| Vol-53 © 2002 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# Proceedings of the

| # 2002 International Workshop on Description Logics (DL2002)

Toulouse, France
April 19-21, 2002

Edited by
Ian Horrocks and Sergio Tessaris
University of Manchester, UK

KRDB 2002 (CEUR-WS.org/Vol-54) held a joint session with DL 2002 (CEUR-WS.org/Vol-53). They share thus some papers in their volumes.

## Table of Contents

Preface

### Invited Talks

Hybrid Logic and Description Logic
Patrick Blackburn

First-Order Theorem Provers: the Next Generation
Andrei Voronkov

Incompleteness and inconsistency in information integration
Maurizio Lenzerini

### Theory

Distributed Description Logics: First results
Alex Borgida and Luciano Serafini

On the relationship between decidable fragments, non-classical logics, and description logics
Lilia Georgieva, Ullrich Hustadt and Renate A. Schmidt

Narcissists, Stepmothers and Spies
Maarten Marx

Adding ternary complex roles to
Alissa Kaplunova, Volker Haarslev and Ralf Möller

Reasoning in the Description Logic
Jeff Z. Pan and Ian Horrocks

Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
Franz Baader and Ralf Küsters

### Reasoning Mechanisms

Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment
Jan Hladik

Optimization Strategies for Instance Retrieval
Volker Haarslev and Ralf Möller

Practical Reasoning in RACER with a Concrete Domain for Linear Inequations
Volker Haarslev and Ralf Möller

Backtracking and Qualified Number Restrictions: Some Preliminary Results
Ian Horrocks

2ATAs make DLs easy
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini

### Applications of DLs

Two Proposals for a Semantic Web Ontology Language
Peter F. Patel-Schneider

A proposal for describing services with DLs
Carsten Lutz and Ulrike Sattler

Combining XML and DL for describing and querying documents
Rim Alhulou and Amedeo Napoli

Using DL for a Case-Based Explanation System
Jean-Luc Metzger, Florence Le Ber, Amedeo Napoli

Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies
Alan Rector

On Spatial Reasoning with Description Logics - Position Paper
Michael Wessel

Approximating -Concept Descriptions
Sebastian Brandt, Ralf Küsters and Anni-Yasmin Turhan

Computing Concept Covers: a Preliminary Report
Mohand-Saïd Hacid, Alain Leger, Christophe Rey and Farouk Toumani

Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Carsten Lutz

Using Description Logic in Object-Oriented Software Development
Ragnhild Van Der Straeten

Fine Grained Information Integration with Description Logics
Huizhu Liu, David Toman, and Grant Weddell

### Joint Session with KRDB

Compilation and approximation of conjunctive queries by concept descriptions
Francois Goasdoue and Marie-Christine Rousset

Querying Objects with Description Logics
Martin Peim, Enrico Franconi, Norman W. Paton and Carole A. Goble

Estimating Soundness and Completeness over Queries Over Description Logics (KRDB submission)
Martin Peim, Enrico Franconi and Norman W. Paton

Toward Updates in Description Logics (KRDB submission)
Mathieu Roger, Ana Simonet and Michel Simonet

### Abstracts

Statement of interest
Daniela Berardi

Decidability of Expressive Description Logics with Role Compositions
Fabio Grandi

Description Logic in Semantics Querying
Gilles Nachouki and Mohamad Quafafou

Algebraic Lattices and Description Logics
Nikolaj Oldager

Research Interests
Mathieu Roger

Submitted to CEUR-WS by Sergio Tessaris.
Last modified: 8-Jul-2003/M. Jeusfeld