DL 2016
International Workshop on Description Logics

Table of Contents

• Preface
  
  

Invited Papers

• Managing Change in Graph-structured Data Using Description Logics (invited paper)
  Diego Calvanese
• Ontology Materialization by Abstraction Refinement in Horn SHOIF (invited paper)
  Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
• Lifted Inference in Probabilistic Databases (invited paper)
  Dan Suciu

Full Papers

• Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics
  Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
• A Compilation Technique for Interactive Ontology-mediated Data Exploration
  Medina Andresel, Magdalena Ortiz, Mantas Simkus
• Ontology Module Extraction via Datalog Reasoning
  Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
• Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification
  Alessandro Artale, Enrico Franconi
• Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries
  Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
• Reasoning in Expressive Gödel Description Logics
  Stefan Borgwardt, Rafael Peñaloza
• OBDA Beyond Relational DBs: A Study for MongoDB
  Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
• Virtual OBDA over Expressive Ontologies: Rewritings and Approximations
  Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
• On the Closure of Description Logics under Substitutions
  Jon Haël Brenas, Rachid Echahed, Martin Strecker
• Synthesizing and Executing Plans in Knowledge and Action Bases
  Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
• Conceptual Blending in EL++
  Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñnaloza, Enric Plaza, Manfred Eppe
• Data Accuracy as Knowledge in Ontology Based Data Access (preliminary report)
  Marco Console
• Fixed-Domain Reasoning for Description Logics
  Sarah Gaggl, Sebastian Rudolph, Lukas Schweizer
• Meta-modeling Extension of Horn-SROIQ and Query Answering
  Zhenzhen Gu
• On Decidability and Tractability of Querying in Temporal EL
  Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
• Armstrong Relations for Ontology Design and Evaluation
  Henriette Harmse, Katarina Britz, Aurona Gerber
• Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations
  Matthias Hengel, Sefan Wölfl, Bernhard Nebel
• Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes
  André Hernich, Julio Lemos, Frank Wolter
• Evaluation Metrics in Ontology Modules
  Zubeida Casmod Khan
• Minimising Acyclic EL Ontologies
  Patrick Koopmann, Nadeschda Nikitina
• Ontology Patterns with DOWL: The Case of Blending
  Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu
• On the Uniform One-dimensional Fragment
  Antti Kuusisto
• The TDDonto Tool for Test-Driven Development of DL Knowledge bases
  Agnieszka Ławrynowicz, C. Maria Keet
• On Bounded Positive Existential Rules
  Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
• Efficient Axiom Pinpointing in EL using SAT Technology
  Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
• On the SPARQL Direct Semantics Entailment Regime for OWL 2 QL
  Antonella Poggi
• Tableau-Based ABox Abduction for Description Logics: Preliminary Report
  Júlia Pukancová, Martin Homola
• The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
  Sebastian Rudolph
• Weaving Ontology Aspects Using a Catalog of Structural Ontology Design Patterns
  Ralph Schäfermeier, Adrian Paschke
• Forgetting Concept and Role Symbols in ALCOIH\mu+(\top,\sqcap)-Ontologies
  Yizheng Zhao, Renate A. Schmidt

Extended Abstracts

• Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract)
  Meghyn Bienvenu, Camille Bourgaux, François Gasdoué
• First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
  Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
• When is Query Inseparability for ALC Ontologies Decidable?
  Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
• Open World Probabilistic Databases (Extended Abstract)
  İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
• Semantic Reasoning for Smog Disaster Analysis
  Jiaoyan Chen, Huajun Chen, Jeff Z. Pan
• Bounded Implication for Existential Rules (Extended Abstract)
  Cristina Civili, Riccardo Rosati
• FO-Rewritability of Expressive Ontology-Mediated Queries
  Cristina Feier, Antti Kuusisto, Carsten Lutz
• A Design for Coordinated and Logics-mediated Conceptual Modelling
  Pablo Rubén Fillottrani, C. Maria Keet
• Reasoning in a Rational Extension of SROEL
  Laura Giordano, Daniele Theseider Dupré
• Approaching OBDA Evolution through Mapping Repair
  Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen
• Ontology-Mediated Queries for NOSQL Databases
  Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
• Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract)
  Jason St. Jacques, David Toman, Grant Weddell