Text this: Principles and Practice of Semantic Web Reasoning