DL 2013
26th International Workshop on Description Logics

Table of Contents

• Preface and Conference Organisation
  
  

Invited Talks

• Actions, Processes, and Ontologies 1
  Giuseppe De Giacomo
• Drugs, Genetics and Phenotypes: an Admission of Formal Semantics in Biomedical Research 2
  Michel Dumontier
• Transitivity and Equivalence in Decidable Fragments of First-Order Logic 3
  Ian Pratt-Hartmann

Paper Presentations

• Computing Solutions in OWL 2 QL Knowledge Exchange 4-16
  Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
• Temporalising OWL 2 QL 17-28
  Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
• Hybrid EL-Unification is NP-complete 29-40
  Franz Baader, Oliver Fernandez Gil, Barbara Morawska
• Tractability Guarantees for DL-Lite Query Answering 41-52
  Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
• New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access 53-64
  Meghyn Bienvenu, Riccardo Rosati
• Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals 65-79
  Daniel Borchmann
• Temporal Query Answering in DL-Lite 80-92
  Stefan Borgwardt, Marcel Lippmann, Veronika Thost
• Preferential Role Restrictions 93-106
  Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
• Verification of Inconsistency-Aware Knowledge and Action Bases 107-119
  Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
• Evolving Graph Databases under Description Logic Constraints 120-131
  Diego Calvanese, Magdalena Ortiz, Mantas Simkus
• Efficient Approximation in DL-Lite of OWL 2 Ontologies 132-143
  Marco Console, Valerio Santarelli, Domenico Fabio Savo
• Empirical Study of Logic-Based Modules: Cheap Is Cheerful 144-155
  Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
• A Hybrid Approach for Learning SNOMED CT Definitions from Text 156-167
  Felix Distel, Yue Ma
• Minimal Model Semantics and Rational Closure in Description Logics 168-180
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
• Using the TBox to Optimise SPARQL Queries 181-196
  Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos Stamou
• The Empirical Robustness of Description Logic Classification 197-208
  Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
• Well-Founded Semantics for Extended Datalog and Ontological Reasoning 209-220
  André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
• Towards Typed Higher-Order Description Logics 221-233
  Martin Homola, Jan Kluka, Vojtěch Svátek, Miroslav Vacura
• Finite Model Reasoning in Horn-SHIQ 234-245
  Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
• Evaluating Mapping Repair Systems with Large Biomedical Ontologies 246-257
  Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks
• Ontology-Based Access to Probabilistic Data 258-270
  Jean Christoph Jung, Carsten Lutz
• Sufficient Conditions for First-Order and Datalog Rewritability in ELU 271-293
  Mark Kaminski, Bernardo Cuenca Grau
• Incremental Reasoning in EL+ without Bookkeeping 294-315
  Yevgeny Kazakov, Pavel Klinov
• Query Rewriting over Shallow Ontologies 316-327
  Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
• Query Answering via Modal Definability with FaCT++: First Blood 328-340
  Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
• Exact Learning of TBoxes in EL and DL-Lite 341-352
  Boris Konev, Carsten Lutz, Frank Wolter
• Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard 353-363
  Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
• Complexity of Answering Counting Aggregate Queries over DL-Lite 364-376
  Egor V. Kostylev, Juan L. Reutter
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes 377-389
  Michel Ludwig, Boris Konev
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling 390-402
  Despoina Magka, Markus Krötzsch, Ian Horrocks
• More is Sometimes Less: Succinctness in EL 403-414
  Nadeschda Nikitina, Sven Schewe
• Rough EL Classification 415-427
  Rafael Peñaloza, Tingting Zou
• Extending Absorption to Nominal Schemas 428-450
  Andreas Steigmiller, Birte Glimm, Thorsten Liebig
• CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness 451-463
  David Toman, Grant Weddell
• Optimising Resolution-Based Rewriting Algorithms for DL Ontologies 464-476
  Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos Stamou
