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

[domenico lembo]

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

                                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 at dis.uniroma1.org
* The official Description Logic home page is at http://dl.kr.org/