Program of the

DL Home

2007 International Workshop on
Description Logics (
DL2007)


Brixen-Bressanone, near Bozen-Bolzano, Italy
8–10 June, 2007


Friday 8 June 2007

08:30 - 09:30 Invited Talk
09:30 - 10:45 Session: DL-Lite
10:45 - 11:15 Coffee break
11:15 - 12:30 Session: DLs and other formalisms
12:30 - 14:00 Lunch
14:00 - 15:30 Session: (Conjunctive) Queries
15:30 - 16:00 Coffee break
16:00 - 17:30 Session: Multiple Ontologies, ABox reasoning & DL Applications
17:30 - 19:00 Demo session
19:30 - ... Welcome reception

Saturday 9 June 2007

08:30 - 09:30 Invited Talk
09:30 - 10:45 Session: EL and DL Extensions
10:45 - 11:15 Coffee break
11:15 - 12:30 Session: Handling Inconsistency
12:30 - 14:00 Lunch
14:00 - 15:30 Session: Reasoning techniques
15:30 - 16:00 Coffee break
16:00 - 17:30 Session: (Dis)Similarity
19:00 - 20:00 20th anniversary gala
20:00 - ... Social Dinner

Sunday 10 June 2007

08:30 - 09:30 Invited Talk
09:30 - 10:00 Coffee break
10:00 - 12:00 Session: Actions and Enhancing reasoning
12:00 - 13:00 DL business meeting
13:30 - 14:30 Lunch