DL2000 Third Call for Papers

       2000 International Workshop on Description Logics (DL2000)
                       Third Call for Papers

                          Aachen, Germany
             Thursday August 17 - Saturday August 19, 2000 

       homepage: http://www-lti.informatik.rwth-aachen.de/DL2000/

The 2000 International Workshop on Description Logics (DL2000) continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics.

DL2000 will precede ECAI2000 (14th European Conference on Artificial Intelligence), which will be held in Berlin, Germany, August 20-25, 2000, and it overlaps with ICCS2000, which will be held in Darmstadt, Germany, August 13-18, 2000. Due to an agreement with the ICCS organizers, DL-related sessions at the ICCS conference will be scheduled on non-overlapping days.

INVITED SPEAKERS

      Prem Devanbu, University of California, Davis, USA
      Carole Goble, University of Manchester, UK 
      David Harel, The Weizmann Institute of Science, Rehovot, Israel 

----------------------------------------------------------------------

CALL FOR PAPERS We invite submissions of technical papers of 8 pages and short position papers (for people that want to participate in the workshop without giving talks). Authors of accepted technical and position papers will be invited to participate in the workshop (participation will be by invitation only). Accepted technical papers will be included in the proceedings as normal papers (8 pages) or long papers (12 pages).

IMPORTANT DATES Paper submission deadline: May 1, 2000 Notification of acceptance: June 9, 2000 Camera ready papers due: June 30, 2000 DL'99 Workshop: August 17 - August 19, 2000

SCOPE The focus of DL2000 will be on

         ``Applying DL techniques to real world problems''.
         

Possible examples of such real world problems are ones related to the WWW, to software engineering, to building ontologies, and to information systems in medicine and bio-informatics. We will have three invited speakers, each addressing one of these areas (see above).

In addition to papers related to this focus topic, we invite contributions on all other aspects of Description Logics. Possible subjects include

• Foundations of Description Logics, including distinguishing features of Description Logics with respect to other formalisms, expressive power of Description Logics, decidability and complexity of reasoning, and novel inference problems and reasoning techniques for solving these problems.
• Extensions of Description Logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages.
• Integration of Description Logics with other formalisms, such as object-oriented languages, constraint-based programming, logic programming, and rule-based systems.
• Use of Description Logics in applications or areas such as natural language, planning, learning, databases, document management systems, semi-structured data, and ontology design, with special emphasis on the pros and cons of choosing Description Logics.
• Building systems based on Description Logics, with special emphasis on optimization and implementation techniques.

  ---

SUBMISSION DETAILS Interested parties are invited to submit a technical paper not exceeding 8 pages that is formated according to the guidelines to be found at

        http://www-lti.informatik.rwth-aachen.de/DL2000/submission/

or a short position paper indicating interest in Description Logics and the workshop.

Email submissions as self-contained standard Postscript attachments should be sent by May 1, 2000 to

                dl2000chairs_at_informatik.rwth-aachen.de

----------------------------------------------------------------------

ORGANIZING COMMITTEE DL2000 is organized by the members of the Teaching and Research Area for Theoretical Computer Science at the Technical University of Aachen, Germany:

• Franz Baader
• Ralf Kuesters
• Carsten Lutz
• Ralf Molitor
• Ulrike Sattler
• Stephan Tobies

  ---

PROGRAM COMMITTEE

• Alessandro Artale, UK
• Franz Baader, Germany (co-chair)
• Diego Calvanese, Italy
• Volker Haarslev, Germany
• Ian Horrocks, UK
• Deborah L. McGuinness, USA
• Riccardo Rosati, Italy
• Ulrike Sattler, Germany (co-chair)
• Umberto Straccia, Italy
• Chris Welty, USA

  ---

RESOURCES

• Information regarding costs, travel information, hotels, etc. will be distributed later. Check the WWW page of the workshop at

            http://www-lti.informatik.rwth-aachen.de/DL2000/

       for updates.
     
     * Enquiries about the DL2000 workshop can be made by mailing to 
       the organizing committee: 

                  dl2000_at_informatik.rwth-aachen.de

      * The official Description Logics WWW home page is at

                        http://dl.kr.org/dl/

      * Patrick Lambrix has a nice collection of DL references, 
        researchers, etc. at: 

         http://www.ida.liu.se/labs/iislab/people/patla/DL/index.html

----------------------------------------------------------------------