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