Semantic technologies for eLearning: A case study in the philosophical domain: representing Wittgenstein's Tractatus Logico-Philosophicus