Original: https://ceur-ws.org/Vol-3739/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3739/ | Year: 2024

Vol-3739
urn:nbn:de:0074-3739-5

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

DL 2024

Proceedings of the 37th International Workshop on Description Logics (DL 2024)

Bergen, Norway, June 18-21, 2024.

Edited by

Laura Giordano
Jean Christoph Jung
Ana Ozaki

Table of Contents

PDF
Querying Inconsistent Prioritized Data (Abstract of Invited Talk) PDF
Camille Bourgaux
Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk) PDF
Gabriele Kern-Isberner
Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk) PDF
Ondrej Kuzelka
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with 𝜔-Admissible Concrete Domains PDF
Filippo De Bortoli, Patrick Koopmann, Stefan Borgwardt
Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language PDF
Alisa Kovtunova, Mayank Jobanputra, Stefan Borgwardt, Duy Nhu, Vera Demberg
Defeasible Justification for KML-Style Logic PDF
Thomas Andreas Meyer, Steve Wang, Victoria Chama, Giovanni Casini
On Mixed Semantics of Path Description Dependencies in FunDL PDF
Eva Feng, Grant E. Weddell, David Toman 0001
Modal Separability of Fixpoint Formulae PDF
Jedrzej Kolodziejski, Jean Christoph Jung
On the Computation of a Productive Partially Ordered Possibilistic Repair PDF
Ahmed Laouar, Sihem Belabbes, Salem Benferhat
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases PDF
Mantas Simkus, Anouk Oudshoorn, Magdalena Ortiz 0001
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations PDF
Rafael Peñaloza, Anni-Yasmin Turhan
Defeasible Reasoning with Prototype Descriptions: A New Preference Order PDF
Oliver Kutz, Loris Bozzato, Gabriele Sacco
Translating Equilibrium Description Logics into Circumscription PDF
Federica Di Stefano 0001, Mantas Simkus
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations PDF
Frank Wolter, Michael Zakharyaschev
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract) PDF
Francesco Bartoli, Laura Giordano 0001, Daniele Theseider Dupré, Marco Botta, Roberto Esposito, Mario Alviano
Informativeness of Query Answers for Knowledge Bases (Extended Abstract) PDF
Marco Console, Gianluca Cima, Luca Andolfi, Maurizio Lenzerini
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract) PDF
Anton R. Gnatenko, Vladislav Ryzhikov, Alessandro Artale, Michael Zakharyaschev
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract) PDF
Roman Kontchakov, Andrea Mazzullo, Alessandro Artale, Frank Wolter
Unification in ELH𝑅+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract) PDF
Oliver Fernandez Gil, Franz Baader
Data Complexity in Expressive Description Logics With Path Expressions (Extended Abstract) PDF
Bartosz Bednarczyk
On the of Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract) PDF
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract) PDF
Júlia Pukancová, Janka Boborová, Jakub Kloc, Martin Homola
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract) PDF
Ana Ozaki, Raoul Koudijs, Balder ten Cate
Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract) PDF
Riccardo Rosati 0001, Domenico Fabio Savo, Gianluca Cima, Lorenzo Marconi 0002, Domenico Lembo
On the Complexity of Maslov’s Class K (Extended Abstract) PDF
Vincent Michielini, Oskar Fiuk, Emanuel Kieronski
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract) PDF
Giuseppe Perelli, Oliver Fernandez Gil, Anni-Yasmin Turhan, Fabio Patrizi
A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract) PDF
Yue Ma 0009, Badran Raddaoui, Saïd Jabbour
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract) PDF
Francesco Kriegel
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract) PDF
Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract) PDF
Ana Ozaki, Victor Lacerda, Ricardo Guimarães 0001
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract) PDF
Cem Okulmus, Nikolaus Augsten, Bianca Loehnert, Magdalena Ortiz 0001
Actively Learning Ontologies from LLMs: First Results (Extended Abstract) PDF
Ana Ozaki, Riccardo Squarcialupi, Matteo Magnini
Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract) PDF
Marcin Przybylko, Quentin Manière
Probably Approximately Correct Ontology Completion with pacco (Extended Abstract) PDF
Sergei A. Obiedkov, Baris Sertkaya
Eviction and Reception for Description Logic Concepts (Extended Abstract) PDF
Ana Ozaki, Jandson S. Ribeiro
Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract) PDF
Marco Console, Maurizio Lenzerini, Gianluca Cima, Laura Papi
Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract) PDF
Steffen Staab, Ralf Lämmel, Daniel Hernández 0002, Philipp Seifer
Foundations of Ontology Template Language OTTR (Extended Abstract) PDF
Leif Harald Karlsen, Martin G. Skjæveland, Egor V. Kostylev, Erik Snilsberg
Stable Model Semantics for Description Logic Terminologies (Extended Abstract) PDF
Mantas Simkus, Federica Di Stefano 0001

2024-08-05: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|