<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>DL 2023 FIRST CALL FOR PAPERS<br>
<br>
36th International Workshop on Description Logics, DL 2023<br>
<br>
September 2–4, 2023, Rhodes, Greece<br>
<br>
Website: <a href="https://dl2023.w.uib.no/">https://dl2023.w.uib.no/</a><br>
Contact: dl2023@easychair.org<br>
<br>
IMPORTANT DATES<br>
<br>
* 2nd June 2023 Paper registration & abstract<br>
* 9th June 2023 Paper submission<br>
* 1st July, 2023 Student grants applications<br>
* 26th July 2023 Notification<br>
* 15 August 2023 Camera-ready version due<br>
* 2–4 September Workshop<br>
<br>
It is planned to hold DL 2023 as an in-person event, that is, at least<br>
one author of every accepted paper has to physically attend the<br>
workshop.<br>
<br>
GENERAL INFORMATION<br>
<br>
The DL workshop is the major annual event of the description logic<br>
research community. It is the forum in which those interested in<br>
description logics, both from academia and industry, meet to discuss<br>
ideas, share information and compare experiences. The 36th edition<br>
will be held in Rhodes, Greece, between September 2nd and 4th 2023. It<br>
will be co-located with KR 23 & NMR 23, the 20th International<br>
Conference on Principles of Knowledge Representation and Reasoning and<br>
the 21st International Workshop on Non-Monotonic Reasoning.<br>
<br>
WORKSHOP SCOPE<br>
<br>
We invite contributions on all aspects of description logic,<br>
including, but not limited to the following:<br>
<br>
Foundations of description logics: decidability and complexity of<br>
reasoning, expressive power, novel inference problems, inconsistency<br>
management, reasoning techniques, modularisation, ontology extraction,<br>
abductive and inductive reasoning, learnability<br>
<br>
Extensions of description logics: closed-world and non-monotonic<br>
reasoning, epistemic reasoning, temporal and spatial reasoning,<br>
procedural knowledge, query answering, reasoning over dynamic<br>
information<br>
<br>
Integration of description logics with other formalisms:<br>
database query languages, constraint-based programming, logic<br>
programming, rule-based systems, knowledge graphs, hybrid reasoning<br>
approaches<br>
<br>
Applications of description logics: ontology engineering, ontology<br>
languages, databases, ontology-based data access, semi-structured<br>
data, graph-structured data, linked data, document management, natural<br>
language, hybrid approaches combining logic and learning,<br>
explanations, planning, Semantic Web, cloud computing, conceptual<br>
modeling, web services, business processes, practical experiences,<br>
case studies, feasibility studies<br>
<br>
Systems and tools of all kinds around description logics: reasoners,<br>
ontology editors, ontology alignment, ontology extraction, ontology<br>
learning and mining, other support for ontology development, database<br>
schema design, query rewriting/answering/optimization, data<br>
integration, implementation and optimization techniques, benchmarking,<br>
evaluation, modeling<br>
<br>
STUDENT SUPPORT<br>
<br>
Support for students wishing to attend DL 2023 will be provided either<br>
directly by DL organizers or in collaboration with KR 2023. Details<br>
will be announced in due time.<br>
<br>
SUBMISSIONS<br>
<br>
DL reviewing is *single-blind*, so the names of the authors will be<br>
visible to the reviewers and should be indicated on the submitted<br>
files. We allow anonymous submissions on request (see below).<br>
<br>
Submissions may be of two types:<br>
A – Regular papers of up to 11 pages (excluding references)<br>
B – Extended abstracts of 2–4 pages (excluding references)<br>
<br>
Both regular papers and abstracts must be formatted using the new<br>
CEURART style, based on the DL-specific template available on:<br>
<br>
* <a href="https://dl2023.w.uib.no/submissions/">https://dl2023.w.uib.no/submissions/</a><br>
<br>
and submitted via:<br>
<br>
* <a href="https://easychair.org/conferences/?conf=dl2023">https://easychair.org/conferences/?conf=dl2023</a><br>
<br>
Submissions of type A must contain enough substance that they can be<br>
cited in other publications and may not have appeared before. A clearly<br>
marked appendix with additional proofs and evaluation data may be<br>
included.<br>
<br>
For submissions of type B, we highly encourage a clearly marked<br>
appendix with additional proofs, evaluation data, or extended version<br>
of your paper, which was accepted at another conference or which you<br>
submitted or plan to submit to another conference. Abstracts of papers<br>
accepted or under review at other venues must clearly state the<br>
venue where the paper has been submitted alongside its status.<br>
The appendix will be read at the discretion of the reviewers and will<br>
not be included in the proceedings. The appendix does not need to be in<br>
the CEURART format.<br>
<br>
Accepted submissions of both types will be selected for either oral or<br>
poster presentation at the workshop. Submissions will be judged solely<br>
based on their content, and the type of submission will have no<br>
bearing on the decision between oral and poster presentation. The<br>
proceedings will be made publicly available via CEUR-WS.org.<br>
<br>
In justified cases, if you wish your submission to be handled<br>
anonymously (i.e., double-blind), please send an e-mail to<br>
dl2023@easychair.org explaining the reasons. You will receive<br>
instructions on how to proceed.<br>
<br>
ORGANIZATION<br>
<br>
General Chair:<br>
Carsten Lutz, Leipzig University, Germany<br>
<br>
PC Co-Chairs:<br>
Ana Ozaki, University of Bergen, Norway<br>
Oliver Kutz, Free University of Bozen-Bolzano, Italy<br>
<br>
Local Chair:<br>
Pavlos Peppas, University of Patras, Greece<br>
<br>
Publicity Co-Chairs:<br>
Ricardo Guimarães, University of Bergen, Norway<br>
Maurice Funk, Leipzig University, Germany<br>
<br>
<br>
</div>
<div><br>
</div>
</body>
</html>