@incollection{WagnerGiurcaLukichev2011, author = {Gerd Wagner and Adrian Giurca and Adrian Lukichev}, title = {Principles and Practices of Semantic Web Reasoning}, year = {2011}, }