Description Logics 2004 (DL'04) Preliminary Program

Day 1 - Sunday June 6, 2004
8:45 - 9:00
Opening and Welcome
9:00 - 10:30
Invited Talk: Sheila McIlraith: OWL-S and web agent/web service composition
10:30 - 11:00
Coffee Break
11:00 - 12:30
Theory 1

Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints

Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology

Sebastian Brandt
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
12:30 - 14:00
14:00 - 15:30
Implementation Techniques 1

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
The Instance Store: DL Reasoning with Large Numbers of Individuals

Dmitry Tsarkov, Ian Horrocks
Efficient Reasoning with Range and Domain Constraints

Eldar Karabaev, Carsten Lutz
Mona as a DL reasoner
15:30 - 16:00
Coffee Break
16:00 - 17:30
Graphical Interfaces 1

Volker Haarslev, Ying Lu, Nematollah Shiri
OntoXpl: Exploration of OWL Ontologies

Holger Knublauch, Mark A. Musen,  Alan L. Rector
Editing Description Logic Ontologies with the Protege OWL Plugin

Thorsten Liebig, Holger Pfeifer, Friedrich von Henke
Reasoning Services for an OWL Authoring Tool: A Requirements Analysis
19:00 - ?
Banquet in the Edgewater-Lodge

Day 2 - Monday June 7, 2004
9:00 - 10:30
Invited Talk: Frank Wolter: Combining Description Logics
10:30 - 11:00
Coffee Break
11:00 - 12:30
Implementation Techniques 2

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
Towards Implementing Finite Model Reasoning in DLs

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
DL-lite: Practical Reasoning for Rich DLs

Luciano Serafini, Andrei Tamilin
Local tableaux for reasoning in distributed description logics
12:30 - 14:00
14:00 - 15:00
Applications 1

Andrea Cali, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
A Description Logic Based Approach for Matching User Profiles

Paolo Dongilli, Enrico Franconi, Sergio Tessaris
Semantics driven support for query formulation
15:00 - 16:30
Posters and Demos (with refreshments)

Bernardo Cuenca Grau, Bijan Parsia
From SHOQ(D) toward E-connections

Cartik R. Kothari, David J. Russomanno
Specifying the disjoint nature of object

Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva
Towards Explainig Semantic Matching

Jeff Z. Pan, Ian Horrocks
Extending DL Reasoning Support for the OWL Datatyping (or Why Datatype Groups?)

System demonstrations and posters by selected PhD students (TBA)
16:30 - 17:30
Applications 2

Ronald Cornet, Ameen Abu-Hanna
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases

Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel
Extended Query Facilities for Racer and an Application to Software-Engineering Problems

Day 3 - Tuesday June 8, 2004
9:00 - 10:30
Theory 2

S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, M. Mongiello
Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN DL

Jan Hladik, Jörg Model
Tableau Systems for SHIO and SHIQ

David Toman, Grant Weddell
Attribute Inversion in Description Logics with Path Functional Dependencies
10:30 - 11:00
Coffee Break
11:00 - 12:00
Graphical Interfaces 2

Anni-Yasmin Turhan, Christian Kissig
SONIC - System Description

Brian Gaines
Understanding Ontologies in Scholarly Disciplines
12:00 - 13:00
Final Discussion

Volker Haarslev: 24.5.2004