| Authors | Title | Paper | Talk |
|---|
| Michael Benedikt | New Perspectives on Query Reformulation |  | Jul 17 10:45 |
| Patrick Blackburn | Fragments of Logic, Language, and Computation | | Jul 18 08:45 |
| Alon Halevy | Structured Data on the Web (or, a Personal Journey Away From and Back To Ontologies) | | Jul 19 10:45 |
| Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz and Mantas Simkus | Planning Problems for Graph Structured Data in Description Logics | | Jul 19 18:05 |
| Albin Ahmeti, Diego Calvanese and Axel Polleres | SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment | | Jul 20 12:00 |
| Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev | Temporal OBDA with LTL and DL-Lite | | Jul 18 12:00 |
| Franz Baader and Barbara Morawska | Matching with respect to general concept inclusions in the Description Logic EL | | Jul 17 17:40 |
| Meghyn Bienvenu, Stanislav Kikot and Vladimir Podolskii | Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries | | Jul 18 17:05 |
| Stefan Borgwardt | Fuzzy DLs over Finite Lattices with Nominals | | Jul 18 14:55 |
| Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza | Gödel FL_0 with Greatest Fixed-Point Semantics | | Jul 18 14:30 |
| Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev | Query Inseparability by Games | | Jul 19 14:30 |
| Camille Bourgaux, Meghyn Bienvenu and François Goasdoué | Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics | | Jul 18 11:35 |
| Pierre Bourhis, Michael Morak and Andreas Pieris | Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs | | Jul 17 11:45 |
| Loris Bozzato, Thomas Eiter and Luciano Serafini | Contextualized Knowledge Repositories with Justifiable Exceptions | | Jul 17 18:05 |
| Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith and Florian Zuleger | Shape and Content: Incorporating Domain Knowledge into Shape Analysis | | Jul 17 15:20 |
| David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca-Grau, Pascal Hitzler and Ian Horrocks | Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs | | Jul 17 14:30 |
| Bernardo Cuenca Grau, Evgeny Kharlamov, Egor Kostylev and Dmitriy Zheleznyakov | Controlled Query Evaluation over Lightweight Ontologies | | Jul 20 10:45 |
| Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas and Sarunas Marciuska | On Faceted Search over Knowledge Bases | | Jul 19 11:45 |
| Chiara Del Vescovo and Rafael Peñaloza | DeaLing with Ontologies using CODs | | Jul 20 09:50 |
| Thomas Eiter, Michael Fink and Daria Stepanova | Towards Practical Deletion Repair of Inconsistent DL-programs | | Jul 18 10:45 |
| William Gatens, Boris Konev and Frank Wolter | Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies | | Jul 20 09:00 |
| Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran and Vincent Vialard | Abstraction Refinement for Ontology Materialization | | Jul 17 14:55 |
| Peter Hansen, Carsten Lutz, Inanc Seylan and Frank Wolter | Query Rewriting under EL TBoxes: Efficient Algorithms | | Jul 20 11:10 |
| Mark Kaminski, Yavor Nenov and Bernardo Cuenca Grau | Datalog Rewriting Techniques for Non-Horn Ontologies | | Jul 18 16:40 |
| Yevgeny Kazakov and Pavel Klinov | Goal-Directed Tracing of Inferences in EL Ontologies | | Jul 17 16:50 |
| Szymon Klarman and Thomas Meyer | Complexity of Temporal Query Abduction in DL-Lite | | Jul 18 12:25 |
| Patrick Koopmann and Renate A. Schmidt | Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes | | Jul 19 15:20 |
| Egor V. Kostylev, Juan L. Reutter and Domagoj Vrgoc | XPath for DL-Lite Ontologies | | Jul 20 12:25 |
| Markus Krötzsch and Sebastian Rudolph | Complexities of Nominal Schemas | | Jul 17 12:10 |
| Michel Ludwig and Rafael Peñaloza | Brave and Cautious Reasoning in EL | | Jul 17 17:15 |
| Michel Ludwig and Dirk Walther | Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs | | Jul 19 14:55 |
| Francisco Martin-Recuerda and Dirk Walther | Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies | | Jul 20 09:25 |
| Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks and Dan Olteanu | Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems | | Jul 20 11:35 |
| Andreas Steigmiller, Birte Glimm and Thorsten Liebig | Optimised Absorption for Expressive Description Logics | | Jul 19 17:40 |
| Giorgos Stoilos and Giorgos Stamou | Hybrid Query Answering Over DL Ontologies | | Jul 19 17:15 |
| David Toman and Grant Weddell | Pushing the CFDnc Envelope | | Jul 19 12:10 |
| Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau and Ian Horrocks | Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner | | Jul 19 16:50 |
| Tahani Alsubait, Bijan Parsia and Uli Sattler | Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? | | Jul 18 15:41 |
| Fernando Bobillo and Umberto Straccia | A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB | | Jul 18 15:20 |
| Stefan Borgwardt, Felix Distel and Rafael Peñaloza | Gödel Description Logics with General Models | | Jul 18 15:26 |
| Pierre Bourhis, Markus Krötzsch and Sebastian Rudolph | How to Best Nest Regular Path Queries | | Jul 17 12:50 |
| Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger and Mantas Simkus | Expressive Identification Constraints to Capture Functional Dependencies in Description Logics | | Jul 19 12:47 |
| Marco Cerami and Umberto Straccia | Complexity sources in FDL | | Jul 18 15:23 |
| Federico Cerutti, Geeth de Mel, Timothy Norman, Nir Oren, Artemis Parvizi, Paul Sullivan and Alice Toniolo | Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information | | Jul 18 15:38 |
| Ismail Ilkan Ceylan and Rafael Peñaloza | Bayesian Description Logics | | Jul 18 15:32 |
| Liang Chang, Uli Sattler and Tianlong Gu | An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ | | Jul 17 15:45 |
| Jieying Chen, Michel Ludwig, Yue Ma and Dirk Walther | Evaluation of Extraction Techniques for Ontology Excerpts | | Jul 19 12:56 |
| Marco Console, Domenico Lembo, Valerio Santarelli and Domenico Fabio Savo | Graphol: Ontology representation through diagrams | | Jul 19 12:41 |
| Marco Console and Maurizio Lenzerini | Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract | | Jul 19 12:44 |
| Ali Rezaei Divroodi | Comparing the Expressiveness of Description Logics | | Jul 17 12:35 |
| Ala Djeddai, Hassina Seridi and Tarek Khadir | Reasoning about Belief Uncertainty in DL Lite N bool | | Jul 18 15:35 |
| Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan | Mary, What's Like All Cats? | | Jul 18 15:44 |
| Fredrik Engström, Abdul Rahim Nizamani and Claes Strannegård | Generating Comprehensible Explanations in Description Logic | | Jul 19 15:48 |
| Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato | Rational closure in SHIQ | | Jul 17 15:54 |
| Ken Halland, Arina Britz and Szymon Klarman | TBox abduction in ALC using a DL tableau | | Jul 19 15:45 |
| Martin Homola, Jan Kluka, Vojtěch Svátek and Miroslav Vacura | Typed Higher-Order Variant of SROIQ - Why Not? | | Jul 17 12:53 |
| Yevgeny Kazakov and Pavel Klinov | Bridging the Gap between Tableau and Consequence-Based Reasoning | | Jul 17 12:44 |
| Tomer Kotek, Mantas Simkus, Helmut Veith and Florian Zuleger | Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability | | Jul 17 12:47 |
| Domenico Lembo, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo and Emanuele Tocci | Visualization and management of mappings in ontology-based data access (progress report) | | Jul 19 12:38 |
| Maurizio Lenzerini, Lorenzo Lepore and Antonella Poggi | Practical query answering over Hi (DL-LiteR) knowledge bases | | Jul 17 12:56 |
| Jared Leo, Ulrike Sattler and Bijan Parsia | Temporalising EL Concepts with Time Intervals | | Jul 18 12:50 |
| Yue Ma and Rafael Peñaloza | Towards Parallel Repair: An Ontology Decomposition-based Approach | | Jul 19 15:54 |
| Yuri Malheiros and Fred Freitas | A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability | | Jul 19 12:53 |
| Nicolas Matentzoglu, Bijan Parsia and Uli Sattler | An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies | | Jul 17 12:38 |
| Kody Moodley, Thomas Meyer and Uli Sattler | DIP: A Defeasible-Inference Platform for OWL Ontologies | | Jul 17 15:57 |
| E. A. Nasubo Ongoma, C. Maria Keet and Thomas Meyer | Transition Constraints for Temporal Attributes | | Jul 18 12:53 |
| Özgür Lütfü Özcep, Ralf Möller and Christian Neuenstadt | A Stream-Temporal Query Language for Ontology Based Data Access | | Jul 18 12:56 |
| Rafael Peñaloza, Veronika Thost and Anni-Yasmin Turhan | Certain Answers in a Rough World | | Jul 18 15:29 |
| Viachaslau Sazonau, Uli Sattler and Gavin Brown | Predicting OWL Reasoners: Locally or Globally? | | Jul 17 12:41 |
| Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jimenez-Ruiz, Martin Giese and Ian Horrocks | OptiqueVQS: Visual Query Formulation for OBDA | | Jul 19 12:35 |
| Giorgos Stoilos | OBDA Using RL Reasoners and Repairing | | Jul 19 12:50 |
| Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang and Yuefeng Li | Instance-driven TBox Revision in DL-Lite | | Jul 17 15:48 |
| Zhiqiang Zhuang, Zhe Wang, Kewen Wang and Grigoris Antoniou | Rational Elimination of DL-Lite TBox Axioms | | Jul 17 15:51 |