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