Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. - Xinyu Zhao; Shaofeng Fan; Runjie Zhang; Anbu Yue; Zuoquan Lin (CEEMAS, 2005)

Feature Model Based on Description Logics. - Shaofeng Fan; Naixiao Zhang (KES (2), 2006)