Preface to Special Issue on Reasoning in Description Logics
A Tableau Decision Procedure for SHOIQ
Optimizing Terminological Reasoning for Expressive Description Logics
Debugging Incoherent Terminologies
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Tractable Reasoning and Efficient Query Answering in Description Logics