Description Logics

Keyphrases

Publications

2023

Fabiola Hodo, Sai Pranav, Baris Sertkaya
Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract). Description Logics (2023)
Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
ASP-based Axiom Pinpointing for Description Logics. Description Logics (2023)
Alessandro Artale, Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Description Logics (2023)
Gabriele Sacco, Loris Bozzato, Oliver Kutz
Defeasible Reasoning with Prototype Descriptions: First Steps. Description Logics (2023)
Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). Description Logics (2023)
Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin
Dispute Resolution with OWL DL and Reasoning. Description Logics (2023)
Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola
Improving DL-Learner on a Malware Detection Use Case. Description Logics (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics (2023)
Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). Description Logics (2023)
Nikola Dragovic, Cem Okulmus, Magdalena Ortiz
Rewriting Ontology-Mediated Navigational Queries into Cypher. Description Logics (2023)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics (2023)
Nofar Carmeli
Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk). Description Logics (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Extended Abstract). Description Logics (2023)
Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
Path Description Dependencies in Feature-Based DLs. Description Logics (2023)
Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains. Description Logics (2023)
Carsten Lutz, Quentin Manière, Robin Nolte
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). Description Logics (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics (2023)
Francesca Toni
Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk). Description Logics (2023)
Oliver Fernández Gil, Pavlos Marantidis
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. Description Logics (2023)
Moritz Illich, Birte Glimm
Fully Dynamic Materialization Maintenance. Description Logics (2023)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). Description Logics (2023)
Claudia d'Amato, Francesco Benedetti, Nicola Fanizzi
Efficient Explanation of Predictions on DL Knowledge Graphs through Enhanced Similarity Search. Description Logics (2023)
Anni-Yasmin Turhan
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). Description Logics (2023)
Rafael Peñaloza
Semiring Provenance in Expressive Description Logics. Description Logics (2023)
Franz Baader
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). Description Logics (2023)
Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou
The Music Part Ontology (Extended Abstract). Description Logics (2023)
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics (2023)
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics (2023)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee. Description Logics (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics (2023)
Björn Gehrke, Till Mossakowski
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. Description Logics (2023)
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). Description Logics (2023)
Tobias John, Patrick Koopmann
Towards Ontology-Mediated Planning with OWL DL Ontologies. Description Logics (2023)
Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali
Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics (2023)
Joshua Hirschbrunn, Yevgeny Kazakov
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. Description Logics (2023)
Roland Bernard, Oliver Kutz, Nicolas Troquard
Making Axiom Weakening Work in SROIQ. Description Logics (2023)
Axel Mascaro, Christophe Rey
Commonality Subtraction Operator for the EL Description Logic. Description Logics (2023)
Piero Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Circumscription in DL-Lite: Progress Report. Description Logics (2023)
Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova
Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics (2023)
Ying Li, Patrick Lambrix
Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract). Description Logics (2023)
Jakub Kloc, Martin Homola, Júlia Pukancová
DL Abduction API v2 and GUI Interface (Extended Abstract). Description Logics (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)

2022

volume 3263, 2022

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Description Logics 3263 (2022)