2005 International Workshop on Description Logics - DL2005



« back to main page


Technical Program

Tuesday, 26th July 2005

9:15 -- 10:30: Invited Talk: Robert Stevens

10:30--11:00 Coffee Break

11:00 -- 12:30 Extensions and new DLs
Title: A new n-ary existential quantifier in description logics
Authors: Franz Baader, Carsten Lutz, Eldar Karabaev and Manfred Theißen.
Title: The Fuzzy Description Logic ALC_FLH
Authors: Steffen Hölldobler, Nguyen Hoang Nga and Tran Dinh Khang
Title: Fuzzy ALC with Fuzzy Concrete Domains
Authors: Umberto Straccia
Title: Probabilistic ABox Reasoning: Preliminary Results
Authors: Michael Duerig and Thomas Studer

12:30--14:00: Lunch Break

14:00 - 15:30: Mixed Session
Title: `Closer' representation and reasoning
Authors: Michael Sheremet, Dmitry Tishkovsky, Frank Wolter and Michael Zakharyaschev
Poster advertisements
by authors of posters, 2 minutes per poster

15:30--18:00: Poster presentations, System demonstrations, and drinks

Wednesday, 27th July, 2005

9:15 - 10:30: Invited Talk: Thomas Eiter

10:30--11:00: Coffee Break

11:00 - 12:30: Query Answering and Rewriting
Title: Data Complexity of Query Answering in Description Logics
Authors: Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati
Title: Rules and Queries with Ontologies: a Unifying Logical Framework
Authors: Sergio Tessaris and Enrico Franconi.
Title: A KDD framework for query rewriting in presence of value constraints
Authors: Helene Jaudoin, Jean-Marc Petit, Rey Christophe, Michel Schneider and Farouk Toumani.

12:30--14:00: Lunch Break

14:00 - 15:30: Reasoning, optimisations, and testing
Title: A Tableau Algorithm for DLs with Concrete Domains and GCIs
Authors: Carsten Lutz and Maja Milicic
Title: Description Logics and Disjunctive Datalog - The Story so Far
Authors: Ullrich Hustadt and Boris Motik.
Title: Towards Efficient Reasoning for Description Logics with Inverse Roles
Authors: Yu Ding and Volker Haarslev
Title: A Generator for Description Logic Formulas
Authors: Jan Hladik.

15:30 - 16:00: Coffee Break

16:00 - 17:30: Databases and handling large knowledge bases
Title: On Path-functional Dependencies as First-class Citizens in Description Logics
Authors: David Toman and Grant Weddell
Title: Automatic Partitioning of OWL Ontologies Using E-Connections
Authors: Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin and Aditya Kalyanpur
Title: Black Box Techniques for Debugging Unsatisfiable Concepts
Authors: Aditya Kalyanpur, Bijan Parsia and Evren Sirin.
Title: Explaining Subsumption in ALEHFR+ TBoxes
Authors: Thorsten Liebig and Michael Halfmann

from 20:00 Dinner at Howies at Waterloo Place

Thursday 28th July, 2005

9:15 -- 10:30: Invited Talk: Ron Brachman

10:30--11:00: Coffee Break

11:00 - 12:30: Implementations and optimisations
Title: A High Performance Semantic Web Query Answering Engine
Authors: Michael Wessel and Ralf Möller
Title: LAS: Extending Racer by a Large Abox Store
Authors: CuiMing Chen, Volker Haarslev and JiaoYue Wang
Title: Optimised Classification for Taxonomic Knowledge Bases
Authors: Dmitry Tsarkov and Ian Horrocks.
Title: Description Logic Inference Technology: Lessions Learned in the Trenches
Authors: Volker Haarslev, Ralf Möller and Michael Wessel

12:30--14:00: Lunch Break

14:00 - 15:30: Action, Change, and Similarity
Title: Integrating Description Logics and Action Formalisms: First Results
Authors: Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler and Frank Wolter
Title: Thoughts on Defining Similarity for Description Logics
Authors: Alex Borgida, Thomas Walsh and Haym Hirsh
Title: Applying description logics for workflow reuse and repurposing
Authors: Antoon Goderis, Ulrike Sattler and Carole Goble

15:30 - 16:00: Coffee Break

16:00 - 17:30: Wrap-up and Planning for next year's DL
(everybody is invited to take part)


« back to main page

Dirk Walther, 22 July 2005