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 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).
Important Dates
| Paper registration deadline: | April 7 April 11, 2014 |
| Paper submission deadline: | April 11 April 18, 2014 |
| Notification of acceptance: | May 26, 2014 |
| Camera-ready copies: | June 15, 2014 |
| Workshop: | July 17-20, 2014 |
Workshop Scope
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
Invited Speakers
Submissions
- 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 references.
- Extended abstracts are designed for authors who wish to
announce results that have been published elsewhere, or which the
authors indent 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
extended abstract.
- Submission page:
http://www.easychair.org/conferences/?conf=dl2014
- Accepted papers and extended abstracts will be made available electronically
in the CEUR Workshop Proceedings series
(http://www.CEUR-ws.org/).
- Many conferences (e.g. RR 2014) regard the
DL workshop proceedings as informal, and thus allow prior / concurrent publication at the DL
workshop. Authors wishing to publish in venues having stricter
submission policies may choose to submit their work to DL as an
extended abstract rather than a full paper.
- 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.
Organization
- Meghyn Bienvenu, CNRS
& Université Paris-Sud, France (Program co-Chair)
- Magdalena
Ortiz, Vienna University of Technology, Austria (Workshop
co-Chair)
- Riccardo Rosati, Sapienza Università di Roma, Italy (Program
co-Chair)
- Mantas
Šimkus, Vienna University of Technology, Austria (Workshop co-Chair)
Resources
- Information about submission, registration, travel information, etc.,
is available on the DL 2014 homepage: http://dl.kr.org/dl2014
- Enquiries about the DL 2014 workshop can be made by contacting the
organizing committee.
- The official Description Logic homepage is at http://dl.kr.org/
