Table of Contents

• Integrating Open Data: (How) Can Description Logics Help me?Axel Polleres. [doi]
• Elastiq: Answering Similarity-threshold Instance Queries in ELAndreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan. [doi]
• Query Rewriting in Horn-SHIQDespoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou. [doi]
• Semantics of SPARQL under OWL 2 Entailment RegimesEgor V. Kostylev, Bernardo Cuenca Grau. [doi]
• The Combined Complexity of Reasoning with Closed Predicates in Description LogicsNhung Ngo, Magdalena Ortiz, Mantas Simkus. [doi]
• Query-based comparison of OBDA specificationsMeghyn Bienvenu, Riccardo Rosati. [doi]
• Answering EL Queries in the Presence of PreferencesIsmail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza. [doi]
• CFDIDavid Toman, Grant E. Weddell. [doi]
• Decidable Contextualized DLs with Rigid RolesStephan Böhme, Marcel Lippmann. [doi]
• Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL DialectAlexander Borgida, David Toman, Grant E. Weddell. [doi]
• Entity-oriented Search Engine Result PagesMaarten de Rijke. [doi]
• Completion Graph Caching for Expressive Description LogicsAndreas Steigmiller, Birte Glimm, Thorsten Liebig. [doi]
• Polynomial Horn Rewritings for Description Logics OntologiesMark Kaminski, Bernardo Cuenca Grau. [doi]
• CFDIPablo R. Fillottrani, C. Maria Keet, David Toman. [doi]
• Temporal Query Answering in ELStefan Borgwardt, Veronika Thost. [doi]
• Conjunctive Query Answering with Finitely Many Truth DegreesStefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan. [doi]
• DysToPic: a Multi-Engine Theorem Prover for Preferential Description LogicsLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti. [doi]
• Query Rewriting Beyond DL-LiteCarsten Lutz. [doi]
• Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary RelationsGeorg Gottlob, Marco Manna, Andreas Pieris. [doi]
• Handling uncertainty: An extension of DL-Lite with Subjective LogicJhonatan Garcia, Jeff Z. Pan, Achille Fokoue. [doi]
• Lower and Upper Bounds for SPARQL Queries over OWL OntologiesBirte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou. [doi]
• Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract)Damian Bursztyn, François Goasdoué, Ioana Manolescu. [doi]
• Advancing ELK: Not Only Performance MattersYevgeny Kazakov, Pavel Klinov. [doi]
• Dismatching and Local Disunification in EL (Extended Abstract)Franz Baader, Stefan Borgwardt, Barbara Morawska. [doi]
• Nonmonotonic Nominal Schemas RevisitedMatthias Knorr. [doi]
• An Ontology-Based Archive for Historical ResearchGiovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina. [doi]
• Optimized Construction of Secure Knowledge-Base ViewsPiero A. Bonatti, Iliana Petrova, Luigi Sauro. [doi]
• Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based ApproachMourad Ouziri, Salima Benbernou, Naouel Karam, Allel HadjAli. [doi]
• Abductive Reasoning with Description Logics: Use Case in Medical DiagnosisJúlia Pukancová, Martin Homola. [doi]
• Interval Temporal Description LogicsAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
• Dealing with Inconsistencies due to Class Disjointness in SPARQL UpdateAlbin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov. [doi]
• Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisFrancesco Kriegel. [doi]
• A higher-order semantics for OWL 2 QL ontologies (Extended abstract)Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi. [doi]
• Adding Threshold Concepts to the Description Logic ELOliver Fernandez Gil, Franz Baader, Gerhard Brewka. [doi]
• The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome MarriageVíctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider 0002. [doi]
• Extending Consequence-Based Reasoning to SHIQAndrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks. [doi]
• Inconsistency Management in Generalized Knowledge and Action BasesDiego Calvanese, Marco Montali, Ario Santoso. [doi]
• Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, François Goasdoué. [doi]
• Concept Forgetting for ALCOI-Ontologies using an Ackermann ApproachYizheng Zhao, Renate A. Schmidt. [doi]
• On Implementing Temporal Query Answering in DL-Lite (extended abstract)Veronika Thost, Jan Holste, Özgür L. Özcep. [doi]
• Decidable Verification of Knowledge-Based Programs over Description Logic Actions with SensingBenjamin Zarrieß, Jens Claßen. [doi]
• PAGOdA: Pay-as-you-go ABox ReasoningYujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks. [doi]
• Combined Complexity of Answering Tree-like Queries in OWL 2 QLMeghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii. [doi]
• Heuristics for Applying Cached OBDA RewritingsAndreas Nakkerud, Evgenij Thorstensen. [doi]
• Reasoning in description logics with variables: preliminary results regarding the EL logicLakhdar Akroun, Lhouari Nourine, Farouk Toumani. [doi]
• Towards Expressive Metamodelling with InstantiationPetra Kubincová, Jan Kluka, Martin Homola. [doi]
• Tableau-based revision in SHIQThinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle. [doi]
• Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen. [doi]
• Dynamic Bayesian Description LogicsIsmail Ilkan Ceylan, Rafael Peñaloza. [doi]
• TBox Reasoning in the Probabilistic Description Logic SHIQpViachaslau Sazonau, Uli Sattler. [doi]
• Schema-Agnostic Query Rewriting for OWL QLStefan Bischof 0002, Markus Krötzsch, Axel Polleres, Sebastian Rudolph. [doi]
• Extending the Combined Approach Beyond Lightweight Description LogicsCristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks. [doi]
• Schema.org as a Description LogicAndré Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter. [doi]
• Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)Tobias Kaminski, Matthias Knorr, João Leite. [doi]
• Exact Learning Description Logic Ontologies from Data Retrieval ExamplesBoris Konev, Ana Ozaki, Frank Wolter. [doi]
• A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLiteTheofilos P. Mailis, Anni-Yasmin Turhan, Erik Zenker. [doi]
• Query Answering in Bayesian Description LogicsIsmail Ilkan Ceylan. [doi]
• Saturated-Based Forgetting in the Description Logic SIFPatrick Koopmann, Renate A. Schmidt. [doi]
• Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge BasesMichele Stawowy. [doi]
• DL-Lite and Conjunctive Queries Extended by Optional MatchingShqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek. [doi]
• Empirical Investigation of Subsumption Test Hardness in Description Logic ClassificationNicolas Matentzoglu, Uli Sattler, Bijan Parsia. [doi]
• Integrating Ontologies and Planning for Cognitive SystemsGregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller. [doi]
• Conservative Rewritability of Description Logic TBoxes: First ResultsBoris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. [doi]