Ontology-Based Semantic Verification for UML Behavioral Models. - Hongyue He; Zhixue Wang; Qingchao Dong; Weizhong Zhang; Weixing Zhu (Int. J. Softw. Eng. Knowl. Eng., 2013)

A Novel Context-aware Modeling and Reasoning Method based on OWL. - Bo Hu; Zhixue Wang; Qingchao Dong (J. Comput., 2013)

Capability-oriented architectural analysis method based on fuzzy description logic. - Zhang Tingting; Xiaoming Liu 015; Zhixue Wang; Qingchao Dong (Comput. Sci. Inf. Syst., 2016)