default search action
Description Logics 2023: Rhodes, Greece
- Oliver Kutz, Carsten Lutz, Ana Ozaki:
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. CEUR Workshop Proceedings 3515, CEUR-WS.org 2023
Invited Talks
- Nofar Carmeli:
Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk). - Francesca Toni:
Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk). - Anni-Yasmin Turhan:
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).
Full Papers
- Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov:
Why Not? Explaining Missing Entailments with Evee. - Claudia d'Amato, Francesco Benedetti, Nicola Fanizzi:
Efficient Explanation of Predictions on DL Knowledge Graphs through Enhanced Similarity Search. - Franz Baader, Filippo De Bortoli:
On the Abstract Expressive Power of Description Logics with Concrete Domains. - Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin:
Dispute Resolution with OWL DL and Reasoning. - Roland Bernard, Oliver Kutz, Nicolas Troquard:
Making Axiom Weakening Work in SROIQ. - Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola:
Improving DL-Learner on a Malware Detection Use Case. - Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
:
Circumscription in DL-Lite: Progress Report. - Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova:
Computing ABox Justifications for Query Answers via Datalog Rewriting. - Nikola Dragovic, Cem Okulmus, Magdalena Ortiz:
Rewriting Ontology-Mediated Navigational Queries into Cypher. - Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. - Oliver Fernández Gil, Pavlos Marantidis:
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. - Björn Gehrke, Till Mossakowski:
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. - Joshua Hirschbrunn, Yevgeny Kazakov:
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. - Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
ASP-based Axiom Pinpointing for Description Logics. - Moritz Illich, Birte Glimm:
Fully Dynamic Materialization Maintenance. - Tobias John, Patrick Koopmann:
Towards Ontology-Mediated Planning with OWL DL Ontologies. - Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. - Axel Mascaro, Christophe Rey:
Commonality Subtraction Operator for the EL Description Logic. - Rafael Peñaloza:
Semiring Provenance in Expressive Description Logics. - Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Defeasible Reasoning with Prototype Descriptions: First Steps.
Extended Abstracts
- Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). - 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). - Alessandro Artale, Andrea Mazzullo:
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). - Franz Baader:
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). - Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). - 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). - 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). - Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). - Lukas Gerlach, David Carral:
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). - Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Extended Abstract). - Fabiola Hodo, Sai Pranav, Baris Sertkaya:
Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract). - Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). - Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou:
The Music Part Ontology (Extended Abstract). - Jakub Kloc, Martin Homola, Júlia Pukancová:
DL Abduction API v2 and GUI Interface (Extended Abstract). - Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali:
Direct Mappings under the Lens of Information Capacity (Extended Abstract). - Ying Li, Patrick Lambrix:
Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract). - Carsten Lutz, Quentin Manière, Robin Nolte:
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). - Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit:
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract).
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-15 20:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: