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.
This blog is a quick (i.e. not comprehensive) introduction to blogging for educators, with hands-on steps for getting started in using MovableType as well as some conjecture on using MT in different educational contexts.