Sinoledge: A Knowledge Engine based on Logical Reasoning and Distributed Micro Services