<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><span style="font-family: Menlo; font-size: 11px; ">===============================================================================</span></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> CALL FOR PAPERS</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> 27th International Workshop on Description Logics (DL 2014)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> Vienna, Austria, July 17--20, 2014</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> <a href="http://dl.kr.org/dl2014">http://dl.kr.org/dl2014</a></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">===============================================================================</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">The DL workshop is the major annual event of the description logic</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">research community. It is the forum at which those interested in</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">description logics, both from academia and industry, meet to discuss</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">ideas, share information and compare experiences.</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">The workshop will be held at the Technical University of Vienna, from</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">July 17th to July 20th, 2014.</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">This year the DL workshop is part of the Vienna Summer of Logic, a vast event </span></font></div><div><font face="Menlo"><span style="font-size: 11px;">hosting several major logic conferences and workshops (<a href="http://vsl2014.at/">http://vsl2014.at/</a>). </span></font></div><div><font face="Menlo"><span style="font-size: 11px;">In particular, the workshop is co-located with KR 2014 and will share a joint</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">session with the International Workshop on Non-Monotonic Reasoning (NMR 2014). </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">IMPORTANT DATES</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">---------------</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">Paper registration deadline: April 7, 2014 </span></font></div><div><font face="Menlo"><span style="font-size: 11px;">Paper submission deadline: April 11, 2014 </span></font></div><div><font face="Menlo"><span style="font-size: 11px;">Acceptance notification: May 26, 2014</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">Camera ready copies: June 15, 2014</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">Workshop: July 17-20, 2014</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">WORKSHOP SCOPE</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">--------------</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">We invite contributions on all aspects of description logics,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">including but not limited to:</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> * Foundations of description logics:</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> decidability and complexity of reasoning, expressive power,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> novel inference problems, inconsistency tolerance,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> reasoning techniques, and modularity aspects</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> * Extensions of description logics:</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> closed-world and nonmonotonic reasoning, defaults, epistemic</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> reasoning, temporal and spatial reasoning, procedural knowledge,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> query languages</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> * Integration of description logics with other formalisms:</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> object-oriented representation languages, database query</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> languages, constraint-based programming, logic programming, and</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> rule-based systems</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> * Applications and use areas of description logics:</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> ontology engineering, ontology languages, databases,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> ontology-based data access, semi-structured data, document</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> management, natural language, learning, planning, Semantic Web,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> and cloud computing</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> * Systems and tools around description logics:</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> reasoners, software tools for and using description logic</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> reasoning (e.g. ontology editors, database schema design, query</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> optimization, and data integration tools), implementation and</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> optimization techniques, benchmarking, evaluation, modeling</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">INVITED SPEAKERS</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">----------------</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Michael Benedikt, University of Oxford, UK</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Patrick Blackburn, University of Roskilde, Denmark</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Alon Y. Halevy, Google, USA </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">SUBMISSIONS</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">-----------</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Submissions may be either papers of up to 11 pages (excluding references)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> or extended abstracts of at most 3 pages (excluding references) and must be </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> formatted in Springer LNCS style. There is no page limit on the list of </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> references. </span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Extended abstracts are designed for authors who wish to announce results </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> that have been published elsewhere, or which the authors intend to submit </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> or have already submitted to a venue with an incompatible prior / concurrent </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> publication policy. </span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* A clearly marked appendix (e.g., with additional proofs or evaluation data)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> may optionally be appended. It will be read at the discretion of the reviewers </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> and not included in the proceedings. It does not need to be in LNCS format.</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Authors submitting extended abstracts are encouraged to include such an </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> appendix, with sufficient material (e.g. copy of the already published paper </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> or technical report) to judge the scientific merit of the work described in </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> the abstract.</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Submission page: <a href="http://www.easychair.org/conferences/?conf=dl2014">http://www.easychair.org/conferences/?conf=dl2014</a></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Accepted papers and extended abstracts will be made available electronically</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> in the CEUR Workshop Proceedings series (<a href="http://www.CEUR-ws.org/">http://www.CEUR-ws.org/</a>).</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Accepted submissions, be they full papers or extended abstracts, will be </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> selected for either oral or poster presentation at the workshop. Submissions </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> will be judged solely based upon their content, and the type of submission </span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> will have no bearing on the decision between oral and poster presentation.</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">ORGANIZATION</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">------------</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Meghyn Bienvenu, CNRS & University of Paris-Sud (Program co-Chair)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Magdalena Ortiz, Vienna University of Technology (Workshop co-Chair)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Riccardo Rosati, Sapienza University of Rome, Italy (Program co-Chair)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Mantas Simkus, Vienna University of Technology (Workshop co-Chair)</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;"><br></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">RESOURCES</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">---------</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Information about submission, registration, travel information, etc.,</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> is available on the DL 2014 homepage: <a href="http://dl.kr.org/dl2014">http://dl.kr.org/dl2014</a></span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* Enquiries about the DL 2014 workshop can be made by contacting the</span></font></div><div><font face="Menlo"><span style="font-size: 11px;"> organizing committee.</span></font></div><div><font face="Menlo"><span style="font-size: 11px;">* The official Description Logic home page is at <a href="http://dl.kr.org/">http://dl.kr.org/</a></span></font></div><div><br></div></body></html>