default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2020: Online Event [Rhodes, Greece]
- Stefan Borgwardt, Thomas Meyer:
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. CEUR Workshop Proceedings 2663, CEUR-WS.org 2020
Invited Talks
- Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. - Magdalena Ortiz:
Rewritability Results for OMQs with Closed Predicates. - Balder ten Cate:
The Homomorphism Lattice, Unique Characterizations, and Concept Learning.
Full Papers
- Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
On the Complexity of Finding Good Proofs for Description Logic Entailments. - Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann:
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. - Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz:
A Framework for Exploratory Query Answering with Ontologies. - Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. - Franz Baader, Patrick Koopmann, Cesare Tinelli:
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. - Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr:
In the Eye of the Beholder: Which Proofs are Best? - Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions. - Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Towards Even More Irresistible Axiom Weakening. - Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. - Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach:
On a Notion of Relevance. - Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová:
Merge, Explain, Iterate. - Ian Hyland, Renate A. Schmidt:
Protege-TS: An OWL Ontology Term Selection Tool. - Jakub Kuklis:
Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles. - Francesca Alessandra Lisi:
Using Higher-order Description Logics for Learning and Mining in Complex Domains. - Barbara Morawska
:
Unification in FL0 Modulo a Flat TBox. - Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending DL-LiteR TBoxes with View Definitions. - Peter F. Patel-Schneider, David L. Martin:
Wikidata on MARS (Preliminary Report). - Dennis Peuter, Viorica Sofronie-Stokkermans:
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. - Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Horacio Tellez Perez, Jef Wijsen:
Logic-Based Ranking of Assertions in Inconsistent ABoxes. - Satyadharma Tirtarasa:
Temporal Properties over Contextualized Description Logics. - David Toman, Grant E. Weddell:
First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. - Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng:
UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes.
Extended Abstracts
- Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). - Franz Baader, Filippo De Bortoli:
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). - Franz Baader, Jakub Rydval:
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). - Meghyn Bienvenu, Quentin Manière, Michaël Thomazo:
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract). - Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). - Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr (Extended Abstract). - Loris Bozzato, Camillo Fiorentini:
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract). - Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research). - David Carral, Markus Krötzsch:
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). - Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius:
Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract). - Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo:
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract). - Cristina Feier, Carsten Lutz, Marcin Przybylko:
The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract). - Oliver Fernández Gil, Anni-Yasmin Turhan:
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). - Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). - Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). - Carsten Lutz, Leif Sabellek:
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract). - Patrick Koopmann, Jieying Chen:
Deductive Module Extraction for Expressive Description Logics (Extended Abstract). - Yiwei Lu, Zhe Yu:
Argumentation Theory for Reasoning with Inconsistent Ontologies (Extended Abstract). - Ana Ozaki, Cosimo Persia, Andrea Mazzullo:
Learning Query Inseparable ELH Ontologies (Extended Abstract). - Gabriella Pasi, Rafael Peñaloza:
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). - Andreas Steigmiller, Birte Glimm:
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). - Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki:
Automated Reasoning in Temporal DL-Lite (Extended Abstract). - Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop (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-12-11 20:31 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:
