| Vol-1879 urn:nbn:de:0074-1879-6 Copyright © 2017 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 2017
International Workshop on Description Logics

### Proceedings of the 30th International Workshop on Description Logics

### Montpellier, France, July 18-21, 2017.

Edited by

### Alessandro Artale *
Birte Glimm **
Roman Kontchakov ***

* Free University of Bozen-Bolzano, Italy
** University of Ulm, Germany
*** Birkbeck, University of London, UK

## Table of Contents

- Preface

### Invited Papers

- Ontologies for Knowledge Graphs?
  Markus Krötzsch
- Query Rewriting under Existential Rules
  Andreas Pieris
- From Reasoning Problems to Non-standard Reasoning Problems and One Step Further
  Uli Sattler

### Full Papers

- Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling
  Wil van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini
- Preliminary Results on the Identity Problem in Description Logic Ontologies
  Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
- Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)
  Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
- Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)
  Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
- Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming
  Labinot Bajraktari, Magdalena Ortiz, Mantas Šimkus
- On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL
  Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
- Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries
  Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
- Łukasiewicz Fuzzy EL is Undecidable
  Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
- CKR:Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States
  Loris Bozzato, Luciano Serafini, Gaetano Calabrese
- A DL Semantics for Reasoning over OVM-based Variability Models
  Germán Braun, Matias Pol'la, Laura Cecchi, Agustina Buccella, Pablo Fillottrani, Alejandra Cechich
- Incremental Materialization Update via Abstraction Refinement
  Markus Brenner, Birte Glimm
- Towards Defeasible SROIQ
  Katarina Britz, Ivan Varzinczak
- Preliminary Results on Ontology-based Open Data Publishing
  Gianluca Cima
- Coherence, Similarity, and Concept Generalisation
  Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard
- Reasonable Macros for Ontology Construction and Maintenance
  Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen
- On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom
  Olga Gerasimova, Stanislav Kikot, Vladimir Podolskii, Michael Zakharyaschev
- An Efficient Reasoner for Description Logics of Typicality and Rational Closure
  Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
- On Query Answering in Description Logics with Number Restrictions on Transitive Roles
  Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
- Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
  Peter Hansen, Carsten Lutz
- An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering
  Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru
- Horn Rewritability vs PTime Query Answering for Description Logic TBoxes
  André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
- Debugging EL+ Ontologies through Horn MUS Enumeration
  Alexey Ignatiev, Joao Marques-Silva, Carlos Mencía, Rafael Peñaloza
- Reasoning with Attributed Description Logics
  Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
- Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant
  Arash Karimi, Heng Zhang, Jia-Huai You
- Towards Reusable Explanation Services in Protege
  Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov
- On the Complexity of Semantic Integration of OWL Ontologies
  Yevgeny Kazakov, Denis Ponomaryov
- Enumerating Justifications using Resolution
  Yevgeny Kazakov, Peter Skočovský
- Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)
  Nadia Labai, Martin Homola, Magdalena Ortiz
- Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability
  Carsten Lutz, Leif Sabellek
- Unification in EL for Competency Question Generation
  Yuri Malheiros, Fred Freitas
- Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning
  Razieh Mehri, Volker Haarslev
- Tableau-Based ABox Abduction for the ALCHO Description Logic
  Júlia Pukancová, Martin Homola
- Repairing ABoxes through Active Integrity Constraints
  Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
- Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
  Sebastian Rudolph, Lukas Schweizer
- Testing the Adequacy of Automated Explanations of EL Subsumptions
  Marvin Schiller, Florian Schiller, Birte Glimm
- Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals
  David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
- On Partial Features in the DLF Dialects of Description Logic with Inverse Features
  David Toman, Grant Weddell
- Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach
  Yizheng Zhao, Renate A. Schmidt
- A Consequence-based Algebraic Calculus for SHOQ
  Nikoo Zolfaghar Karahroodi, Volker Haarslev

### Extended Abstracts

- Query Rewriting for DL-Lite with n-ary Concrete Domains (Abstract)
  Franz Baader, Stefan Borgwardt, Marcel Lippmann
- Approximate Unification in the Description Logic FL0
  Franz Baader, Pavlos Marantidis, Alexander Okhotin
- Answering Conjunctive Regular Path Queries over Guarded Existential Rules
  Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
- Goal-Oriented Type-based Reasoning for Expressive DLs
  Labinot Bajraktari, Magdalena Ortiz, Mantas Šimkus
- Source Information Disclosure in Ontology-based Data Integration (Extended Abstract)
  Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
- Ontology-Mediated Queries for Probabilistic Databases (Extended Abstract)
  Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
- Temporal Query Answering in DL-Lite over Inconsistent Data (Extended Abstract)
  Camille Bourgaux, Anni-Yasmin Turhan
- Towards a Visualisation Process for Ontology-Based Conceptual Modelling
  Germán Braun, Christian Gimenez, Laura Cecchi, Pablo Fillottrani
- Semantic DMN: Formalizing Decision Models with Domain Knowledge (Extended Abstract)
  Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
- Answering Conjunctive Queries for Expressive DLs with the Restricted Chase
  David Carral, Irina Dragoste, Markus Krötzsch
- Most Probable Explanations for Probabilistic Database Queries (Extended Abstract)
  İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
- Computing Subsumption Justifications of Terminologies - Extended Abstract
  Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
- ASP for Minimal Entailment in a Rational Extension of SROEL (Extended Abstract)
  Laura Giordano, Daniele Theseider Dupré
- Scalable Reasoning by Abstraction in DL-Lite
  Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
- Number Restrictions on Transitive Roles in Description Logics with Nominals
  Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
- Query Conservative Extensions in Horn Description Logics with Inverse Roles
  Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
- The Essence of Functional Programming on Semantic Data
  Martin Leinberger, Ralf Lämmel, Steffen Staab
- Rewriting Queries with Negated Atoms
  Enrique Matos Alfonso, Giorgos Stamou
- The Bag Semantics of Ontology-Based Data Access (Extended Abstract)
  Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
- Quantification in Defeasible DLs Matters Again (Extended Abstract)
  Maximilian Pensel, Anni-Yasmin Turhan
- Lean Kernels in DLs (Extended Abstract)
  Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, Joao Marques-Silva
- A Framework and Positive Results for Query Answering over Inconsistent Description Logic Knowledge Bases (Extended Abstract)
  Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos

2017-07-17: submitted by Roman Kontchakov, metadata incl. bibliographic data published under Creative Commons CC0
2017-07-17: published on CEUR-WS.org |valid HTML5|