Formal Representation and Query for Digital Contents Data. - Khamis Abdul-Latif Khamis; Huazhu Song; Xian Zhong (J. Inf. Process. Syst., 2020)