Description Logics

Keyphrases

Publications

2024

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

volume 3739, 2024

Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Description Logics 3739 (2024)

2023

volume 3515, 2023

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Description Logics 3515 (2023)