DL 2018
Description Logics

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