ADL'02 2nd Call for Papers

    KI-2002 Workshop on Applications of Description Logics -- ADL'02

                   Aachen, Germany, September 2002

 		 	   2nd CALL FOR PAPERS


  Workshop homepage: http://www-lti.informatik.rwth-aachen.de/ki02dlws.html
  KI2002 homepage:   http://ki2002.rwth-aachen.de/


In previous years, a growing interest in description logics was observed and
many exciting new applications have been proposed. This was mainly due to the
development of very expressive description logics and optimized description
logic systems supporting terminological and/or assertional reasoning.  An
important example of recently proposed applications of description logics is
the use of DL technology as the backbone of the Semantic Web initiative, which
will foster commercial applications quite rapidly.

In the same spirit as the previous workshop on applications of description
logics ADL'01 (see http://dl.kr.org/adl2001/) at KI2001, this workshop intends
to gather researchers as well as practitioners who are interested in
description logics and their applications. Some examples of possible topics
that submissions might cover:

- Applications, for instance from the following areas:
  * Semantic Web
  * Databases
  * Natural language processing
  * Medicine and Bioinformatics
  * Process engineering
  * Knowledge engineering
  * Temporal and spatial reasoning

- Experiences in applying reasoners (e.g. FaCT, Racer, etc.)
  * Success stories
  * Hard inference problems
  * Unsatisfactory runtime behavior for answering specific queries
  * Problems that cannot be dealt with at the moment

- Experiences in applying or implementing description logic techniques
  * Computation of least common subsumers and approximation algorithms
  * Architectures for DL systems
  * Management of TBoxes and ABoxes
  * Requirements for APIs

- Requirements for description logics from practical modeling experiences
  * Concrete domains (units and measures, e.g., dates and times)
  * Individuals in concept terms
  * Instance retrieval query languages
  * Retrieval of models
  * Retraction of assertions or axioms

The workshop notes will be made available in electronic format via CEUR
workshop proceedings (http://www.CEUR-WS.org/).


*** Invited Speaker

Franz Baader (TU Dresden)


*** Submission Details

To submit to ADL'02, please submit a paper not exceeding 8 pages that is
formatted following the example LaTeX file that can be found at

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

You can view a compiled version of this example file at

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

Submissions must arrive **no later than JUNE 30, 2002**.

You will be notified about acceptance of your paper by July 14, 2002.
Please send your submissions to adl02@tcs.inf.tu-dresden.de


*** Registration

ADL'02 participants have to register for the KI 2002 conference.


*** Organizing and Program Committee

Guenther Goerz   U. of Erlangen-Nuernberg    goerz@informatik.uni-erlangen.de
Volker Haarslev  University of Hamburg     haarslev@informatik.uni-hamburg.de
Carsten Lutz     TU Dresden                        lutz@tcs.inf.tu-dresden.de
Ralf Moeller     University of Applied Sciences in Wedel       mo@fh-wedel.de

Received on Tuesday, 11 June 2002 06:34:32 UTC