Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao (Springer, 2017)