Principles and Practice of Semantic Web Reasoning - Alferes, Jóse Júlio; Bailey, James; Kanade, Takeo; May, Wolfgang; Schwertel, Uta (Springer Berlin Heidelberg, 2006)