DL 2017
International Workshop on Description Logics

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 ALC ^P (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 FL ₀
  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