Table of Contents

• Reasoning With Weighted OntologiesRafael Peñaloza. [doi]
• Extending DL-Lite Sometime in the FutureAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
• Using Description Logics in Relation Based Access ControlRui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo. [doi]
• Adding Weight to DL-LiteAlessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. [doi]
• Unification in the Description Logic ELFranz Baader, Barbara Morawska. [doi]
• Consequence-Driven Reasoning for Horn SHIQ OntologiesYevgeny Kazakov. [doi]
• A Semantic Algebra for Modularized Description Logics Knowledge BasesKrzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek. [doi]
• Completeness Guaranteed Approximations for OWL-DL Query AnsweringJeff Z. Pan, Edward Thomas, Yuting Zhao. [doi]
• DL-Lite without UNAAlessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. [doi]
• A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description LogicsFrancesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio. [doi]
• A Framework for Reasoning with Expressive Continuous Fuzzy Description LogicsGiorgos Stoilos, Giorgos B. Stamou. [doi]
• An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALCXiaowang Zhang, Zhihu Zhang, Zuoquan Lin. [doi]
• Global Caching, Inverse Roles and Fixpoint LogicsRajeev Goré. [doi]
• Lemmas for Justifications in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. [doi]
• Terminating Tableaux for SOQ with Number Restrictions on Transitive RolesMark Kaminski, Gert Smolka. [doi]
• Validating Process Refinement with OntologiesYuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan, Steffen Staab. [doi]
• A Combination of Boolean Games with Description Logics for Automated Multi-Attribute NegotiationThomas Lukasiewicz, Azzurra Ragone. [doi]
• An Extension of Regularity Conditions for Complex Role Inclusion AxiomsYevgeny Kazakov. [doi]
• Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive SemanticsMichael Mendler, Stephan Scheele. [doi]
• A Resolution Based Description Logic CalculusZsolt Zombori, Gergely Lukácsy. [doi]
• Optimizing Reasoning with Qualified Number Restrictions in SHQNasim Farsinia, Volker Haarslev. [doi]
• Testing Provers on a Grid - Framework DescriptionCarlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez. [doi]
• Building Ontologies Collaboratively Using ContentCVSErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. [doi]
• Belief Contraction in the Description Logic ELZhi Qiang Zhuang, Maurice Pagnucco. [doi]
• Tractable Query Answering over Ontologies with Datalog+/-Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. [doi]
• What Happened to Bob? Semantic Data Mining of Context HistoriesMichael Wessel, Marko Luther, Ralf Möller. [doi]
• OntoComP System DescriptionBaris Sertkaya. [doi]
• Algebraic Tableau Algorithm for ALCOQJocelyne Faddoul, Volker Haarslev, Ralf Möller. [doi]
• Explaining by Example: Model Exploration for Ontology ComprehensionJohannes Bauer, Ulrike Sattler, Bijan Parsia. [doi]
• Quasi-Classical Semantics for Expressive Description LogicsXiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin. [doi]
• Concept Projection in Algebras for Computing Certain Answer DescriptionsJeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. [doi]
• A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary ResultsTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini. [doi]
• Revision of DL-Lite Knowledge BasesZhe Wang, Kewen Wang, Rodney W. Topor. [doi]
• Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)Inanç Seylan, Enrico Franconi, Jos de Bruijn. [doi]
• Model-Based Most Specific Concepts in Some Inexpressive Description LogicsFelix Distel. [doi]
• Filling the Gap between OWL 2 QL and QuOnto: ROWLKitClaudio Corona, Marco Ruzzi, Domenico Fabio Savo. [doi]
• Combined FO Rewritability for Conjunctive Query Answering in DL-LiteRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. [doi]
• Relativizing Concept Descriptions to Comparison ClassesSzymon Klarman, Stefan Schlobach. [doi]
• On Higher-Order Description LogicsGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
• Forgetting and Uniform Interpolation in Extensions of the Description Logic ELBoris Konev, Dirk Walther, Frank Wolter. [doi]
• A System for Retrieving Top-k Candidates to Job PositionsUmberto Straccia, Eufemia Tinelli, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio. [doi]
• Formalizing Multimedia Interpretation based on Abduction over Description Logic AboxesIrma Sofia Espinosa Peraldi, Atila Kaya, Ralf Möller. [doi]
• A Comparison of Query Rewriting Techniques for DL-liteHéctor Pérez-Urbina, Boris Motik, Ian Horrocks. [doi]
• OWL Reasoning in the Real World: Searching for GodotKavitha Srinivas. [doi]
• A Conflict-based Operator for Mapping RevisionGuilin Qi, Qiu Ji, Peter Haase. [doi]
• Reintroducing CEL as an OWL 2 EL ReasonerJulian Mendez, Boontawee Suntisrivaraporn. [doi]
• A Matter of Principles: Towards the Largest DLP PossibleMarkus Krötzsch, Sebastian Rudolph. [doi]
• Open and Closed World Assumptions in Data ExchangeLeonid Libkin, Cristina Sirangelo. [doi]
• Fair Cycle Detection using Description Logic ReasoningShoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell. [doi]
• An Only Knowing Approach to Defeasible Description Logics (Extended Abstract)Espen H. Lian, Arild Waaler. [doi]
• Importing Ontologies with Hidden ContentBernardo Cuenca Grau, Boris Motik. [doi]
• Axiom Pinpointing is HardRafael Peñaloza, Baris Sertkaya. [doi]
• Exploiting Partial Information in Taxonomy ConstructionRob Shearer, Ian Horrocks, Boris Motik. [doi]
• On Correspondences between Probabilistic First-Order and Description LogicsPavel Klinov, Bijan Parsia, Ulrike Sattler. [doi]
• Modelling Object Typicality in Description LogicsKatarina Britz, Johannes Heidema, Tommie Meyer. [doi]
• Query Answering over DL ABoxes: How to Pick the Relevant SymbolsFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. [doi]
• Conjunctive Query Entailment: Decidable in Spite of O, I, and QBirte Glimm, Sebastian Rudolph. [doi]
• Reasoning About Typicality in ALC and ELLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. [doi]
• Generalized Closed World Reasoning in Description Logics with Extended Domain ClosureOliver Gries. [doi]
• Soundness Preserving Approximation for TBox Reasoning in RYuan Ren, Jeff Z. Pan, Yuting Zhao. [doi]
• Which Kind of Module Should I Extract?Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev. [doi]