Tuesday May 30

 9:00

Welcome to DL'06

 9:05

DLs and ABoxes (regular presentations)

• SHIN ABox Reduction. Achille Fokoue, Aaron Kershenbaum and Li Ma.
• On the Scalability of Description Logic Instance Retrieval. Ralf Möller Volker Haarslev and Michael Wessel.
• Description Logic Reasoning for Dynamic ABoxes. Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin and Aditya Kalyanpur.
• Optimizations for Answering Conjunctive ABox Queries. Evren Sirin and Bijan Parsia.

10:35

Coffee

11:00

Theory (long presentations)

• DL Actions with GCIs: a Pragmatic Approach. Hongkai Liu, Carsten Lutz, Maja Milicic and Frank Wolter.
• PSPACE Automata for Description Logics. Jan Hladik and Rafael Peñaloza.
• A Description Logic of Change. Alessandro Artale, Carsten Lutz and David Toman.

12:30

Lunch

 2:00

Anthony Hunter: Living with Inconsistency: Theory + Applications (Invited Talk)

 3:20

Posters Introduction

 3:50

Coffee/Posters/Demos

 6:00

Welcome Reception

Wednesday May 31

 9:00

Implementation (regular presentations)

• Automated Benchmarking of Description Logic Reasoners. Tom Gardiner, Ian Horrocks and Dmitry Tsarkov.
• Description logic reasoning using the PTTP approach. Zsolt Nagy, Gergely Lukácsy and Peter Szeredi.
• Towards Mobile Reasoning. Thomas Kleemann.
• Handling Imprecise Knowledge with Fuzzy Description Logic. Giorgos Stoilos, Giorgos Stamou and Jeff Pan.

10:20

Coffee Break/Poster Session

11:00

Queries and DLs (long presentations)

• Conjunctive Query Answering for Description Logics with Transitive Roles. Birte Glimm, Ian Horrocks and Ulrike Sattler.
• Epistemic First-order Queries over Description Logic Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini and Riccardo Rosati.
• Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Magdalena Ortiz, Diego Calvanese and Thomas Eiter.

12:30

Lunch

 2:00

Franz Baader: Description Logics: a personal history (Invited Talk)

 3:20

Coffee Break/Poster Session

 4:30

Unorthodox Applications (regular presentations)

• Finding Subsumers for Natural Language Presentation. Chris Mellish and Jeff Pan.
• Will my Ontologies Fit Together?. Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz and Ulrike Sattler.
• Model checking the basic modalities of CTL with Description Logic. Shoham Ben-David, Richard Trefler and Grant Weddell.
• Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments. Aditya Kalyanpur, Bijan Parsia and Bernardo Cuenca Grau.

 7:30

DL Dinner

Thursday June 1

 9:00

Tableaux (regular presentations)

• Reasoning for Fuzzy Description Logic with Comparison Expressions. Dazhou Kang, Baowen Xu, Jianjiang Lu and Yanhui Li.
• Tableau Caching for Description Logics with Inverse and Transitive Roles. Yu Ding and Volker Haarslev.
• High Performance Absorption Algorithms for Terminological Reasoning. Ming Zuo and Volker Haarslev.
• Extending the SHOIQ(D)Tableaux with DL-safe Rules: First Results. Vladimir Kolovski, Bijan Parsia and Evren Sirin.

10:20

Coffee Break/Poster Session

11:00

Efficient Reasoning (long presentations)

• Efficient Reasoning in EL. Franz Baader, Carsten Lutz and Boontawee Suntisrivaraporn.
• Discrete Tableau Algorithms for FSHI. Yanhui Li, Baowen Xu, Jianjiang Lu and Dazhou Kang.
• Binary Absorption in Tableaux-Based Reasoning for Description Logics. Alexander K. Hudek and Grant Weddell.

12:30

Lunch

 2:00

DIG 2.0 session

 3:00

Coffee Break/Poster Session

 4:00

Business Meeting

Poster Presentation Schedule (May 30 at 3:20)

• Euclidian Roles in Description Logics. Giorgos Stoilos and Giorgos Stamou.
• Experiences with Load Balancing and Caching for Semantic Web Applications. Alissa Kaplunova, Atila Kaya and Ralf Möller.
• How sensor data interpretation could benefit from description logics: A practical case study. Ralf Möller and Sylvia Melzer.
• Cost-Efficient Web Service compositions for querying processes over reasoning services. Irma Sofia Espinosa Peraldi and Ralf Möller.
• Static Knowledge Representation of Multi-Agent System's Specification by Description Logic. Haiyan Che and Jigui Sun.
• A Tableaux-based Mobile DL Reasoner - An Experience Report. Felix Müller, Michael Hanselmann, Thorsten Liebig and Olaf Noppens.
• Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. Kevin Lee, Thomas Meyer, Jeff Pan and Richard Booth.
• Pellet System Description. Evren Sirin and Bijan Parsia.
• Topological Reasoning in Basic Description. Matteo Cristani, Nicoletta Gabrielli and Paolo Torelli.
• The new ICOM Ontology Editor. Pablo Fillottrani, Enrico Franconi