[DL] [DL Seminar] Next seminar on the 10th of January by Magdalena Ortiz

[Bartosz Bednarczyk]

Dear Description Logic Community Members,
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.
Our next speaker is Magdalena Ortiz and she will present her work "Bridging
DLs and SHACL Validation".
The abstract is provided below, and the appropriate Zoom link will appear
later on our webpage (https://dl.kr.org/seminar).
Happy new year and see you all at the seminar,
Bartosz Bednarczyk (on behalf of the DL Seminar Organizing Team)


Magdalena Ortiz Bridging DLs and SHACL Validation
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.
(Based on joint work with Anouk Oudshoorm, Shqioonja Ahmetaj and Mantas
Šimkus).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20250104/d148073f/attachment.htm>