Menu:

News:

June 3rd, 2010
Slides of invited speakers posted.

April 21st, 2010
On-line Proceedings Posted.

April 5th, 2010
Full Program Posted.

March 18th, 2010
Student aid applications extended to March 31

Febuary 5th, 2010
Registration and accommodation information available.

January 25, 2010
Deadline extended to Feb. 1st

October 15, 2009
Important Dates have been posted.

September 14, 2009:
DL2010 will be held in Waterloo, Canada!

Links:

- dl.kr.org
- U of Waterloo
- Fields Institute
- KR 2010

Description Logics 2010

Important Dates
Workshop Scope
Submission Details
Workshop Chairs
Invited Speakers
Resources

23rd International Workshop on Description Logics (DL 2010)
CALL FOR PAPERS
Waterloo, Ontario, Canada
http://dl.kr.org/dl2010/
The DL workshop is the major annual event of the description logic research community. The workshop is the premier forum to meet, discuss and exchange experiences among all those, both in the academia and industry, who are interested in description logics and their applications.
IMPORTANT DATES
Paper submission deadline: January 26th, 2010
Acceptance notification: March 9th, 2010
Camera ready copies: March 30th, 2010
Early registration: March 30th, 2010
Workshop: May 4 to May 7th
WORKSHOP SCOPE
We invite contributions on all aspects of description logics,such as
  • foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems;
  • extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages;
  • integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems;
  • use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing;
  • building systems based on description logics, with special emphasis on optimization and implementation techniques; and
  • tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools.
SUBMISSION DETAILS
We invite submissions of papers in Springer LNCS style, see
http://www.springer.com/comp/lncs/Authors.html
to arrive no later than January 26th, 2010.
The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references. Papers must be submitted in PDF format via EasyChair; see
http://www.easychair.org/conferences/?conf=dl2010
The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see
http://www.CEUR-ws.org/
Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop proceedings: all accepted papers can be 11 pages long.
WORKSHOP CHAIRS
* Grant Weddell, Waterloo (Workshop Chair)
* Volker Haarslev, Concordia (PC Chair)
* David Toman, Waterloo (PC Chair)
INVITED SPEAKERS
* Ian Horrocks (Oxford)
* Phokion Kolaitis (UC Santa Cruz and IBM Research - Almaden)
* Roberto Sebastiani (Trento)
RESOURCES
* Information about registration, travel information, accommodation, and so on will be made available on the DL 2009 homepage:
http://dl.kr.org/dl2010/
* Enquiries about the DL 2009 workshop can be made by contacting the organizing committee:
dl2010@easychair.org
* The official Description Logic home page is at
http://dl.kr.org/