@INPROCEEDINGS{HMS2004a,
 AUTHOR        = {Hustadt, U. and Motik, B. and Sattler, U.},
 TITLE         = {Reducing {$\mathcal{SHIQ}^-$} Description Logic to
 Disjunctive Datalog Programs},
 BOOKTITLE     = {Proceedings of the 9th International Conference 
 on Knowledge Representation and Reasoning (KR2004)},
 EDITOR        = {Dubois, D. and Welty, C. and Williams, M.-A.},
 PUBLISHER     = {AAAI Press},
 PADDRESS      = {Menlo Park, California, USA},
 CMONTH        = jun,
 CYEAR         = {2004},
 YEAR          = {2004},
 PAGES         = {152--162},
}