2000 International Workshop on Description Logics - DL2 000

RWTH Aachen, Germany

August 17 - August 19, 2000

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.

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
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
Visit of the cathedral in Aachen
Social Dinner in the cellar of the old town hall
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

This page maintained by Ulrike Sattler, sattler@cs.rwth-aachen.de.
Comments and suggestions are welcome.