June 10, 2012
Slides of invited talks are available at the invited speaker page

June 5, 2012
On June 7 and June 8 the registration desk will open at 8.30.

June 5, 2012
Information on the social event has been added to the workshop program

June 5, 2012
New info on transportation and some tourist information have been added to the venue & travel page

May 18, 2012
DL-12 proceedings are now on-line.

May 11, 2012
Detailed program has been posted.

April 27, 2012
The list of accepted papers is now available.

April 27, 2012
JAIR special track celebrating the DL workshop silver anniversary.
Call for papers.

April 13, 2012
details on registrations, accommodations, and student grants have been posted.

March 7, 2012
Submission deadline extended to March 17, 2012.

November 22, 2011
Submission details have been posted.

October 28, 2011
Invited Speakers have been posted.

October 2, 2011
Important dates have been posted.

Supported by:


- KR 2012
- NMR 2012

Call for Papers


25th International Workshop on Description Logics (DL 2012)
Rome, Italy, June 7th to June 10th, 2012
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).

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

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.

Papers may be no longer than 11 pages including title, (optional) abstract and references, and must be formatted in Springer LNCS style, see
If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix in the same format. The material in the appendix may be read at the discretion of the programme committee and will not be published. Papers must be submitted in PDF format via EasyChair; see
The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series, see
Accepted submissions will be selected for either oral or poster presentation, which will be clearly distinguished in the proceedings; however, all accepted papers can be 11 pages long.

The best student paper will be selected among the ones written solely by students (i.e. persons not holding a PhD as of March 10, 2012) and will be awarded a prize of 500 euros. Authors of such papers are requested to indicate their eligibility upon submission at easychair.

A limited number of student grants are available for participation in DL 2012. Each grant will cover the workshop registration fee and (subject to availability of resources) will provide a contribution to travel costs. The students who are interested in applying for this grant must write an email to the workshop organizers at declaring their interest in the student grant and providing (i) a proof of full-time student status (copy of valid student ID card or letter from their institution or program director), and (ii) a short justification confirming that the attendance to DL 2012 could not be financed by other means such as project funds. The deadline for applying to the student grants is May 11, 2012.

* 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.

* 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)

Yevgeny Kazakov (Program co-Chair)
Frank Wolter (Program co-Chair)
Carlos Areces
Alessandro Artale
Franz Baader
Meghyn Bienvenu
Alex Borgida
Diego Calvanese
Bernardo Cuenca Grau
Giuseppe De Giacomo
Enrico Franconi
Birte Glimm
Valentin Goranko
Rajeev Gore
Ian Horrocks
Pavel Klinov
Boris Konev
Roman Kontchakov
Markus Kr÷tzsch
Maurizio Lenzerini
Thorsten Liebig
Carsten Lutz
Maarten Marx
Thomas Meyer
Ralf M÷ller
Boris Motik
Magdalena Ortiz
Bijan Parsia
Peter Patel-Schneider
Rafael Pe˝aloza
Riccardo Rosati
Sebastian Rudolph
Ulrike Sattler
Renate Schmidt
Thomas Schneider
Luciano Serafini
Mantas Simkus
Viorica Sofronie-Stokkermans
Giorgos Stamou
Giorgos Stoilos
Umberto Straccia
David Toman
Anni-Yasmin Turhan
Grant Weddell
Michael Zakharyaschev

* Information about submission, registration, travel information, accommodation, etc., is available on the DL 2012 homepage:
* Enquiries about the DL 2012 workshop can be made by contacting the organizing committee: or
* The official Description Logic home page is at