Sinoledge: A Knowledge Engine based on Logical Reasoning and Distributed Micro Services. - Yining Huang; Shaoze Lin; Yijun Wei; Keke Tang (CoRR, 2021)