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.
S. Ambrose, M. Bridges, M. DiPietro, M. Lovett, and M. Norman. John Wiley & Sons, (2010)Learning results from what the student does and thinks and only from what the student does and thinks. The teacher can advance learning only by influencing what the student does to learn. Herbert Simon.