[DL] Final CFP for DL 2006

[David Toman]

       2006 International Workshop on Description Logics (DL'06)

                          Lake District, UK
                         May 30-June 1, 2006

              homepage: http://www.mindswap.org/2006/dl/

                         Final Call for Papers

The 2006 International Workshop on Description Logics (DL'06)
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.  Accepted
technical papers will be included in the workshop proceedings as
normal papers (8 pages), long papers (12 pages), or as posters.
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:   March 10, 2006
Notification of acceptance:  April 17, 2006
Camera ready papers due:     May 12, 2006
DL'06 Workshop:              May 30-June 1, 2006

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

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.

-- Tools that exploit Description Logic reasoning, such as ontology
   editors, database schema design, query optimization, and data
   integration tools.

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

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.mindswap.org/2006/dl/

and must arrive by March 10, 2006. Detailed submission instructions 
will be posted on DL'06 web site http://www.mindswap.org/2006/dl/

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

PROGRAM COMMITTEE 

     Carlos Areces           
     Giuseppe De Giacomo     
     Enrico Franconi         
     Volker Haarslev         
     Ian Horrocks           
     Ralf Kuesters           
     Carsten Lutz            
     Ralf Moeller            
     Peter Patel-Schneider   
     Chris Welty            
     Frank Wolter		

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

ORGANIZING COMMITTEE

     Bijan Parsia and David Toman (PC Co-chairs)
     Uli Sattler  (Local Arrangements Chair)
----------------------------------------------------------------------

-- 
Dr. David Toman, Associate Professor
School of Computer Science            tel: (519) 888-4567 ext 4447
University of Waterloo                fax: (519) 885-1208
200 University Avenue West            david at uwaterloo.ca
Waterloo, Ontario, Canada N2L 3G1     http://db.uwaterloo.ca/~david