Principles and Practice of Semantic Web Reasoning - PPSWR; Fages, François; Kanade, Takeo; Soliman, Sylvain; Kittler, Josef (Springer Berlin / Heidelberg, 2005)