posted by user: meghyn || 1109 views || tracked by 3 users: [display]

DL 2014 : 27th International Workshop on Description Logics


When Jul 17, 2014 - Jul 20, 2014
Where Vienna, Austria
Abstract Registration Due Apr 7, 2014
Submission Deadline Apr 11, 2014
Notification Due May 26, 2014
Final Version Due Jun 15, 2014

Call For Papers



27th International Workshop on Description Logics (DL 2014)

Vienna, Austria, July 17--20, 2014


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 Technical University of Vienna, from
July 17th to July 20th, 2014.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event
hosting several major logic conferences and workshops (
In particular, the workshop is co-located with KR 2014 and will share a joint
session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Paper registration deadline: April 7, 2014
Paper submission deadline: April 11, 2014
Acceptance notification: May 26, 2014
Camera ready copies: June 15, 2014
Workshop: July 17-20, 2014

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

* Michael Benedikt, University of Oxford, UK
* Patrick Blackburn, University of Roskilde, Denmark
* Alon Y. Halevy, Google, USA

* Submissions may be either papers of up to 11 pages (excluding references)
or extended abstracts of at most 3 pages (excluding references) and must be
formatted in Springer LNCS style. There is no page limit on the list of
* Extended abstracts are designed for authors who wish to announce results
that have been published elsewhere, or which the authors intend to submit
or have already submitted to a venue with an incompatible prior / concurrent
publication policy.
* A clearly marked appendix (e.g., with additional proofs or evaluation data)
may optionally be appended. It will be read at the discretion of the reviewers
and not included in the proceedings. It does not need to be in LNCS format.
* Authors submitting extended abstracts are encouraged to include such an
appendix, with sufficient material (e.g. copy of the already published paper
or technical report) to judge the scientific merit of the work described in
the abstract.
* Submission page:
* Accepted papers and extended abstracts will be made available electronically
  in the CEUR Workshop Proceedings series (
* Accepted submissions, be they full papers or extended abstracts, will be
selected for either oral or poster presentation at the workshop. Submissions
will be judged solely based upon their content, and the type of submission
will have no bearing on the decision between oral and poster presentation.

* Meghyn Bienvenu, CNRS & University of Paris-Sud (Program co-Chair)
* Magdalena Ortiz, Vienna University of Technology (Workshop co-Chair)
* Riccardo Rosati, Sapienza University of Rome, Italy (Program co-Chair)
* Mantas Simkus, Vienna University of Technology (Workshop co-Chair)

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

Related Resources

SLIE 2016   Semantic, Logics, Information Extraction and AI (SLIE)
SLIE 2017   Semantic, Logics, Information Extraction and AI
DL-U-TC@HICSS 2017   Deep learning, Ubiquitous and Toy Computing Minitrack @ HICSS-50
ODD 2016   KDD 2016 Workshop on Outlier Definition, Detection, and Description on Demand
JELIA 2016 2016   15th European Conference On Logics In Artificial Intelligence
GandALF 2016   The Seventh International Symposium on Games, Automata, Logics and Formal Verification
ISSC 2016   International Conference - The Logics Of Image: Visualization, Iconicity, Imagination And Human Creativity
COMPUTATION TOOLS 2017   The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
ARQNL 2016   Automated Reasoning in Quantified Non-Classical Logics
ARQNL 2016   Automated Reasoning in Quantified Non-Classical Logics