| Vol-2373 urn:nbn:de:0074-2373-7 Copyright © 2019 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# DL 2019
International Workshop on Description Logics

### Proceedings of the 32nd International Workshop on Description Logics

### Oslo, Norway, June 18-21, 2019.

Edited by

### Mantas Šimkus *
Grant Weddell **

* TU Wien, Austria
** University of Waterloo, Canada

## Table of Contents

- Preface

### Invited Talks

- A Theoretical View on Reverse Engineering Problems for Database Query Languages
  Pablo Barceló
- Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report
  Meghyn Bienvenu
- Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic
  Gerhard Lakemeyer

### Full Papers

- Making Decisions over Contextual Ontologies
  Erman Acar, Rafael Peñaloza, Livia Predoiu
- Temporal DL-Lite over Finite Traces (Preliminary Results)
  Alessandro Artale, Andrea Mazzullo, Ana Ozaki
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
  Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
  Bartosz Bednarczyk, Sebastian Rudolph
- A Richer Policy Language for GDPR Compliance
  Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
- On Special Description Logics for Processes and Plans
  Alexander Borgida, David Toman, Grant Weddell
- A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
  Loris Bozzato, Thomas Eiter, Luciano Serafini
- Reasoning with Contextual Defeasible ALC
  Arina Britz, Ivan Varzinczak
- Arbitrary Ranking of Defeasible Subsumption
  Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
- Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology
  Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
- Inside the Query Space of DL Knowledge Bases
  Alexandros Chortaras, Michalis Giazitzoglou, Giorgos Stamou
- On Queries with Inequalities in DL-LiteR≠
  Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi, Elian Toccacieli
- Bagging the DL-Lite Family Further
  Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
- On Non-normal Modal Description Logics
  Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
- Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain
  Katarína Fabianová, Júlia Pukancová, Martin Homola
- An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
  Zhenzhen Gu, Cungen Cao, Songmao Zhang
- Decidability and Complexity of ALCOIF with Transitive Closure (and More)
  Jean Christoph Jung, Carsten Lutz, Thomas Zeume
- Detecting Influences of Ontology Design Patterns in Biomedical Ontologies
  Christian Kindermann, Bijan Parsia, Uli Sattler
- A Note on DL-Lite with Boolean Role Inclusions
  Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
- Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
  Patrick Koopmann
- How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
  Robin Nolte, Thomas Schneider
- Probably Approximately Correct Completion of Description Logic Knowledge Bases
  Sergei Obiedkov, Barış Sertkaya, Denis Zolotukhin
- Answer Set Programs Challenged by Ontologies
  Magdalena Ortiz, Sanja Pavlović, Mantas Šimkus
- A Toothful of Concepts: Towards a Theory of Weighted Concept Combination
  Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo
- Absorption-Based Query Entailment Checking for Expressive Description Logics
  Andreas Steigmiller, Birte Glimm
- Connecting Databases and Ontologies: A Data Quality Perspective
  Horacio Tellez Perez, Jef Wijsen
- Sequoia: A Consequence Based Reasoner for SROIQ
  David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
- Projection in a Description Logic of Context with Actions
  Satyadharma Tirtarasa, Benjamin Zarrieß
- Exhaustive Query Answering via Referring Expressions
  David Toman, Grant Weddell
- Practical Datalog Rewriting for Existential Rules
  Zhe Wang, Peng Xiao, Kewen Wang
- Rational Grading in an Expressive Description Logic
  Mitko Yanchev

### Extended Abstracts

- Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)
  Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
- PTime Combined Complexity and FPT in Ontology-Mediated Querying
  Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
- Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract)
  Meghyn Bienvenu, Pierre Bourhis
- Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract)
  Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
- Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)
  Stefan Borgwardt, Walter Forkel
- Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
  Camille Bourgaux, Ana Ozaki
- Contextual Rational Closure for Defeasible ALC (Extended Abstract)
  Arina Britz, Ivan Varzinczak
- The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
  David Carral, Irina Dragoste, Markus Krötzsch
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
  David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
  David Carral, Larry González, Patrick Koopmann
- Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL
  Haitao Cheng, Zongmin Ma
- Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)
  Daniel Danielski, Emanuel Kieroński
- Improving Ontology Verbalization using Semantic-level Refinement (Extended Abstract)
  Vinu E. Venugopal, P. Sreenivasa Kumar
- Towards an Equivalence Degree of EL CQs (Extended Abstract)
  Oliver Fernández Gil, Anni-Yasmin Turhan
- Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)
  Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
  Tomasz Gogacz, Víctor Gutiérrez Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
- Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies
  Said Jabbour, Yue Ma, Badran Raddaoui
- Model Comparison Games for Horn Description Logics: A Summary
  Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
- Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)
  Patrick Koopmann
- Coupling Ontologies with Document Spanners
  Domenico Lembo, Federico Maria Scafoglieri
- Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract)
  Ana Ozaki, Nicolas Troquard
- Towards Situation Discovery for Clustering Instances
  Luis Palacios, Yue Ma, Chantal Reynaud, Gaëlle Lortal
- Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
  Haoruo Zhao, Uli Sattler, Bijan Parsia
- Tracking Logical Difference in Industrial-Scale Ontologies
  Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
- On Concept Forgetting in Description Logics with Qualified Number Restrictions
  Yizheng Zhao, Renate A. Schmidt

2019-06-06: submitted by Mantas Šimkus, metadata incl. bibliographic data published under Creative Commons CC0
2019-06-09: published on CEUR-WS.org |valid HTML5|