<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<br>
Apologies for multiple postings.<br>
<br>
<br>
<br>
---------------------------------------------------------------------<br>
<br>
     22st International Workshop on Description Logics (DL 2009)<br>
                           CALL FOR PAPERS<br>
                     Oxford, United Kingdom<br>
                           27-30 July 2009<br>
<br>
                      <a class="moz-txt-link-freetext" href="http://dl.kr.org/dl2009/">http://dl.kr.org/dl2009/</a><br>
<br>
The DL workshop is the major annual event of the description logic<br>
research community. The workshop is thought as a gathering forum to<br>
meet, discuss and exchange experiences among all those, both in the<br>
academia and industry, who are interested in description logics and<br>
their applications.<br>
<br>
----------------------------------------------------------------------<br>
<br>
IMPORTANT DATES <br>
<br>
<big><b>Paper submission deadline:  April 24    2009 (extended from
April 20)</b></big><br>
Notification of acceptance: June  01    2009<br>
Camera ready papers due:    June  22    2009<br>
DL'07 Workshop:             July  27-30 2008 (3 1/2 days)<br>
<br>
----------------------------------------------------------------------<br>
<br>
WORKSHOP SCOPE<br>
<br>
We invite contributions on all aspects of description logics,<br>
such as<br>
<br>
* foundations of description logics, including expressive power,<br>
  decidability and complexity of reasoning, novel inference problems,<br>
  and reasoning techniques for solving these problems;<br>
<br>
* extensions of description logics, including, but not limited to,<br>
  closed-world and nonmonotonic reasoning, defaults, epistemic<br>
  reasoning, temporal and spatial reasoning, procedural knowledge, and<br>
  query languages;<br>
<br>
* integration of description logics with other formalisms, such as<br>
  object-oriented representation languages, database query languages,<br>
  constraint-based programming, logic programming, and rule-based<br>
  systems;<br>
<br>
* use of description logics in applications or areas such as ontology<br>
  engineering, ontology languages, databases, semi-structured data,<br>
  document management, natural language, learning, planning, semantic<br>
  web, and grid computing;<br>
<br>
* building systems based on description logics, with special emphasis<br>
  on optimization and implementation techniques; and<br>
<br>
* tools that exploit description logic reasoning, such as ontology<br>
  editors, database schema design, query optimization, and data<br>
  integration tools.<br>
<br>
----------------------------------------------------------------------<br>
<br>
SUBMISSION DETAILS<br>
<br>
We invite submissions of papers in Springer LNCS style, see<br>
<br>
    <a class="moz-txt-link-freetext" href="http://www.springer.com/comp/lncs/Authors.html">http://www.springer.com/comp/lncs/Authors.html</a><br>
<br>
to arrive no later than April 20, 2009.<br>
<br>
The length of submissions is limited to 11 pages, including title and<br>
abstract (can be omitted if necessary), but excluding references<br>
(i.e., the length of the paper without the references must be at most<br>
11 pages). Papers must be submitted in PDF format via EasyChair; see<br>
<br>
    <a class="moz-txt-link-freetext" href="http://www.easychair.org/conferences/?conf=dl2009">http://www.easychair.org/conferences/?conf=dl2009</a><br>
<br>
The workshop proceedings will be made available electronically in the<br>
CEUR Workshop Proceedings series; see <br>
<br>
    <a class="moz-txt-link-freetext" href="http://www.CEUR-ws.org/">http://www.CEUR-ws.org/</a> <br>
<br>
Accepted submissions will be selected for either oral or poster<br>
presentation; however, no distinction will be made in the workshop<br>
proceedings: all accepted papers can be 11 pages long.<br>
<br>
----------------------------------------------------------------------<br>
<br>
INVITED SPEAKERS<br>
<br>
* Leonid Libkin, University of Edinburgh, UK<br>
<br>
* Kavitha Srinivas, IBM Research, USA<br>
<br>
* Rajeev Gore, The Australian National University, Australia<br>
<br>
----------------------------------------------------------------------<br>
<br>
WORKSHOP CHAIRS<br>
<br>
* Ian Horrocks, Oxford, UK (Workshop chair)<br>
* Bernardo Cuenca Grau, Oxford, UK (PC Chair)<br>
* Boris Motik, Oxford, UK (PC Chair)<br>
<br>
----------------------------------------------------------------------<br>
<br>
PROGRAM COMMITTEE<br>
<br>
* Achille Fokoue, IBM Research, USA<br>
* Aditya Kalyanpur, IBM Research, USA<br>
* Alex Borgida, Rutgers University, USA<br>
* Anni-Yasmin Turhan, TU Dresden, Germany<br>
* Bijan Parsia, University of Manchester, UK<br>
* Birte Glimm, University of Oxford, UK<br>
* Carlos Areces, LORIA, France<br>
* Carsten Lutz, University of Bremen, Germany<br>
* Diego Calvanese, Free University of Bozen-Bolzano, Italy<br>
* Dirk Walther, University of Liverpool, UK<br>
* Evren Sirin, Clark & Parsia, USA<br>
* Frank Wolter, University of Liverpool, UK<br>
* Giorgos Stamou, National Technical University of Athens, Greece<br>
* Grant Weddell, University of Waterloo, Canada<br>
* Jeff Z. Pan, University of Aberdeen, UK<br>
* Jos de Bruijn, Free University of Bolzano, Italy<br>
* Luciano Serafini, ITC-IRST, Italy<br>
* Magdalena Ortiz, TU Vienna, Austia<br>
* Maja Milicic, TU Dresden, Germany<br>
* Markus Krötzsch, University of Karlsruhe, Germany<br>
* Meghyn Bienvenu, University of Bremen, Germany<br>
* Oliver Kutz, University of Bremen, Germany<br>
* Pascal Hitzler, University of Karlsruhe, Germany<br>
* Peter Patel-Schneider, Bell Labs Research, USA<br>
* Rajeev Gore, Australian National University, Australia<br>
* Ralf Möller, Hamburg University of Technology, germanz<br>
* Riccardo Rosati, Sapienza Universita di Roma, Italy<br>
* Robert Stevens, University of Manchester, UK<br>
* Roman Kontchakov, Birkbeck College, UK<br>
* Sebastian Rudolph, University of Karlsruhe, Germany<br>
* Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands<br>
* Stijn Heymans, TU Vienna, Austia<br>
* Thomas Meyer, Meraka Institute, South Africa<br>
* Thomas Schneider, University of Manchester, UK<br>
* Umberto Straccia, ISTI-CNR, Italy<br>
* Viorica Sofronie-Stokkermans, Max-Planck-Institute, Germany<br>
* Volker Haarslev, Concordia University, Canada<br>
* Yevgeny Kazakov, University of Oxford, UK<br>
<br>
----------------------------------------------------------------------<br>
<br>
RESOURCES<br>
<br>
* Information about registration, travel information, accommodation,<br>
  and so on will be made available on the DL 2009 homepage:<br>
<br>
        <a class="moz-txt-link-freetext" href="http://dl.kr.org/dl2009/">http://dl.kr.org/dl2009/</a><br>
     <br>
* Enquiries about the DL 2009 workshop can be made by contacting<br>
  the organizing committee:<br>
<br>
        <a class="moz-txt-link-abbreviated" href="mailto:dl2009@easychair.org">dl2009@easychair.org</a><br>
<br>
* The official Description Logic home page is at<br>
<br>
        <a class="moz-txt-link-freetext" href="http://dl.kr.org/">http://dl.kr.org/</a><br>
<br>
----------------------------------------------------------------------
</body>
</html>