===============================================================================

CALL FOR PAPERS

25th International Workshop on Description Logics (DL 2012)

Rome, Italy, June 7-10, 2012

Co-located with KR 2012, NMR 2012, AI*IA 2012

http://dl.kr.org/dl2012

===============================================================================

The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences.

The workshop will be held in the conference rooms of Sapienza Universit? di
Roma (Via Caserta 6, Rome), from June 7th to June 10th, 2012.

In this year, DL workshop will share a joint session together with the
International Workshop on Non-Monotonic Reasoning (NMR 2012).


IMPORTANT DATES

Paper submission deadline: March 10, 2012
Notification of acceptance: April 22, 2012
Camera ready papers due: May 4, 2012
Workshop: June 7-10, 2012


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 non-monotonic 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.

INVITED SPEAKERS

* Serge Abiteboul, Coll?ge de France, INRIA & ENS Cachan, France
* Piero Bonatti, Universit? degli Studi di Napoli Federico II, Italy
* Alan Rector, University of Manchester, U.K.


ORGANIZATION

* Domenico Lembo, Sapienza Universit? di Roma, Italy (Workshop Chair)
* Yevgeny Kazakov, University of Ulm, Germany (Program co-Chair)
* Frank Wolter, University of Liverpool, U.K. (Program co-Chair)


RESOURCES

* Information about submission, registration, travel information, etc.,
is available on the DL 2012 homepage: http://dl.kr.org/dl2012
* Enquiries about the DL 2012 workshop can be made by contacting the
organizing committee: dl2012@dis.uniroma1.org
* The official Description Logic home page is at http://dl.kr.org/