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