[DL] Description Logics workshop: Call for Participation

[Enrico Franconi]

- We apologise if you receive this more than once.  You're receiving -
- this message since you are a subscriber of a relevant mailing list -

         2003 International Description Logic Workshop (DL'03)
                  Rome, Italy -- 5-7 September 2003
                       http://dl.kr.org/dl2003/

Registration to the workshop is now open; check the information at the
workshop  web site.  Participation  to the  workshop is  by invitation
only. If you wish to participate  and you have not already submitted a
paper or  a statement  of interest, please  contact the  organizers at
dl03 at dis.uniroma1.it

PROGRAM:

Friday, September 5

  8:00 -  9:00 REGISTRATION
  9:00 - 10:15 INVITED TALK: John Mylopoulos
10:15 - 10:45 COFFEE BREAK
10:45 - 12:25 TECHNICAL SESSION: "Applications I"
               Reducing OWL Entailment to DL Satisfiability
                 (Ian Horrocks, Peter F. Patel-Schneider)
               Index Selection for Embedded Control Applications using 
DLs
                 (Lubomir Stanchev, Grant Weddell)
               Rule Based Computation of Updates to Terminologies
                 (Sanjay Modgil)
               Reasoning on UML Class Diagrams is EXPTIME-hard
                 (Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo)
12:25 - 14:00 LUNCH
14:00 - 15:40 TECHNICAL SESSION: "Techniques for Standard Inferences"
               Restricted role-value-maps in a DL with existential
                 restrictions and terminological cycles
                 (Franz Baader)
               Handling Boolean ABoxes
                 (C. Areces, P. Blackburn, B. Martinez Hernandez, M. 
Marx)
               Subsumption of concepts in DL FL_0 for (cyclic) 
terminologies
                 with respect to descriptive semantics is PSPACE-complete
                 (Yevgeny Kazakov, Hans de Nivelle)
               A Tableau Algorithm for ALCN(o,U)
                 (Fabio Grandi)
15:40 - 16:10 COFFEE BREAK
16:10 - 18:00 POSTER SESSION

Saturday, September 6

  9:00 - 10:15 INVITED TALK: Richard Hull
10:15 - 10:45 COFFEE BREAK
10:45 - 12:25 TECHNICAL SESSION: "Applications II"
               e-Service Composition by DL-based Reasoning
                 (D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini,
                  M. Mecella)
               Incremental Query Answering for Implementing Document
                 Retrieval Services
                 (Volker Haarslev, Ralf Moeller)
               RDFS(FA): A DL-ised Sub-language of RDFS
                 (Jeff Z. Pan, Ian Horrocks)
               Rewriting Aggregate Queries using DL
                 (David DeHaan, David Toman, Grant Weddell)
12:25 - 14:00 LUNCH
14:00 - 15:40 TECHNICAL SESSION: "Non-standard Reasoning Services"
               Concept Abduction and Contraction in DLs
                 (S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini,
                  M. Mongiello)
               Data Mining in Hybrid Languages via ILP
                 (Francesca A. Lisi)
               Explanation of Terminological Reasoning
                 (Stefan Schlobach)
               Reasoning about concepts and similarity
                 (Carsten Lutz, Frank Wolter, Michael Zakharyaschev)
15:40 - 16:10 COFFEE BREAK
16:10 - 16:35 TECHNICAL SESSION: "Systems"
               DL Reasoner vs. First-Order Prover
                 (Dmitry Tsarkov, Ian Horrocks)
16:35 - 18:00 GENERAL DISCUSSION
20:00 - ...   SOCIAL DINNER

Sunday, September 7

  9:00 - 10:15 TECHNICAL SESSION: "Extensions of DLs"
               Fixpoint Extensions of Temporal DLs
                 (Enrico Franconi, David Toman)
               Finite Model Reasoning in ALCQI is ExpTime-complete
                 (Carsten Lutz, Ulrike Sattler, Lidia Tendera)
               E-connections of DLs
                 (O. Kutz, C. Lutz, F. Wolter, M. Zakharyaschev)
10:15 - 10:45 COFFEE BREAK
10:45 - 11:35 TECHNICAL SESSION: "Implementations"
               Implementing Matching in ALE - First Results
                 (Sebastian Brandt)
               The DIG DL Interface
                 (Sean Bechhofer, Ralf Moeller, Peter Crowther)
11:35 - 13:00 DL-2003 WRAP UP SESSION
               Discussion about next DL Workshop

POSTERS:

Applying DL to Product Bahavioural Design within Advanced CAD Systems
   (Francois de Bertrand de Beuvron, Amadou Coulibaly)
Computing least common subsumers for FLE_trans
   (Sebastian Brandt, Anni-Yasmin Turhan)
Reasoning about Nominals with FaCT and RACER
   (Jan Hladik)
Wine Agent: Testbed Application for Semantic Web Technologies
   (Eric Hsu, Deborah McGuinness)
 From Lexicon To Mammographic Ontology: Experiences and Lessons
   (Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt)
Visualising a DL Knowledge Base with DeLogViz
   (Bo Hu, Nigel Shadbolt)
Comparing natural language documents: a DL based approach
   (Naouel Karam, Michel Schneider)
Merging DAML+OIL bio-ontologies
   (Patrick Lambrix, Anna Edberg, Carolyn Manis, He Tan)
On the Problems of Computing Approximation and Representing LSC in DLs.
   (Chan Le Duc and Nhan Le Thanh)
Matchmaking Using an Instance Store: Some Preliminary Results
   (Lei Li, Ian Horrocks)
Graphical Interfaces for Racer: Querying DAML+OIL and RDF documents
   (Ralf Moeller, Ronald Cornet, Volker Haarslev)
DL-Based Natural Language Understanding for Geometry Tutoring
   (Octav Popescu, Ken Koedinger)
Simple Concrete Domains Constraints for ALCQI
   (Mathieu Roger, Ana Simonet, Michel Simonet)
Detecting Inconsistencies between UML Models Using DL
   (Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens)