posted by user: mkroetzsch || 5614 views || tracked by 20 users: [display]

DL 2013 : 26th International Workshop on Description Logics


When Jul 23, 2013 - Jul 26, 2013
Where Ulm, Germany
Abstract Registration Due Apr 12, 2013
Submission Deadline Apr 19, 2013
Notification Due May 27, 2013
Final Version Due Jun 9, 2013
Categories    artificial intelligence   ontology   knowledge representation   semantic web

Call For Papers

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 at the University of Ulm, Campus East, from
July 23rd to July 26th, 2013.

In this year, DL workshop will be collocated with the 2nd OWL Reasoner
Evaluation Workshop (ORE), which will take place on July 22nd in Ulm,
Germany. Furthermore, the International Conference on Web Reasoning
and Rule Systems (RR), will take place in Mannheim (1:40 min by train
from Ulm) directly subsequent to the DL workshop (July 27th - 29th),
and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in

We invite contributions on all aspects of description logics,
including but not limited to:

* Foundations of description logics:

decidability and complexity of reasoning, expressive power,
novel inference problems, inconsistency tolerance,
reasoning techniques, and modularity aspects

* Extensions of description logics:

closed-world and nonmonotonic reasoning, defaults, epistemic
reasoning, temporal and spatial reasoning, procedural knowledge,
query languages

* Integration of description logics with other formalisms:

object-oriented representation languages, database query
languages, constraint-based programming, logic programming, and
rule-based systems

* Applications and use areas of description logics:

ontology engineering, ontology languages, databases,
ontology-based data access, semi-structured data, document
management, natural language, learning, planning, Semantic Web,
and cloud computing

* Systems and tools around description logics:

reasoners, software tools for and using description logic
reasoning (e.g. ontology editors, database schema design, query
optimization, and data integration tools), implementation and
optimization techniques, benchmarking, evaluation, modeling

* Giuseppe De Giacomo, Sapienza Universita di Roma, Italy
* Michel Dumontier, Carleton University, Ottawa, Canada
* Ian Pratt-Hartmann, University of Manchester, UK

As in previous years, the DL Workshop 2013 will again consider to
select one or more *Distinguished Student Papers* among the accepted
entries. This distinction is meant to encourage independent work by
young researchers in the field, for which DL Workshop is an ideal
platform. The award is therefore limited to papers that are authored
without the direct participation of senior researchers. The term
"student" is meant in a wide sense.

A paper is eligible as Distinguished Student Paper if *all* of its
authors are undergraduate, graduate, or doctoral students at the time
of the submission. This shall generally include anyone who has not yet
received a doctoral degree in a related field yet. The selection
committee might consider exceptions, e.g., if the work is based on a
doctoral thesis that has been completed very recently.

* Submissions are limited to 11 pages, excluding references, and
should follow the Springer LNCS style guide (
* There is no page limit on the list of references.
* A clearly marked appendix with additional proofs or evaluation data
can be appended; it will be read at the discretion of the reviewers.
* Please note the paragraph about Distinguished Student Papers above.
* Submission page:
* Accepted papers will be made available electronically in the
CEUR Workshop Proceedings series (
* Accepted submissions will be selected for either oral or poster
presentation, which will be clearly distinguished in the proceedings;
however, the length of all accepted papers can be the same.

* Thomas Eiter, Vienna University of Technology (Program co-Chair)
* Birte Glimm, University of Ulm, Germany (Workshop co-Chair)
* Yevgeny Kazakov, University of Ulm, Germany (Workshop co-Chair)
* Markus Kroetzsch, University of Oxford, U.K. (Program co-Chair)

* Alessandro Artale, Free University of Bolzano-Bozen
* Franz Baader, TU Dresden
* Meghyn Bienvenu, CNRS & Université Paris-Sud
* Alex Borgida, Rutgers University
* Diego Calvanese, Free University of Bozen-Bolzano
* Bernardo Cuenca Grau, University of Oxford
* Enrico Franconi, Free University of Bozen-Bolzano
* Pascal Hitzler, Wright State University
* Matthew Horridge, Stanford University
* Ian Horrocks, University of Oxford
* Pavel Klinov, University of Ulm
* Boris Konev, University of Liverpool
* Roman Kontchakov, Birkbeck College
* Jens Lehmann, University of Leipzig
* Thorsten Liebig, derivo GmbH
* Carsten Lutz, University of Bremen
* Deborah McGuinness, Rensselaer Polytechnic Institute
* Thomas Meyer, UKZN and CSIR Meraka
* Ralf Möller, Hamburg University of Technology
* Linh Anh Nguyen, University of Warsaw
* Magdalena Ortiz, Vienna University of Technology
* Bijan Parsia, University of Manchester
* Peter Patel-Schneider, Nuance Communications
* Rafael Peñaloza, TU Dresden
* Guilin Qi, Southeast University
* Riccardo Rosati, Sapienza Universita' di Roma
* Sebastian Rudolph, Karlsruhe Institute of Technology
* Renate A. Schmidt, University of Manchester
* Ulrike Sattler, University of Manchester
* Thomas Schneider, University of Bremen
* Luciano Serafini, Fondazione Bruno Kessler
* Barış Sertkaya, SAP Research Center Dresden
* Inanc Seylan, Universty of Bremen
* Mantas Simkus, Vienna University of Technology
* Giorgos Stamou, National Technical University of Athens
* Giorgos Stoilos, National Technical University of Athens
* Umberto Straccia, Institute of Information Science and Technologies
* David Toman, University of Waterloo
* Dmitry Tsarkov, The University of Manchester
* Anni-Yasmin Turhan, TU Dresden
* Zhe Wang, University of Oxford
* Kewen Wang, Griffith University
* Grant Weddell, University of Waterloo
* Frank Wolter, University of Liverpool
* Michael Zakharyaschev, Birkbeck College

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

Related Resources

ECSQARU 2021   16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
COMPUTATION TOOLS 2021   The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
SLIE 2021   Semantic, Logics, Information Extraction and AI (extended deadline)
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
LNGAI 2021   The First International Workshop on Logics for New-Generation Artificial Intelligence
JCRAI 2021   2021 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2021)
JELIA 2021   European Conference on Logics in Artificial Intelligence
StoryCase 2012   ICCBR-12 Workshop on Stories, Episodes, and Cases (StoryCase)