[DL] DL2005: first Call for Papers

[Ulrike Sattler]

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


          2005 International Workshop on Description Logics    
                             (DL2005)

                      26th to 28th July 2005

                  in Edinburgh, Scotland, UK

                     http://dl.kr.org/dl2005/

  co-located with IJCAI 2005, http://ijcai05.csd.abdn.ac.uk/


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

DL2005 will be co-located with IJCAI 2005 (the Nineteenth
International Joint Conference on Artificial Intelligence,
http://ijcai05.csd.abdn.ac.uk/, 30 July to 5 August 2005), and will
take place from the 26th to 28th July 2005 in the National e-Science
Centre in Edinburgh, Scotland.

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

CALL FOR PAPERS

We invite submissions of technical papers of 8 pages.  Authors of
accepted papers will be invited to present their papers at the
workshop. Accepted papers will be included in the informal conference
proceedings as normal papers (8 pages) or long papers (12 pages). We
plan to make the conference proceedings available electronically via
CEUR at http://www.ceur-ws.org.

Please note that, in contrast to previous DL workshops,
registration is open to everybody, and not by invitation only.

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

IMPORTANT DATES

Paper submission deadline:  April 15th, 2005
Notification of acceptance:    May   30th, 2005
Camera ready papers due:   June  26th, 2005
DL 2005 Workshop:              July  26th to 28th, 2005

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

SCOPE

We invite contributions on all aspects of Description Logics,
including but not limited to:

    * 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, fuzzy
      operators, temporal and spatial knowledge, 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 and
      engineering, e-Science, 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 and database schema design and integration tools.


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

SUBMISSION DETAILS

Interested parties are invited to submit a technical paper not
exceeding 8 pages that has been prepared according to the instructions
found in

        http://dl.kr.org/dl2005/submission.tex

In case you cannot use LaTeX, you can use the instructions found in

        http://dl.kr.org/dl2005/submission.ps

To submit your paper, please follow the instructions at

       http:///www.easychair.org/DL-05/submit/

In case you have problems with electronic submissions, please contact
one of the workshop organizers.

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

ORGANIZING COMMITTEE

* Ian Horrocks, University of Manchester, UK
* Ulrike Sattler, University of Manchester, UK
* Frank Wolter, University of Liverpool, UK

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

PROGRAM COMMITTEE

* Carlos Areces, France
* Alessandro Artale, Italy
* Giuseppe De Giacomo, Italy
* Volker Haarslev, Canada
* Ian Horrocks, UK
* Holger Knublauch, US
* Carsten Lutz, Germany
* Maarten Marx, NL
* Ralf Moeller, Germany
* Bijan Parsia, USA
* Peter Patel-Schneider, USA
* Ulrike Sattler, UK
* Luciano Serafini, Italy
* David Toman, Canada
* Holger Wache, NL
* Frank Wolter, UK


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

RESOURCES

     * Information regarding costs, travel information, hotels, etc.
       will be distributed later. Check the home page of DL 2005
       for updates.
     
     * Enquiries about the DL2000 workshop can be made by mailing to
       the organizing committee:

                  dl2005 at 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

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