[CEUR Workshop Proceedings] 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

DL Home

2002 International Workshop on
Description Logics (DL2002)


Toulouse, France
April 19-21, 2002

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


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 ALCRP(D)
Alissa Kaplunova, Volker Haarslev and Ralf Möller

Reasoning in the SHOQ(Dn) 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

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