Volume 39, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 39, Issue 3

October 2007

Special Issue on Reasoning in Description Logics

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Preface to Special Issue on Reasoning in Description Logics
Franz Baader
OriginalPaper 31 May 2007 Pages: 245 - 247
A Tableau Decision Procedure for \(\mathcal{SHOIQ}\)
Ian Horrocks
Ulrike Sattler
OriginalPaper 06 July 2007 Pages: 249 - 276
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov
Ian Horrocks
Peter F. Patel-Schneider
OriginalPaper 14 June 2007 Pages: 277 - 316
Debugging Incoherent Terminologies
Stefan Schlobach
Zhisheng Huang
Frank van Harmelen
OriginalPaper Open access 10 July 2007 Pages: 317 - 349
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Ullrich Hustadt
Boris Motik
Ulrike Sattler
OriginalPaper 27 July 2007 Pages: 351 - 384
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