2020 Dependently Typed Knowledge Graphs Lai, Zhangsheng, Ng, Aik Beng, Wong, Liang Ze, See, Simon, and Lin, Shaowei 2020 arXiv