| Friday, September 5 |
| 8:00 - 9:00 |
Registration |
| 9:00 - 10:15 |
Invited Talk: John Mylopoulos |
| |
Modeling Software |
| 10:15 - 10:45 |
Coffee Break |
| 10:45 - 12:25 |
Applications I |
| |
|
- Reducing OWL Entailment to Description Logic
Satisfiability.
I. Horrocks, P. F. Patel-Schneider
- Index Selection for Embedded Control Applications using
Description Logics.
L. Stanchev, G. Weddell
- Rule Based Computation of Updates to Terminologies.
S. Modgil
- Reasoning on UML Class Diagrams is EXPTIME-hard.
D. Berardi, D. Calvanese, G. De Giacomo
|
|
| 12:25 - 14:00 |
Lunch |
| 14:00 - 15:40 |
Standard Reasoning Services |
| |
|
- Restricted Role-value-maps in a DL with Existential
Restrictions and Terminological Cycles.
F. Baader
- Handling Boolean ABoxes.
C. Areces, P. Blackburn, B. Martinez Hernandez, M. Marx
- Subsumption of Concepts in FL_0 for (Cyclic) Terminologies
with Respect to Descriptive Semantics is PSPACE-complete.
Y. Kazakov, H. de Nivelle
- A Tableau Algorithm for ALCN(o,U).
F. Grandi
|
|
| 15:40 - 16:10 |
Coffee Break |
| 16:10 - 18:00 |
Poster Session |
| 19:00 - ... |
Welcome Reception |
| |
(at Trimani Wine Bar, Via Goito 20) |
Saturday, September 6 |
| 9:00 - 10:15 |
Invited Talk: Richard Hull |
| |
E-Service Composition: Models and Formalisms |
| 10:15 - 10:45 |
Coffee Break |
| 10:45 - 12:25 |
Applications II |
| |
|
- e-Service Composition by Description Logics Based Reasoning.
D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella
- Incremental Query Answering for Implementing Document Retrieval
Services.
V. Haarslev, R. Möller
- RDFS(FA): A DL-ised Sub-language of RDFS.
J. Z. Pan, I. Horrocks
- Rewriting Aggregate Queries using Description Logic.
D. DeHaan, D. Toman, G. Weddell
|
|
| 12:25 - 14:00 |
Lunch |
| 14:00 - 15:40 |
Non-standard Reasoning Services |
| |
|
- Concept Abduction and Contraction in Description Logics.
S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini, M. Mongiello
- Data Mining in Hybrid Languages via ILP.
F. A. Lisi
- Explanation of Terminological Reasoning: A Preliminary
Report.
S. Schlobach, R. Cornet
- Reasoning about Concepts and Similarity.
C. Lutz, F. Wolter, M. Zakharyaschev
|
|
| 15:40 - 16:10 |
Coffee Break |
| 16:10 - 16:35 |
Systems |
| |
|
- DL Reasoner vs. First-Order Prover.
D. Tsarkov, I. Horrocks
|
|
| 16:35 - 18:30 |
General Discussion |
| 20:00 - ... |
Social Dinner |
| |
(at Restaurant Unione Sarda, Via Basento 74) |
| Sunday, September 7 |
| 9:00 - 10:15 |
Extensions of Description Logics |
| |
|
- Fixpoint Extensions of Temporal Description Logics.
E. Franconi, D. Toman
- Finite Model Reasoning in ALCQI is EXPTIME-complete.
C. Lutz, U. Sattler, L. Tendera
- E-connections of Description Logics
O. Kutz, C. Lutz, F. Wolter, M. Zakharyaschev
|
|
| 10:15 - 10:45 |
Coffee Break |
| 10:45 - 11:35 |
Implementations |
| |
|
- Implementing Matching in ALE--First Results.
S. Brandt
- The DIG Description Logic Interface.
S. Bechhofer, R. Möller, P. Crowther
|
|
| 11:35 - 13:00 |
Wrap Up Session |
| |
Discussion about DL'04 |
| 13:00 - 14:00 |
Lunch |