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