2003 International Workshop on
Description Logics
 

September 5-7, 2003
 
Centro Congressi Via Salaria
Università di Roma ``La Sapienza''
Via Salaria 113
Rome, Italy  



Final Program

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



Posters