| Vol-2211 urn:nbn:de:0074-2211-6 Copyright © 2018 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 2018
Description Logics

### Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)

### Tempe, Arizona, US, October 27th to 29th, 2018.

Edited by

### Magdalena Ortiz, TU Wien, Austria
Thomas Schneider, Universität Bremen, Germany

## Table of Contents

- Preface

### Invited Papers

- Decidability Frontier for Fragments of First-Order Logic with Transitivity
  Lidia Tendera
- Toward an Abstract Wikipedia
  Denny Vrandečić
- Revising Ontologies
  Renata Wassermann

### Regular Papers

- Taming Complex Role Inclusions for DL-Lite
  Medina Andreșel, Yazmín A. Ibáñez García, Magdalena Ortiz, Mantas Šimkus
- Temporal Description Logics over Finite Traces
  Alessandro Artale, Andrea Mazzullo, Ana Ozaki
- Towards Privacy-Preserving Ontology Publishing
  Franz Baader, Adrian Nuradiansyah
- Efficient Duplicate Elimination in SPARQL to SQL Translation
  Dimitris Bilidas, Manolis Koubarakis
- The Bayesian Description Logic BALC
  Leonard Botha, Thomas Meyer, Rafael Peñaloza
- A Tool for Building Topic-specific Ontologies Using a Knowledge Graph
  Katinka Böhm, Magdalena Ortiz
- Complete Approximations of Horn DL Ontologies
  Anneke Bötcher, Carsten Lutz, Frank Wolter
- Computing Minimal Projection Modules for Conjunctive Queries
  Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
- Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving
  Jieying Chen, Yue Ma, Dirk Walther
- Exact Learning of EL Ontologies
  Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
- Handling Nominals and Inverse Roles using Algebraic Reasoning
  Humaira Farid, Volker Haarslev
- From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying
  Cristina Feier, Carsten Lutz, Frank Wolter
- A Dynamic Extension of ALCO for Repairing via Preferred Updates
  Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
- Concepts as Modal Operators in Description Logics
  Lukas Grätz
- Ontology Partitioning Using E-Connections Revisited
  Sascha Jongebloed, Thomas Schneider
- Preferential Default Reasoning on the Semantic Web
  Rafael Kiesel, Erman Acar, Stefan Schlobach
- On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words
  Stanislav Kikot, Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael Zakharyaschev
- Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity
  Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen
- Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data
  Alisa Kovtunova, Rafael Peñaloza
- ABox Abduction Solver Exploiting Multiple DL Reasoners
  Drahomír Mrózek, Júlia Pukancová, Martin Homola
- Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications
  Manuel Namici, Giuseppe De Giacomo
- Verifying Contract-Based Specifications of Product Lines using Description Logic
  Damir Nešić, Mattias Nyberg
- Happy Ever After: Temporally Attributed Description Logics
  Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
- Provenance in Ontology-based Data Access
  Ana Ozaki, Rafael Peñaloza
- SIVA: An Educational Tool for the Tableau Reasoning Algorithm
  Peter Paulovics, Júlia Pukancová, Martin Homola
- Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations
  Tanja Perleth, Marvin Schiller, Birte Glimm
- ABox Abduction for Description Logics: The Case of Multiple Observations
  Júlia Pukancová, Martin Homola
- Satisfiability in the Triguarded Fragment of First-Order Logic
  Sebastian Rudolph, Mantas Šimkus
- Theoretical Characterization of Signal Diagnostic Processing Language
  Ognjen Savković, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalaycı, Werner Nutt, Mikhail Roshchin, Ian Horrocks
- Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases
  David Toman, Grant Weddell
- Querying Expressive DL Ontologies under the ICAR Semantics
  Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos
- Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering
  Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova
- The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics
  Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt

### Extended Abstracts

- Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
  Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
- Making Repairs in Description Logics More Gentle (Extended Abstract)
  Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
- SPARQLing-Up the Web on-the-fly using Ontologies and Mappings
  Konstantina Bereta, George Papadakis, Manolis Koubarakis
- Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account
  Meghyn Bienvenu
- Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract)
  Diego Calvanese, Tahir Emre Kalaycı, Marco Montali, Ario Santoso, Wil van der Aalst
- Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract
  David Carral, Irina Dragoste, Markus Krötzsch
- Query-by-Example for Expressive Horn Description Logics
  Víctor Gutiérrez Basulto, Jean Christoph Jung, Leif Sabellek
- A Single Approach to Decide Chase Termination on Linear Existential Rules
  Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
- A Van Benthem Theorem for Horn Description and Modal Logic
  Fabio Papacchini, Frank Wolter
- Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot
  Maximilian Pensel, Anni-Yasmin Turhan
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract
  Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral

We offer a BibTeX file for citing papers of this workshop from LaTeX.

2018-10-30: submitted by Thomas Schneider, metadata incl. bibliographic data published under Creative Commons CC0
2018-10-30: published on CEUR-WS.org |valid HTML5|