posted by system || 1988 views || tracked by 2 users: [display]

DL 2012 : 25th International Workshop on Description Logics


When Jun 7, 2012 - Jun 10, 2012
Where Rome, Italy
Submission Deadline Mar 10, 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


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


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


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

Related Resources

LNLM-SI-DL 2020   Special Issue on Deep Learning Methods: Trends and Applications - Submission deadline extended
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
TPDS-SS-AI 2020   IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS) Special Section on Parallel and Distributed Computing Techniques for AI, ML and DL
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
SLIE 2020   Semantic, Logics, Information Extraction and AI
Book_DL_IoT 2020   Book: Deep Learning for Internet of Things Infrastructure
ZJULogAI 2020   Zhejiang Conferences on Logics in Artificial Intelligence
IWIL 2020   14th International Workshop on the Implementation of Logics - IWIL 2020