| Vol-1193 urn:nbn:de:0074-1193-9 Copyright © 2014 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# DL 2014
27th International Workshop on Description Logics

### Informal Proceedings of the 27th International Workshop on Description Logics

### Vienna, Austria, July 17-20, 2014.

Edited by

### Meghyn Bienvenu *
Magdalena Ortiz **
Riccardo Rosati ***
Mantas Simkus **

* Laboratoire de Recherche en Informatique, CNRS and University of Paris-Sud, France
** Institute of Information Systems, Vienna University of Technology, Austria
*** Dipartimento di Ingegneria Informatica, Automatica e Gestionale , Sapienza University of Rome, Italy

## Table of Contents

- Preface and Conference Organisation

### Invited Talks

- New Perspectives on Query Reformulation 1
  Michael Benedikt
- Fragments of Logic, Language, and Computation 2
  Patrick Blackburn
- Structured Data on the Web (or, a Personal Journey Away From and Back To Ontologies) 3
  Alon Halevy

### Oral Presentations

- Planning Problems for Graph Structured Data in Description Logics 4-7
  Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
- SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment 8-20
  Albin Ahmeti, Diego Calvanese, Axel Polleres
- Temporal OBDA with LTL and DL-Lite 21-32
  Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
- Matching with Respect to General Concept Inclusions in the Description Logic EL 33-44
  Franz Baader, Barbara Morawska
- Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries 45-57
  Meghyn Bienvenu, Stanislav Kikot, Vladimir Podolskii
- Fuzzy DLs over Finite Lattices with Nominals 58-70
  Stefan Borgwardt
- Gödel FL_0 with Greatest Fixed-Point Semantics 71-82
  Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
- Query Inseparability by Games 83-95
  Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
- Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics 96-99
  Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
- Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs 100-111
  Pierre Bourhis, Michael Morak, Andreas Pieris
- Contextualized Knowledge Repositories with Justifiable Exceptions 112-123
  Loris Bozzato, Thomas Eiter, Luciano Serafini
- Shape and Content: Incorporating Domain Knowledge into Shape Analysis 124-127
  Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
- Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs 128-140
  David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
- Controlled Query Evaluation over Lightweight Ontologies 141-152
  Bernardo Cuenca Grau, Evgeny Kharlamov, Egor Kostylev, Dmitriy Zheleznyakov
- On Faceted Search over Knowledge Bases 153-156
  Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska
- DeaLing with Ontologies using CODs 157-168
  Chiara Del Vescovo, Rafael Peñaloza
- Towards Practical Deletion Repair of Inconsistent DL-programs 169-180
  Thomas Eiter, Michael Fink, Daria Stepanova
- Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies 181-184
  William Gatens, Boris Konev, Frank Wolter
- Abstraction Refinement for Ontology Materialization 185-196
  Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
- Query Rewriting under EL TBoxes: Efficient Algorithms 197-208
  Peter Hansen, Carsten Lutz, Inanc Seylan, Frank Wolter
- Datalog Rewriting Techniques for Non-Horn Ontologies 209-220
  Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
- Goal-Directed Tracing of Inferences in EL Ontologies 221-232
  Yevgeny Kazakov, Pavel Klinov
- Complexity of Temporal Query Abduction in DL-Lite 233-244
  Szymon Klarman, Thomas Meyer
- Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes 245-257
  Patrick Koopmann, Renate A. Schmidt
- XPath for DL-Lite Ontologies 258-269
  Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc
- Complexities of Nominal Schemas 270-273
  Markus Krötzsch, Sebastian Rudolph
- Brave and Cautious Reasoning in EL 274-286
  Michel Ludwig, Rafael Peñaloza
- Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs 287-298
  Michel Ludwig, Dirk Walther
- Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies 299-310
  Francisco Martin-Recuerda, Dirk Walther
- Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems 311-323
  Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
- Optimised Absorption for Expressive Description Logics 324-335
  Andreas Steigmiller, Birte Glimm, Thorsten Liebig
- Hybrid Query Answering Over DL Ontologies 336-339
  Giorgos Stoilos, Giorgos Stamou
