CfP: Description Logics workshop 2002

[freed from spam filter -rrs]

 Date: Fri, 21 Sep 2001 08:17:11 -0400 (EDT)
 Message-ID: <15275.12362.444095.289536@yvain.cs.man.ac.uk>
 From: Sergio Tessaris <tessaris@cs.man.ac.uk>
Message-ID: <15275.12362.444095.289536@yvain.cs.man.ac.uk>
 To: dl2002@cs.man.ac.uk
 Reply-To: dl2002@cs.man.ac.uk

-------------------------------------------------------------------
We apologize if you receive this more than once.  You're receiving
this message since you are a subscriber of a relevant mailing list.
-------------------------------------------------------------------

      2002 International Workshop on Description Logics (DL2002)
			   Call for Papers

			   Toulouse, France
			     April 19-21, 2002

	       homepage: http://www.cs.man.ac.uk/dl2002


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

DL2002 will be an associated workshop of the Eighth International
Conference on Principles of Knowledge Representation and Reasoning
(KR2002), which will be held in Toulouse, France, 22-25 April, 2002.

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

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 as
normal papers (8 pages) or long papers (12 pages).  The workshop 
proceedings will be distributed in paper form at the workshop, and will be
made available electronically in the CEUR Workshop Proceedings series.

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

IMPORTANT DATES

Paper submission deadline:   January 10, 2002
Notification of acceptance:  February 10, 2002
Camera ready papers due:     March 10, 2002
Workshop:		     April 19-21, 2002

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

SCOPE

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 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.cs.man.ac.uk/dl2002/cfp.html


Submissions should be sent by electronic mail as self-contained standard
postscript attachments to 

                dl2002@cs.man.ac.uk

and must arrive by 10 January 2001.


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

PROGRAM COMMITTEE

Alex Borgida	     <borgida@cs.rutgers.edu>
Giuseppe De Giacomo  <degiacomo@dis.uniroma1.it>
Volker Haarslev	     <haarslev@informatik.uni-hamburg.de>
Ian Horrocks         <horrocks@cs.man.ac.uk>
Ralf Molitor	     <Ralf.Molitor@swisslife.ch>
Ulrike Sattler	     <sattler@informatik.rwth-aachen.de>
Sergio Tessaris	     <tessaris@cs.man.ac.uk>
David Toman	     <david@softbase.uwaterloo.ca>
Christopher A. Welty <weltyc@cs.vassar.edu>


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

ORGANIZING COMMITTEE

Ian Horrocks    <horrocks@cs.man.ac.uk>
Sergio Tessaris <tessaris@cs.man.ac.uk>
Jeff Z. Pan     <pan@cs.man.ac.uk>


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

RESOURCES

     * Information regarding costs, travel information, hotels, etc.
       will be distributed later, as part of the ICCS conference
       information. Check the WWW page of the workshop at 

            http://www.cs.man.ac.uk/dl2002 

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

                  	dl2002@cs.man.ac.uk

      * 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

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

Received on Friday, 21 September 2001 10:20:58 UTC