![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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).
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.