Baader: Description logics as ontology languages for the semantic web. in Hutter et al. (Hrsg.): Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, LNAI 2605, S. 228-248. Springer, 2005.
February 21-23, 2007 * Expression of interest to submit paper with abstract: August 15, 2006 * Submission of full paper: September 15, 2006 * Notification of acceptance with comments: October 31, 2006 * Submission of the final papers