DL2002 -- accepted papers


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

Number: 3
Title: Narcissists, Stepmothers and Spies
Author: Maarten Marx

Number: 4
Title: Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
Author: Franz Baader and Ralf Kuesters

Number: 5
Title: Two Proposals for a Semantic Web Ontology Language
Author: Peter F. Patel-Schneider

Number: 6
Title: Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Author: Carsten Lutz

Number: 7
Title: Implementing a Tableau Algorithm for the Guarded Fragment
Author: Jan Hladik

Number: 10
Title: Computing concept covers: a preliminary report
Author: M.S. Hacid, A. Leger, C. Rey and F.Toumani

Number: 11
Title: Approximating ALCN-Concept Descriptions
Author: Sebastian Brandt, Ralf Küsters, and Anni-Yasmin Turhan

Number: 12
Title: Optimization Strategies for Instance Retrieval: Research Note
Author: Volker Haarslev and Ralf Möller

Number: 13
Title: Using Description Logic in Object-Oriented Software Development
Author: Ragnhild Van Der Straeten

Number: 14
Title: Distributed Description Logics: First results
Author: A. Borgida and L. Serafini

Number: 15
Title: 2ATAs make DLs easy
Author: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini

Number: 16
Title: A proposal for describing services with DLs
Author: Carsten Lutz and Ulrike Sattler

Number: 17
Title: Practical Reasoning in RACER with a Concrete Domain for Linear Inequations
Author: Volker Haarslev, Ralf Moeller

Number: 18
Title: Combining XML and DL fo content-based manipulation of documents
Author: Rim Alhulou and Amedeo Napoli

Number: 20
Title: Using DL for a Case-Based Explanation System
Author: Jean-Luc Metzger

Number: 21
Title: Adding ternary complex roles to ALCRP(D). Draft version.
Author: A. Kaplunova and V. Haarslev and R. Möller

Number: 23
Title: Fine Grained Information Integration with Description Logics
Author: Huizhu Liu, David Toman, and Grant Weddell

Number: 24
Title: Compilation and approximation of conjunctive queries by concept descriptions.
Author: Francois Goasdoue and Marie-Christine Rousset

Number: 25
Title: Backtracking and Qualified Number Restrictions: Some Preliminary Results
Author: Ian Horrocks

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

Number: 27
Title: Reasoning in the SHOQ(Dn) Description Logic
Author: Jeff Z. Pan and Ian Horrocks

Number: 28
Title: Querying Objects with Description Logics
Author: Martin Peim, Enrico Franconi, Norman W. Paton and Carole A. Goble

Number: 29
Title: On Spatial Reasoning with Description Logics -- Position Paper
Author: Michael Wessel

Maintainer:
Sergio Tessaris
Last modified: Fri Mar 1 14:37:59 GMT 2002