DL 2014
27th International Workshop on Description Logics

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