default search action
Description Logics 2022: Haifa, Israel
- Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier:
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. CEUR Workshop Proceedings 3263, CEUR-WS.org 2022
Invited Talks
- Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract). - Pierre Marquis:
Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract). - Sebastian Rudolph:
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract). - Renate A. Schmidt:
Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract).
Full Papers
- Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon:
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. - Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic:
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. - Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. - Philippe Balbiani, Martín Diéguez
, Çigdem Gencer:
Advanced Languages of Terms for Ontologies. - Bartosz Bednarczyk, Mateusz Urbanczyk:
Comonadic Semantics for Description Logics Games. - Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Accessing Document Data Sources using Referring Expression Types. - Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Pointwise Circumscription in Description Logics. - Faiq Miftakhul Falakh, Sebastian Rudolph:
AGM Revision in Description Logics Under Fixed-Domain Semantics. - Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. - Birte Glimm, Yevgeny Kazakov:
SAT-Based Axiom Pinpointing Revisited. - Birte Glimm, Yevgeny Kazakov, Michael Welt:
Concept Abduction for Description Logics. - Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová:
An API for DL Abduction Solvers. - Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová:
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. - Moritz Illich, Birte Glimm:
Computing Concept Referring Expressions with Standard OWL Reasoners. - Jean Christoph Jung, Andrea Mazzullo, Frank Wolter:
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. - Tim Lyon, Jonas Karge:
Uniform and Modular Sequent Systems for Description Logics. - Mostafa Sakr, Renate A. Schmidt:
Fine-Grained Forgetting for the Description Logic ALC. - Haoruo Zhao, Bijan Parsia, Uli Sattler:
Next Steps for ReAD: Modules for Classification Optimisation.
Extended Abstracts
- Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). - Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah:
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). - Meghyn Bienvenu, Camille Bourgaux:
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract). - Meghyn Bienvenu, Quentin Manière, Michaël Thomazo:
Complexity Landscape for Counting Queries (Extended Abstract). - Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). - Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). - Ludovic Brieulle, Chan Le Duc, Pascal Vaillant:
Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract). - Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). - Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). - Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
Ontology-based Data Federation (Extended Abstract). - Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach:
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). - Guendalina Righetti, Daniele Porello, Roberto Confalonieri:
Evaluating the Interpretability of Tooth Expressions (Extended Abstract). - Satyadharma Tirtarasa
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). - Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (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-20 21:06 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: