@TECHREPORT{MSH2003a,
 AUTHOR        = {Motik, B. and Sattler, U. and Hustadt, U.",
 TITLE         = {Reducing {$\mathcal{SHIQ}^-\xspace$} Description Logic to Disjunctive Datalog Programs},
 INSTITUTION   = {FZI},
 ADDRESS       = {Karlsruhe, Germany},
 NUMBER        = {1-8-11/03},
 MONTH         = nov,
 YEAR          = {2003},
 NOTE          = {Revised version submitted to KR conference, http://www.fzi.de/wim/eng/publikationen.php?id=1103},
}