1. Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around
$\mathcal{SHIQ}$
in a Resolution Framework. Technical Report 3-8-04/04, FZI, Karlsruhe, Germany (2004),
http://www.fzi.de/wim/publikationen.php?id=1172
2. Hustadt, U., Motik, B., Sattler, U.: Reducing
${\mathcal SHIQ}^{-}$
Description Logic to Disjunctive Datalog Programs. In: Proc. of the 9th Conference on Knowledge Representation and Reasoning (KR 2004), AAAI Press, Menlo Park (2004)
3. Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics with a concrete domain in the framework of resolution. In: de Mántaras, R.L., Saitta, L. (eds.) Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, pp. 353–357. IOS Press, Amsterdam (2004)
4. Lecture Notes in Computer Science;B. Motik,2004
5. W3C: Web ontology language, OWL (2004),
http://www.w3.org/2004/OWL/