• Computing the lcs w.r.t. General EL+-TBoxes 477-488
  Anni-Yasmin Turhan, Benjamin Zarrieß
• Absorption for ABoxes with Local Universal Restrictions 489-500
  Jiewen Wu, Taras Kinash, David Toman, Grant Weddell

Poster Presentations

• Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes 501-512
  Serge Autexier, Dieter Hutter
• General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step 513-525
  Fernando Bobillo, Umberto Straccia
• About Subsumption in Fuzzy EL 526-538
  Stefan Borgwardt, Rafael Peñaloza
• The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules 539-551
  Pierre Bourhis, Michael Morak, Andreas Pieris
• Materialization Calculus for Contexts in the Semantic Web 552-572
  Loris Bozzato, Luciano Serafini
• Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis 573-586
  Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
• Towards Practical Defeasible Reasoning for Description Logics 587-599
  Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan Varzinczak
• Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox 600-615
  Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kody Moodley
• Logical Foundations for Reasoning about Transformations of Knowledge Bases 616-627
  Mohamed Chaabani, Rachid Echahed, Martin Strecker
• Synthesizing Extensional Constraints in Ontology-Based Data Access 628-639
  Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi
• Reasoning with DL-based CP-nets 640-651
  Tommaso Di Noia, Thomas Lukasiewicz, Gerardo Simari
• Bisimulation-Based Comparisons for Interpretations in Description Logics 652-669
  Ali Rezaei Divroodi, Linh Anh Nguyen
• Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals 670-688
  Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
• Reasoning with Bounded Self-reference Using Logical Interpreters 689-703
  Daniel Gorin, Lutz Schröder, Thorsten Wißmann
• Extending DL-Lite_A with (Singleton) Nominals 704-723
  Maxim Haddad, Diego Calvanese
• A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI 724-734
  Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
• SHOIQ with Transitive Closure of Roles Is Decidable 735-746
  Chan Le Duc, Myriam Lamolle, Olivier Curé
• A Graph-Based Approach for Classifying OWL 2 QL Ontologies 747-759
  Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo
• A System for Learning GCI Axioms in Fuzzy Description Logics 760-778
  Francesca Alessandra Lisi, Umberto Straccia
• SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS 779-790
  Yu Liu, Peter McBrien
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- 791-803
  Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari
• Preference-Based Query Answering in Datalog+/- Ontologies 804-815
  Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari
• Spatial Semantics for Concepts 816-828
  Özgür L. Özçep, Ralf Möller
• A Corpus of OWL DL Ontologies 829-841
  Nicolas Matentzoglu, Samantha Bail, Bijan Parsia
• Advances in Accessing Big Data with Expressive Ontologies 842-853
  Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt
• ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration 854-867
  Andreas Nolle, German Nemirovski
• Module-theoretic Properties of Reachability Modules for SRIQ 868-884
  Riku Nortje, Arina Britz, Thomas Meyer
• Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL 885-897
  Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
• Concept Definability and Interpolation in Enriched Models of EL-TBoxes 898-916
  Denis Ponomaryov, Dmitry Vlasov
• Query Rewriting and Optimisation with Database Dependencies in Ontop 917-929
  Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
• Towards Explicative Inference for OWL 930-941
  Marvin Schiller, Birte Glimm
• Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach 942-961
  Weihong Song, Bruce Spencer, Weichang Du
• Introducing Nominals to the Combined Query Answering Approaches for EL 962-974
  Giorgio Stefanoni, Boris Motik, Ian Horrocks
• Query Rewriting Under Ontology Evolution 975-987
  Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou, George Koletsos
• SROIQ Syntax Approximation by Using Nominal Schemas 988-999
  Cong Wang, David Carral, Pascal Hitzler
• ClickOn_A: An Editor for DL-Lite_A Based Ontology Design 1000-1010
  Michael Wolters, German Nemirovski, Andreas Nolle
• Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning 1011-1023
  Kejia Wu, Volker Haarslev