Yuzhong Qu A predicate-ordered logic for knowledge representation on the web. 19-26 2004 20 Future Generation Comp. Syst. 1 http://dx.doi.org/10.1016/S0167-739X(03)00161-4 db/journals/fgcs/fgcs20.html#Qu04