Principles and Practices of Semantic Web Reasoning