- Pushing the CFDnc Envelope 340-351
  David Toman, Grant Weddell
- Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner 352-364
  Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

### Poster Presentations

- Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? 365-377
  Tahani Alsubait, Bijan Parsia, Uli Sattler
- A MILP-based Decision Procedure for the (Fuzzy) Description Logic ALCB 378-390
  Fernando Bobillo, Umberto Straccia
- Gödel Description Logics with General Models 391-403
  Stefan Borgwardt, Felix Distel, Rafael Peñaloza
- How to Best Nest Regular Path Queries 404-415
  Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
- Expressive Identification Constraints to Capture Functional Dependencies in Description Logics 416-420
  Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
- Complexity Sources in Fuzzy Description Logic 421-433
  Marco Cerami, Umberto Straccia
- Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information 434-446
  Federico Cerutti, Geeth de Mel, Timothy Norman, Nir Oren, Artemis Parvizi, Paul Sullivan, Alice Toniolo
- Bayesian Description Logics 447-458
  Ismail Ilkan Ceylan, Rafael Peñaloza
- An ABox Revision Algorithm for the Description Logic EL_bot 459-470
  Liang Chang, Uli Sattler, Tianlong Gu
- Evaluation of Extraction Techniques for Ontology Excerpts 471-482
  Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
- Graphol: Ontology Representation through Diagrams 483-495
  Marco Console, Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo
- Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract 496-499
  Marco Console, Maurizio Lenzerini
- Comparing the Expressiveness of Description Logics 500-512
  Ali Rezaei Divroodi
- Reasoning about Belief Uncertainty in DL Lite N bool 513-525
  Ala Djeddai, Hassina Seridi, Tarek Khadir
- Mary, What's Like All Cats? 526-529
  Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
- Generating Comprehensible Explanations in Description Logic 530-542
  Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
- Rational Closure in SHIQ 543-555
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
- TBox Abduction in ALC Using a DL Tableau 556-566
  Ken Halland, Arina Britz, Szymon Klarman
- Typed Higher-Order Variant of SROIQ - Why Not? 567-578
  Martin Homola, Jan Kluka, Vojtěch Svátek, Miroslav Vacura
- Bridging the Gap between Tableau and Consequence-Based Reasoning 579-590
  Yevgeny Kazakov, Pavel Klinov
- Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability 591-594
  Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
- Visualization and Management of Mappings in Ontology-based Data Access (Progress Report) 595-607
  Domenico Lembo, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Emanuele Tocci
- Practical Query Answering over Hi (DL-LiteR) Knowledge Bases 608-619
  Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
- Temporalising EL Concepts with Time Intervals 620-632
  Jared Leo, Ulrike Sattler, Bijan Parsia
- Towards Parallel Repair: An Ontology Decomposition-based Approach 633-645
  Yue Ma, Rafael Peñaloza
- A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability 646-658
  Yuri Malheiros, Fred Freitas
- An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies 659-670
  Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
- DIP: A Defeasible-Inference Platform for OWL Ontologies 671-683
  Kody Moodley, Thomas Meyer, Uli Sattler
- Transition Constraints for Temporal Attributes 684-695
  E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer
- A Stream-Temporal Query Language for Ontology Based Data Access 696-708
  Özgür Lütfü Özcep, Ralf Möller, Christian Neuenstadt
- Certain Answers in a Rough World 709-712
  Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
- Predicting OWL Reasoners: Locally or Globally? 713-724
  Viachaslau Sazonau, Uli Sattler, Gavin Brown
- OptiqueVQS: Visual Query Formulation for OBDA 725-728
  Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jimenez-Ruiz, Martin Giese, Ian Horrocks
- OBDA Using RL Reasoners and Repairing 729-733
  Giorgos Stoilos
- Instance-driven TBox Revision in DL-Lite 734-745
  Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li
- Rational Elimination of DL-Lite TBox Axioms 746-756
  Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou

2014-07-09: submitted by Meghyn Bienvenu, Mantas Simkus
2014-07-10: published on CEUR-WS.org |valid HTML5|