Principles And Practice Of Semantic Web Reasoning by F. Fages