<div dir="ltr">Dear Description Logic Community Members,<br>We are happy to announce that the next DL Seminar will take place on the 10th of January at 2pm CE(S)T via Zoom.<br>Our next speaker is Magdalena Ortiz and she will present her work "Bridging DLs and SHACL Validation".<br>The abstract is provided below, and the appropriate Zoom link will appear later on our webpage (<a href="https://dl.kr.org/seminar">https://dl.kr.org/seminar</a>).<br>Happy new year and see you all at the seminar,<br>Bartosz Bednarczyk (on behalf of the DL Seminar Organizing Team)<br><br><br>Magdalena Ortiz Bridging DLs and SHACL Validation<br>The Description Logics (DL) community has traditionally favoured classical open-world semantics, and has mostly studied reasoning tasks based on satisfiability and entailment. But alternative choices lead to other scenarios where DLs can also be powerful tools. In particular, we will look at SHACL, a language for describing constraints on RDF graphs, which is syntactically no different from a DL but it makes different semantic choices and the central reasoning task is validation. We will present our work on SHACL validation in the presence of DL ontologies, a problem that combines both open and closed world reasoning. We will discuss some semantic challenges and describe techniques for building core models and for validation via rewriting.<br>(Based on joint work with Anouk Oudshoorm, Shqioonja Ahmetaj and Mantas Šimkus).</div>