Description Logics 2013: Ulm, Germany
Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (Eds.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR-WS.org 2013 CEUR Workshop Proceedings 1014
Paper Presentations
- Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov: Computing Solutions in OWL 2 QL Knowledge Exchange. 4-16
- Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Temporalising OWL 2 QL. 17-28
- Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao: Tractability Guarantees for DL-Lite Query Answering. 41-52
- Meghyn Bienvenu, Riccardo Rosati: New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. 53-64
- Daniel Borchmann: Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals. 65-79
- Arina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak: Preferential Role Restrictions. 93-106
- Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov: Verification of Inconsistency-Aware Knowledge and Action Bases. 107-119
- Diego Calvanese, Magdalena Ortiz, Mantas Simkus: Evolving Graph Databases under Description Logic Constraints. 120-131
- Marco Console, Valerio Santarelli, Domenico Fabio Savo: Efficient Approximation in DL-Lite of OWL 2 Ontologies. 132-143
- Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov: Empirical Study of Logic-Based Modules: Cheap Is Cheerful. 144-155
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Minimal Model Semantics and Rational Closure in Description Logics. 168-180
- Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou: Using the TBox to Optimise SPARQL Queries. 181-196
- Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler: The Empirical Robustness of Description Logic Classification. 197-208
- André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob: Well-Founded Semantics for Extended Datalog and Ontological Reasoning. 209-220
- Martin Homola, Jan Kluka, Vojtech Svátek, Miroslav Vacura: Towards Typed Higher-Order Description Logics. 221-233
- Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider: Finite Model Reasoning in Horn-SHIQ. 234-245
- Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks: Evaluating Mapping Repair Systems with Large Biomedical Ontologies. 246-257
- Mark Kaminski, Bernardo Cuenca Grau: Sufficient Conditions for First-Order and Datalog Rewritability in ELU. 271-293
- Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Query Rewriting over Shallow Ontologies. 316-327
- Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin: Query Answering via Modal Definability with FaCT++: First Blood. 328-340
- Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. 353-363
- Egor V. Kostylev, Juan L. Reutter: Complexity of Answering Counting Aggregate Queries over DL-Lite. 364-376
- Michel Ludwig, Boris Konev: Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. 377-389
- Despoina Magka, Markus Krötzsch, Ian Horrocks: Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. 390-402
- David Toman, Grant E. Weddell: CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. 451-463
- Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou: Optimising Resolution-Based Rewriting Algorithms for DL Ontologies. 464-476
- Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell: Absorption for ABoxes with Local Universal Restrictions. 489-500
Poster Presentations
- Serge Autexier, Dieter Hutter: Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. 501-512
- Fernando Bobillo, Umberto Straccia: General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step. 513-525
- Pierre Bourhis, Michael Morak, Andreas Pieris: The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. 539-551
- Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi: Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. 573-586
- Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan José Varzinczak: Towards Practical Defeasible Reasoning for Description Logics. 587-599
- Giovanni Casini, Thomas Meyer, Ivan José Varzinczak, Kodylan Moodley: Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. 600-615
- Mohamed Chaabani, Rachid Echahed, Martin Strecker: Logical Foundations for Reasoning about Transformations of Knowledge Bases. 616-627
- Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi: Synthesizing Extensional Constraints in Ontology-Based Data Access. 628-639
- Ali Rezaei Divroodi, Linh Anh Nguyen: Bisimulation-Based Comparisons for Interpretations in Description Logics. 652-669
- Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan: Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. 670-688
- Daniel Gorín, Lutz Schröder, Thorsten Wißmann: Reasoning with Bounded Self-reference Using Logical Interpreters. 689-703
- Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky: A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. 724-734
- Chan Le Duc, Myriam Lamolle, Olivier Curé: SHOIQ with Transitive Closure of Roles Is Decidable. 735-746
- Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo: A Graph-Based Approach for Classifying OWL 2 QL Ontologies. 747-759
- Francesca Alessandra Lisi, Umberto Straccia: A System for Learning GCI Axioms in Fuzzy Description Logics. 760-778
- Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari: Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-. 791-803
- Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari: Preference-Based Query Answering in Datalog+/- Ontologies. 804-815
- Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt: Advances in Accessing Big Data with Expressive Ontologies. 842-853
- Andreas Nolle, German Nemirovski: ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration. 854-867
- Riku Nortje, Arina Britz, Thomas Meyer: Module-theoretic Properties of Reachability Modules for SRIQ. 868-884
- Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari: Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. 885-897
- Denis Ponomaryov, Dmitry Vlasov: Concept Definability and Interpolation in Enriched Models of EL-TBoxes. 898-916
- Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev: Query Rewriting and Optimisation with Database Dependencies in Ontop. 917-929
- Weihong Song, Bruce Spencer, Weichang Du: Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach. 942-961
- Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. 962-974
- Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos: Query Rewriting Under Ontology Evolution. 975-987
- Cong Wang, David Carral Martínez, Pascal Hitzler: SROIQ Syntax Approximation by Using Nominal Schemas. 988-999
- Michael Wolters, German Nemirovski, Andreas Nolle: ClickOn_A: An Editor for DL-Lite_A Based Ontology Design. 1000-1010
- Kejia Wu, Volker Haarslev: Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning. 1011-1023
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team