Call for Papers
26th International Workshop on Description Logics (DL 2013)
Ulm, Germany, July 23--26, 2013
Co-located with ORE 2013; followed by RR 2013, Reasoning Web 2013
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 Mannheim.
|Abstract submission deadline:||April 5th, 2013 April 12th, 2013|
|Paper submission deadline:||April 12th, 2013 April 19th, 2013|
|Acceptance notification:||May 27th, 2013|
|Camera ready copies:||June 9th, 2013 June 17th, 2013|
|Early registration:||June 24th, 2013|
|Workshop:||July 23rd to 26th, 2013|
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 dataintegration tools), implementation and optimization techniques, benchmarking, evaluation, modeling
- Michel Dumontier, Carleton University, Ottawa, Canada
- Giuseppe De Giacomo, Sapienza Universita di Roma, Italy
- Ian Pratt-Hartmann, University of Manchester, UK
- 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.
- Submission page: http://www.easychair.org/conferences/?conf=dl2013
- 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)
- Markus Kroetzsch, University of Oxford, U.K. (Program co-Chair)
- Birte Glimm, University of Ulm, Germany (Workshop co-Chair)
- Yevgeny Kazakov, University of Ulm, Germany (Workshop co-Chair)