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