DL2002 Workshop Program

All the sessions are in room "Spot" of the Centre des Congrès Pierre Baudis.

Friday April 19

8:00  -  9:00 Registration
9:00  -  10:15 Invited talk: Patrick Blackburn
10:15  -  10:45 Coffee break
10:45  -  12:30
  • Alex Borgida and Luciano Serafini. Distributed Description Logics: First results

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

  • Maarten Marx. Narcissists, Stepmothers and Spies

  • Alissa Kaplunova, Volker Haarslev and Ralf Möller. Adding ternary complex roles to ALCRP(D)

  • Jeff Z. Pan and Ian Horrocks. Reasoning in the SHOQ(Dn) Description Logic
12:30 -  14:30 Lunch
14:30  -  16:00
  • Franz Baader and Ralf Küsters. Unification in a Description Logic with Inconsistency and Transitive Closure of Roles

  • Jan Hladik. Implementing a Tableau Algorithm for the Guarded Fragment

  • Volker Haarslev and Ralf Möller. Optimization Strategies for Instance Retrieval: Research Note

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

  • Ian Horrocks. Backtracking and Qualified Number Restrictions: Some Preliminary Results
16:00  -  16:30 Coffee break
16:30  -  18:00
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. 2ATAs make DLs easy

Discussion panel: Reasoning in DLs

Saturday April 20

9:00  -  10:15 Invited talk: Andrei Voronkov
10:15  -  10:45 Coffee break
10:45  -  12:30
  • Peter F. Patel-Schneider. Two Proposals for a Semantic Web Ontology Language

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

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

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

  • Michael Wessel. On Spatial Reasoning with Description Logics - Position Paper
12:30 -  14:30 Lunch
14:30  -  16:15
  • Sebastian Brandt, Ralf Küsters and Anni-Yasmin Turhan. Approximating ALCN-Concept Descriptions

  • Mohand-Saïd Hacid, Alain Leger, Christophe Rey and Farouk Toumani. Computing concept covers: a preliminary report

  • Carsten Lutz. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies

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

  • Jean-Luc Metzger. Using DL for a Case-Based Explanation System

  • Huizhu Liu, David Toman, and Grant Weddell. Fine Grained Information Integration with Description Logics
16:15  -  16:45 Coffee break
16:45  -  18:00
DL2002 Wrap up session

Discussion about next DL and Dig Workshops
19:00  -  ... Social Dinner

Sunday April 21 (Joint session with KRDB)

9:00  -  10:15 Invited talk: Maurizio Lenzerini
10:15  -  10:30 Coffee break
10:45  -  12:30
  • Francois Goasdoue and Marie-Christine Rousset. Compilation and approximation of conjunctive queries by concept descriptions

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

  • Martin Peim, Enrico Franconi and Norman W. Paton. Estimating Soundness and Completeness over Queries Over Description Logics

  • Mathieu Roger, Ana Simonet and Michel Simonet. Toward Updates in Description Logics

Sergio Tessaris 2002-03-25