Accepted Papers
Long Presentations
Medina Andresel, Yazmín Ibáñez-García and Magdalena Ortiz
A Framework for Exploratory Query Answering with Ontologies
Anneke Haga, Carsten Lutz, Johannes Marti and Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn
Meghyn Bienvenu, Quentin Manière and Michaël Thomazo
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract)
Carsten Lutz and Leif Sabellek
Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries
Gianluca Cima, Domenico Lembo, Riccardo Rosati and Domenico Fabio Savo
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (extended abstract)
Patrick Koopmann and Jieying Chen
Deductive Module Extraction for Expressive Description Logics (Abstract)
Franz Baader and Filippo De Bortoli
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)
Franz Baader and Jakub Rydval
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract)
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia and Andrius Vaicenavičius
Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract)
Stefan Borgwardt, Walter Forkel and Alisa Kovtunova
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes
David Toman and Grant Weddell
First Order Rewritability for Ontology Mediated Querying in Horn-DLFD
Ana Ozaki, Cosimo Persia and Andrea Mazzullo
Learning Query Inseparable ELH Ontologies
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki and Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals
Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank Wolter
On Free Description Logics with Definite Descriptions
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza and Livia Predoiu
Provenance for the Description Logic ELHr (Extended Abstract)
Oliver Fernandez Gil and Anni-Yasmin Turhan
Relaxed Regular Path Queries in Lightweight DLs
Diego Calvanese, Julien Corman, Davide Lanti and Simon Razniewski
Rewriting Count Queries over DL-Lite TBoxes with Cardinality Restrictions
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures
Cristina Feier, Carsten Lutz and Marcin Przybylko
The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs
Short Presentations
Jakub Kuklis
Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles
Clemens Dubslaff, Patrick Koopmann and Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova and Frederik Wiehr
In the Eye of the Beholder: Which Proofs are Best?
Tellez Perez Horacio and Wijsen Jef
Logic-Based Ranking of Assertions in Inconsistent ABoxes
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca and Roee Shraga
Mapping Patterns for Virtual Knowledge Graphs (Extended Abstract)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova
On the Complexity of Finding Good Proofs for Description Logic Entailments
Andreas Steigmiller and Birte Glimm
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics
Gabriella Pasi and Rafael Peñaloza
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)
Vladislav Ryzhikov, Yury Savateev and Michael Zakharyaschev
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic
David Carral and Markus Krötzsch
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla Ebri, Elem Guzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese and Elena Botoeva
The Virtual Knowledge Graph System Ontop (Extended Abstract)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard
Towards Even More Irresistible Axiom Weakening
Barbara Morawska
Unification in FL0 Modulo a Flat TBox
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch and Patrick Koopmann
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair
Poster Presentations
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario and Ana Ozaki
Automated Reasoning in Temporal DL-Lite
Manuel Namici, Giuseppe De Giacomo and Maurizio Lenzerini
Extending DL-LiteR TBoxes with View Definitions
Dennis Peuter and Viorica Sofronie-Stokkermans
Finding justifications for subsumption w.r.t. combinations of CBoxes in EL and EL+
Franz Baader, Patrick Koopmann and Cesare Tinelli
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions
Martin Homola, Júlia Pukancová, Júlia Gablíková and Katarína Fabianová
Merge, Explain, Iterate
Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach
On a Notion of Relevance
Ian Hyland and Renate Schmidt
Protege-TS: An OWL Ontology Term Selection Tool
Satyadharma Tirtarasa
Temporal Properties over Contextualized Description Logics
Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt and Hao Feng
UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes
Francesca Alessandra Lisi
Using Higher-order Description Logics for Learning and Mining in Complex Domains
Peter Patel-Schneider and David Martin
Wikidata on MARS (Preliminary Report)
