Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - Pan (Springer International Publishing, 2017)