Program

The proceedings are available here.

Legend:

(S) Short presentation (17min + 3 min for questions)

(L) Long presentation (22min + 3 min for questions)

(P) Poster Announcement (3min)

(I) Invited talk

June 18

9:00 - 10:00 Invited Talk
Intro: Grant Weddell
(I) Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic
Gerhard Lakemeyer
10:00 - 10:40 Oral Presentations
Chair: Grant Weddell
(S) Projection in a Description Logic of Context with Actions
Satyadharma Tirtarasa, Benjamin Zarrieß
(S) Absorption-Based Query Entailment Checking for Expressive Description Logics
Andreas Steigmiller, Birte Glimm
10:40 - 11:10 Coffee Break
11:10 - 12:40 Oral Presentations
Chair: Tommie Meyer
(L) Reasoning with Contextual Defeasible ALC
Arina Britz, Ivan Varzinczak
(L) Mixed-World Reasoning with Existential Rules under Active Domain Semantics
Meghyn Bienvenu, Pierre Bourhis
(L) Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)
Stefan Borgwardt, Walter Forkel
(S) A richer policy language for GDPR compliance
Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
12:45 - 14:10 Lunch Break
14:10 - 15:15 Oral Presentations
Chair: Frank Wolter
(L) Decidability and Complexity of ALCOIF with Transitive Closure (and More)
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
(S) Finite Satisfiability of Unary Negation Fragment with Transitivity
Daniel Danielski, Emanuel Kieroński
(S) Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
Bartosz Bednarczyk, Sebastian Rudolph
15:15 - 15:35 Poster Announcements
Chair: Frank Wolter
(P) Temporal DL-Lite over Finite Traces (Preliminary Results)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
(P) On queries with inequalities in DL-LiteR≠
Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi, Elian Toccacieli
(P) Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain
Katarína Fabianová, Júlia Pukancová, Martin Homola
(P) Arbitrary Ranking of Defeasible Subsumption
Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
(P) Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Haoruo Zhao, Uli Sattler, Bijan Parsia
15:35 - 15:45 Coffee break
15:45 - 16:30 Posters Poster presentations (with coffee)
16:30 - 18:00 Oral Presentations
Chair: Sebastian Rudolph
(L) Sequoia: A Consequence Based Reasoner for SROIQ
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
(L) From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
David Carral, Larry González, Patrick Koopmann
(S) Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
(S) On Special Description Logics for Processes and Plans
Alexander Borgida, David Toman, Grant Weddell
19:00 - Reception

June 19

9:00 - 10:00 Invited Talk
Chair: Mantas Simkus
(I) A Theoretical View on Reverse Engineering Problems for Database Query Languages
Pablo Barceló
10:00 - 10:40 Oral Presentations
Chair: Mantas Simkus
(S) Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)
Ana Ozaki, Nicolas Troquard
(S) Detecting Influences of Ontology Design Patterns in Biomedical Ontologies
Christian Kindermann, Bijan Parsia, Uli Sattler
10:40 - 11:10 Coffee Break
11:10 - 12:20 Oral Presentations
Chair: Thomas Schneider
(L) Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
(L) Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)
Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
(S) On Concept Forgetting in Description Logics with Qualified Number Restrictions
Yizheng Zhao, Renate A. Schmidt
12:20 - 12:35 Poster Announcements
Chair: Thomas Schneider
(P) The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
David Carral, Irina Dragoste, Markus Krötzsch
(P) Exhaustive Query Answering via Referring Expressions
David Toman, Grant Weddell
(P) Practical Datalog Rewriting for Existential Rules
Peng Xiao, Zhe Wang, Kewen Wang
(P) Towards Situation Discovery for Clustering Instances
Luis Palacios, Yue Ma, Chantal Reynaud, Gaëlle Lortal
12:35 - 14:10 Lunch Break
14:10 - 15:35 Oral Presentations
Chair: Ana Ozaki
(S) Coupling ontologies with document spanners
Domenico Lembo, Federico Maria Scafoglieri
(S) Connecting Databases and Ontologies: A Data Quality Perspective
Horacio Tellez Perez, Jef Wijsen
(L) Bagging the DL-Lite Family Further
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
(S) Towards an Equivalence Degree of EL CQs
Oliver Fernández Gil, Anni-Yasmin Turhan
15:35 - 15:50 Poster Announcements
Chair: Ana Ozaki
(P) Probably Approximately Correct Completion of Description Logic Knowledge Bases
Sergei Obiedkov, Barış Sertkaya, Denis Zolotukhin
(P) Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL
Haitao Cheng, Zongmin Ma
(P) Improving Ontology Verbalization using Semantic-level Refinement
Vinu Ellampallil Venugopal, P Sreenivasa Kumar
(P) Contextual rational closure for defeasible ALC (Extended Abstract)
Arina Britz, Ivan Varzinczak
15:50 - 16:00 Coffee break
16:00 - 17:00 Posters Poster presentations (with coffee)
17:00 - 18:00 Industry Panel

June 20

9:00 - 10:00 Invited Talk
Chair: Carsten Lutz
(I) Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report
Meghyn Bienvenu
10:00 - 10:40 Oral Presentations
Chair: Carsten Lutz
(S) On Finite and Unrestricted Query Entailment beyond SQ
Tomasz Gogacz, Víctor Gutiérrez Basulto,Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
(S) Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Bartosz Bednarczyk, Sebastian Rudolph, Franz Baader
10:40 - 11:10 Coffee Break
11:10 - 12:40 Oral Presentations
Chair: Jean Christoph Jung
(S) Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)
Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
(L) Making Decisions over Contextual Ontologies
Erman Acar, Rafael Peñaloza, Livia Predoiu
(L) Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
Patrick Koopmann
(S) Ontology-Based Query-Answering for Probabilistic Temporal Data (Abstract)
Patrick Koopmann
12:40 - 14:00 Lunch Break
14:00 - 15:35 Oral Presentations
Chair: Anni-Yasmin Turhan
(L) PTime Combined Complexity and FPT in Ontology-Mediated Querying
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
(S) A Note on DL-Lite with Boolean Role Inclusions
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
(L) Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
Camille Bourgaux, Ana Ozaki
(L) On Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
15:35 - 15:45 Coffee break
15:45 - Social Program Excursion + Conference Dinner
Busses will depart from the workshop venue

June 21

9:00 - 10:30 Oral Presentations
Chair: Martin Homola
(S) An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
Zhenzhen Gu, Cungen Cao, Songmao Zhang
(L) A Toothful of Concepts: Towards a theory of weighted concept combination
Daniele Porello, Oliver Kutz, Nicolas Troquard, Guendalina Righetti, Claudio Masolo, Pietro Galliani
(S) Answer Set Programs Challenged by Ontologies
Magdalena Ortiz, Sanja Pavlović, Mantas Šimkus
(S) A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
Loris Bozzato, Thomas Eiter, Luciano Serafini
10:25 - 11:00 Coffee Break
11:00 - 12:30 Oral Presentations
Chair: Uli Sattler
(L) Model Comparison Games for Horn Description Logics: A Summary
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
(L) Tracking Logical Difference in Industrial-Scale Ontologies
Yizheng Zhao, Ghadah Abdulrahman S Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
(S) Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
(S) How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
Robin Nolte, Thomas Schneider
12:30 - 13:00 Lunch Break
13:00 - 14:00 DL Business meeting