Principles and Practice of Semantic Web Reasoning