Friday, October 28, 2011

CfP: 25th International Workshop on Description Logics (DL 2012)

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

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/