1. Preface to Special Issue on Reasoning in Description Logics

   • Franz Baader

   OriginalPaper 31 May 2007 Pages: 245 - 247

2. A Tableau Decision Procedure for \(\mathcal{SHOIQ}\)

   • Ian Horrocks
   • Ulrike Sattler

   OriginalPaper 06 July 2007 Pages: 249 - 276

3. Optimizing Terminological Reasoning for Expressive Description Logics

   • Dmitry Tsarkov
   • Ian Horrocks
   • Peter F. Patel-Schneider

   OriginalPaper 14 June 2007 Pages: 277 - 316

4. Debugging Incoherent Terminologies

   • Stefan Schlobach
   • Zhisheng Huang
   • Frank van Harmelen

   OriginalPaper Open access 10 July 2007 Pages: 317 - 349

5. Reasoning in Description Logics by a Reduction to Disjunctive Datalog

   • Ullrich Hustadt
   • Boris Motik
   • Ulrike Sattler

   OriginalPaper 27 July 2007 Pages: 351 - 384

6. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

   • Diego Calvanese
   • Giuseppe De Giacomo
   • Riccardo Rosati

   OriginalPaper 20 July 2007 Pages: 385 - 429