| 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 |
Lunch |
| 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 |
Lunch |
| 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 |