CfP: Applications of Description Logics 2004

      [Apologies for multiple copies]

      KI-2004 Workshop on Applications of Description Logics -- ADL'04

                     Ulm, Germany, September 2004


    Workshop homepage:

    KI2004 homepage:

Recent years have seen a growing interest in description logics and
their applications. On the one hand, this interest is due to the
development of very expressive description logics supported by highly
optimized reasoning systems. On the other hand, several exciting new
applications have been proposed, such as the use of DL technology as a
``backbone'' of the Semantic Web. In the same spirit as the previous
workshops on applications of description logics, ADL'01 and ADL'02,
this workshop intends to gather researchers as well as practitioners
who are interested in description logics and their applications. Some
examples of topics of interest are:

* Applications, for instance from the following areas:

    - Semantic web and Grid (with langugaes such as 
    - Databases
    - Natural language processing
    - Medicine and bioinformatics
    - Software engineering (e.g., formalizing UML or ER)
    - Knowledge engineering
    - Process engineering, services, and scheduling
    - Temporal and spatial reasoning
    - Reasoning about actions, services, business processes, etc.

* Experiences in applying reasoners (e.g., FaCT, Racer, etc.) and/or
   ontology interfaces (e.g., OilEd, Protege, RICE, etc)

    - Success stories
    - Unsatisfactory runtime behavior for answering specific queries
    - Problems that cannot be dealt with at the moment

* Experiences in applying or implementing description logic techniques

    - Hard inference problems
    - Computation of least common subsumers, most-specific subsumers,
      rewriting, unification, and approximation algorithms
    - Architectures for DL sytems
    - Management of TBoxes and ABoxes
    - Requirements for APIs
    - Requirements for description logics from practical modeling

The workshop notes will be made available in electronic format via CEUR
workshop proceedings (

*** Important Dates

Submission deadline:   July 23rd, 2004
Notification deadline: August 8th, 2004
Workshop:              (one of) 20/21/24 September 2004

*** Submission Details

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

You can view a compiled version of this example file at

Please send submissions to until July 23rd.

*** Registration

Registration is via the web pages of the KI 2004 conference. Note
that ADL'04 participants need NOT register for the main conference.

*** Organizing and Program Committee

Volker Haarslev, Computer Science Department, Concordia University,

Carsten Lutz, Institute for Theoretical Computer Science, TU Dresden,

Ralf Moeller, Technische Universitaet Hamburg-Harburg,

Sean Bechhofer, University of Manchester,

Received on Saturday, 17 April 2004 14:36:17 UTC