[DL] 2003 Description Logics Workshop (DL'03) - deadline approaching

[DL'03]

      2003 International Workshop on Description Logics (DL'03)
                           Call for Papers
                             Rome, Italy
                         September 5-7, 2003

              homepage: http://www.dis.uniroma1.it/dl03/


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

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

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 workshop proceedings.
The workshop proceedings will be distributed in paper form at the
workshop, and will be made available electronically in the
CEUR Workshop Proceedings series (http://CEUR-WS.org/).

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

IMPORTANT DATES

Paper submission deadline:   May 18, 2002
Notification of acceptance:  June 23, 2003
Camera ready papers due:     July 11, 2003
DL'03 Workshop:              September 5-7, 2003

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

SCOPE

We invite contributions on all 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,
semistructured data, ontology design, ontology languages, ontology
engineering, semantic web, and grid computing.

-- 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 or a short position paper indicating interest in
Description Logics and the workshop.  Both kinds of submission should
be formatted according to the guidelines to be found at

        http://www.dis.uniroma1.it/dl03/cfp.html

and must arrive by May 18, 2003.

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

PROGRAM COMMITTEE

Carlos Areces           <Carlos.Areces at loria.fr>
Francesco M. Donini     <donini at unitus.it>
Volker Haarslev         <haarslev at cs.concordia.ca>
Frank van Harmelen      <Frank.van.Harmelen at cs.vu.nl>
Ian Horrocks            <horrocks at cs.man.ac.uk>
Ralf Kuesters           <kuesters at ti.informatik.uni-kiel.de>
Patrick Lambrix         <patla at ida.liu.se>
Carsten Lutz            <lutz at tcs.inf.tu-dresden.de>
Ralf Moeller            <rmoeller at fh-wedel.de>
Peter Patel-Schneider   <pfps at research.bell-labs.com>

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

ORGANIZING COMMITTEE

Diego Calvanese         <calvanese at dis.uniroma1.it>
Giuseppe De Giacomo     <degiacomo at dis.uniroma1.it>
Enrico Franconi         <franconi at inf.unibz.it>

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