Workshop Program

	Invited talk, 50 min + 10 min discussion
	Presentation of regular paper, 20 min + 5 min discussion
	Presentation of long paper, 25 min + 5 min discussion
	Non-technical activities

  A video-beamer will be available for Powerpoint-style presentations. If you want to use it, please bring your own laptop.

Thursday, August 17	13:00 - 14:30 C. Goble : What have the Romans (and Germans) ever done for us? or There are real applications for Description Logics some of which even take advantage of their reasoning services S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra: Knowledge Representation on the Web 15:00 - 16:15 J. Bermudez and A. Illaramendi: A DL to describe classes of queries and mapping information of an interoperable data system S. Bechhofer and I. Horrocks: Driving User Interfaces from FaCT M. Kullmann, F. de B. de Bertrand, and F. Rousselot: A Description Logic Model for Reacting in a Dynamic Environment 16:45 - 18:00 F. Baader, C. Lutz, H. Sturm, and F. Wolter: Fusions of Description Logics E. Goncalves and E. Grädel: Decidability Issues for Action Guarded Logics J. Hladik: Implementing the n-ary DL GF1- 18:05 - ?? Welcome Reception
Friday, August 18	9:00 - 10:00 D. Harel: From Play-In Scenarios To Code: An Achievable Dream 10:30 - 12:15 C. Lutz and U. Sattler: Mary likes all Cats M. Wessel, V. Haarslev, and R. Moeller: ALCRA - ALC with Role Axioms I. Horrocks and S. Tobies: Optimisation of Terminological Reasoning E. Valencia and J.-P. Sansonnet: Simplicial Representation for Description Logics 14:00 - 15:45 D. Calvanese, G. de Giacomo, and M. Lenzerini: Keys for Free in Description Logics V. L. Khizder, D. Toman, and G. Weddell: On Decidability and Complexity of Description Logics with Uniqueness Constraints I. Horrocks and S. Tessaris: Answering Conjunctive Queries over DL Aboxes: A Preliminary Report F. Goasdoue and M.-C. Rousset: Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions 16:15 - 17:30 A. Borgida and R. Kuesters: What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases E. Franconi, F. Grandi, and F. Mandreoli: Description Logics for Schema Evolution DL Business Meeting 19:00 Visit of the cathedral in Aachen 20:00 Social Dinner in the cellar of the old town hall
Saturday, August 19	9:00 - 10:00 P. Devanbu: Leveraging Knowledge Bases, a decade ago, and now 10:30 - 12:15 P. F. Patel-Schneider: What's New in DLP V. Haarslev and R. Moeller: High Performance Reasoning with Very Large Knowledge Bases A.-Y. Turhan and V. Haarslev: Adapting Optimization Techniques to Description Logics with Concrete Domains V. Haarslev and R. Moeller: Optimizing TBox/ABox Reasoning with Pseudo Models 14:00 - 15:15 L. Badea and S. Cheng: Refining Concepts in Description Logics M-S. Hacid, F. Soualmia and F. Toumani: Schema Extraction for Semi-Structured Data J. Alvarez: TBox Acquisition and Information Theory S. Schlobach: Assertional Data Mining in Description Logics 15:15 - 16:00 Conclusion of DL2000