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 |