Table of Contents

• Diversity of Reason: Equivalence Relations over Description Logic ExplanationsSamantha Bail, Bijan Parsia, Ulrike Sattler. [doi]
• Preferential Low Complexity Description Logics: Complexity Results and Proof MethodsLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. [doi]
• Representability in DL-Lite_R Knowledge Base ExchangeMarcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov. [doi]
• Long Rewritings, Short RewritingsStanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev. [doi]
• Efficient Upper Bound Computation of Query Answers in Expressive Description LogicsYujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks. [doi]
• An ExpSpace Tableau-based Algorithm for SHOIQChan Le Duc, Myriam Lamolle, Olivier Curé. [doi]
• Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric ConceptsAlexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati. [doi]
• Inverting Subsumption for Constructive ReasoningSimona Colucci, Francesco M. Donini. [doi]
• Small Datalog Query Rewritings for ELGiorgio Stefanoni, Boris Motik, Ian Horrocks. [doi]
• Improved Algorithms for Module Extraction and Atomic DecompositionDmitry Tsarkov. [doi]
• Logical Relevance in OntologiesChiara Del Vescovo, Bijan Parsia, Ulrike Sattler. [doi]
• Modular Combination of Reasoners for Ontology ClassificationAna Armas Romero, Bernardo Cuenca Grau, Ian Horrocks. [doi]
• Adding Context to Tableaux for DLsWeili Fu, Rafael Peñaloza. [doi]
• Towards More Effective Tableaux Reasoning for CKRLoris Bozzato, Martin Homola, Luciano Serafini. [doi]
• Concurrent Classification of OWL Ontologies - An Empirical EvaluationMina Aslani, Volker Haarslev. [doi]
• Towards Practical Query Answering for Horn-SHIQThomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao. [doi]
• Concept-Based Semantic Difference in Expressive Description LogicsRafael S. Gonçalves, Bijan Parsia, Ulrike Sattler. [doi]
• A Parallel Reasoner for the Description Logic ALCKejia Wu, Volker Haarslev. [doi]
• Axiom Pinpointing Using an Assumption-Based Truth Maintenance SystemHai H. Nguyen, Natasha Alechina, Brian Logan. [doi]
• Patent Valuation Using Difference in ALENNaouel Karam, Adrian Paschke. [doi]
• Non-Gödel Negation Makes Unwitnessed Consistency UndecidableStefan Borgwardt, Rafael Peñaloza. [doi]
• Towards an Expressive Decidable Logical Action TheoryWael Yehia, Mikhail Soutchanski. [doi]
• Probabilistic Datalog+/- under the Distribution SemanticsFabrizio Riguzzi, Elena Bellodi, Evelina Lamma. [doi]
• Gödel Negation Makes Unwitnessed Consistency CrispStefan Borgwardt, Felix Distel, Rafael Peñaloza. [doi]
• Naive ABox abduction in ALC using a DL tableauKen Halland, Katarina Britz. [doi]
• Equality-Friendly Well-Founded Semantics and Applications to Description LogicsGeorg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz. [doi]
• An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and RewritingMohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky. [doi]
• Extended Caching and Backjumping for Expressive Description LogicsAndreas Steigmiller, Thorsten Liebig, Birte Glimm. [doi]
• Absorption for ABoxesJiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell. [doi]
• Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial AssertionsDomenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo. [doi]
• Answering Expressive Path Queries over Lightweight DL Knowledge BasesMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus. [doi]
• Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query AnsweringÖzgür L. Özçep, Ralf Möller. [doi]
• Role-depth Bounded Least Common Subsumers for EL+ and ELIAndreas Ecke, Anni-Yasmin Turhan. [doi]
• UEL: Unification Solver for ELFranz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska. [doi]
• Optimising Parallel ABox Reasoning of EL OntologiesYuan Ren, Jeff Z. Pan, Kevin Lee. [doi]
• OCL-Lite: A Decidable (Yet Expressive) Fragment of OCLAnna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente. [doi]
• Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data ComplexityCarsten Lutz, Inanç Seylan, Frank Wolter. [doi]
• Inconsistency-Tolerant Conjunctive Query Answering for Simple OntologiesMeghyn Bienvenu. [doi]
• Deciding FO-Rewritability in ELMeghyn Bienvenu, Carsten Lutz, Frank Wolter. [doi]
• Algebraic Reasoning for SHIQLaleh Roosta Pour, Volker Haarslev. [doi]
• From EL to Tractable Existential Rules with Complex Role InclusionsMichaël Thomazo. [doi]
• Finite Model Reasoning in DL-Lite with Cardinality ConstraintsYazmin Angélica Ibáñez-García. [doi]
• Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with BlockingJaromir Malenko, Petr Stepánek. [doi]
• Incremental Query Rewriting for OWL 2 QLTassos Venetis, Giorgos Stoilos, Giorgos B. Stamou. [doi]
• ORM2 Encoding into Description Logic (Extended Abstract)Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin. [doi]
• Modelling Structured Domains Using Description Graphs and Logic ProgrammingDespoina Magka, Boris Motik, Ian Horrocks. [doi]
• Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description LogicsWael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski. [doi]
• Elimination of Complex RIAs without AutomataFrantisek Simancik. [doi]
• Exact Query Reformulation over SHOQ DBoxesEnrico Franconi, Volha Kerhet, Nhung Ngo. [doi]
• A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion AxiomsMilenko Mosurovic, Henson Graves, Nenad Krdzavac. [doi]
• Viewing the Web as a Distributed Knowledge BaseSerge Abiteboul. [doi]
• Defaults in Description Logics: So Simple, So DifficultPiero A. Bonatti. [doi]
• A Protege Plug-in for Defeasible ReasoningKodylan Moodley, Thomas Meyer, Ivan José Varzinczak. [doi]
• Query Rewriting under Extensional Constraints in DL-LiteRiccardo Rosati. [doi]
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxesFranz Baader, Stefan Borgwardt, Barbara Morawska. [doi]
• Cost Based Query Ordering over OWL OntologiesIlianna Kollia, Birte Glimm. [doi]
• A Formal Characterization of Concept Learning in Description LogicsFrancesca A. Lisi. [doi]
• What's missing? DLs, OWL and the Ecology of Semantic SystemsAlan Rector. [doi]