Text this: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering