Yingzhou Zhang Weifeng Zhang Description Logic Representation for Requirement Specification. 1147-1154 2007 conf/iccS/2007-2 International Conference on Computational Science (2) http://dx.doi.org/10.1007/978-3-540-72586-2_160 db/conf/iccS/iccS2007-2.html#ZhangZ07b