Vol-1350
urn:nbn:de:0074-1350-6

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

DL 2015
Description Logics Workshop

Proceedings of the 28th International Workshop on Description Logics

Athens, Greece, June 7th to 10th, 2015.

Edited by

Diego Calvanese, Free University of Bozen-Bolzano, Italy
Boris Konev, University of Liverpool, United Kingdom

Table of Contents

Preface

Invited Talks

Query Rewriting Beyond DL-Lite
Carsten Lutz
Integrating Open Data: (How) Can Description Logics Help me?
Axel Polleres
Entity-oriented Search Engine Result Pages
Maarten de Rijke

Oral Presentations

DL-Lite and Conjunctive Queries Extended by Optional Matching
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Dealing with Inconsistencies due to Class Disjointness in SPARQL Update
Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov
Interval Temporal Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Dismatching and Local Disunification in EL (Extended Abstract)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Consequence-Based Reasoning to SHIQ
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
Combined Complexity of Answering Tree-like Queries in OWL 2 QL
Meghyn Bienvenu, Stanislav Kikot, Vladimir Podolskii
Query-based comparison of OBDA specifications
Meghyn Bienvenu, Riccardo Rosati
Schema-Agnostic Query Rewriting for OWL QL
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect
Alex Borgida, David Toman, Grant Weddell
Temporal Query Answering in EL
Stefan Borgwardt, Veronika Thost
Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract)
Damian Bursztyn, François Goasdoué, Ioana Manolescu
Decidable Contextualized DLs with Rigid Roles
Stephan Böhme, Marcel Lippmann
Inconsistency Management in Generalized Knowledge and Action Bases
Diego Calvanese, Marco Montali, Ario Santoso
Tableau-based revision in SHIQ
Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle
Extending the Combined Approach Beyond Lightweight Description Logics
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
Adding Threshold Concepts to the Description Logic EL
Oliver Fernandez Gil, Franz Baader, Gerhard Brewka
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos Stamou
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations
Georg Gottlob, Marco Manna, Andreas Pieris
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage
Víctor Gutiérrez Basulto, Jean Christoph Jung, Thomas Schneider
Schema.org as a Description Logic
Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
Polynomial Horn Rewritings for Description Logics Ontologies
Mark Kaminski, Bernardo Cuenca Grau
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)
Tobias Kaminski, Matthias Knorr, Joao Leite
Advancing ELK: Not Only Performance Matters
Yevgeny Kazakov, Pavel Klinov
Nonmonotonic Nominal Schemas Revisited
Matthias Knorr
Conservative Rewritability of Description Logic TBoxes: First Results
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Exact Learning Description Logic Ontologies from Data Retrieval Examples
Boris Konev, Ana Ozaki, Frank Wolter
Semantics of SPARQL under OWL 2 Entailment Regimes
Egor V. Kostylev, Bernardo Cuenca Grau
Towards Expressive Metamodelling with Instantiation
Petra Kubincová, Ján Kľuka, Martin Homola
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)
Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen
The Combined Complexity of Reasoning with Closed Predicates in Description Logics
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Completion Graph Caching for Expressive Description Logics
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
On the Utility of CFDI_nc^∀-
David Toman, Grant Weddell
Query Rewriting in Horn-SHIQ
Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos Stamou
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing
Benjamin Zarrieß, Jens Claßen
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach
Yizheng Zhao, Renate Schmidt
PAGOdA: Pay-as-you-go ABox Reasoning
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks

Poster Presentations

An Ontology-Based Archive for Historical Research
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
Reasoning in description logics with variables: preliminary results regarding the EL logic
Lakhdar Akroun, Nourine Lhouari, Farouk Toumani
Integrating Ontologies and Planning for Cognitive Systems
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis Ponomaryov, Marvin Schiller
Optimized Construction of Secure Knowledge-Base Views
Piero A. Bonatti, Iliana Petrova, Luigi Sauro
Conjunctive Query Answering with Finitely Many Truth Degrees
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Query Answering in Bayesian Description Logics
Ismail Ilkan Ceylan
Answering EL Queries in the Presence of Preferences
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
Dynamic Bayesian Description Logics
Ismail Ilkan Ceylan, Rafael Peñaloza
Elastiq: Answering Similarity-threshold Instance Queries in EL
Andreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan
Polynomial encoding of ORM conceptual models in CFDI_nc^∀-
Pablo Fillottrani, C. Maria Keet, David Toman
Handling uncertainty: An extension of DL-Lite with Subjective Logic
Jhonatan Garcia, Jeff Pan, Achille Fokoue
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
Saturated-Based Forgetting in the Description Logic SIF
Patrick Koopmann, Renate A. Schmidt
Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis
Francesco Kriegel
A higher-order semantics for OWL 2 QL ontologies (Extended abstract)
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies—introducing FLite
Theofilos Mailis, Anni-Yasmin Turhan, Erik Zenker
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification
Nicolas Matentzoglu, Uli Sattler, Bijan Parsia
Heuristics for Applying Cached OBDA Rewritings
Andreas Nakkerud, Evgenij Thorstensen
Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based Approach
Mourad Ouziri, Salima Benbernou, Naouel Karam, Allel Hadjali
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis
Júlia Pukancová, Martin Homola
TBox Reasoning in the Probabilistic Description Logic SHIQp
Viachaslau Sazonau, Uli Sattler
Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases
Michele Stawowy
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Veronika Thost, Jan Holste, Özgür Özcep

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

2015-05-29: submitted by Boris Konev, metadata incl. bibliographic data published under Creative Commons CC0
2015-05-29: published on CEUR-WS.org |valid HTML5|