Ju Wang Yuncheng Jiang Yuming Shen Satisfiability and reasoning mechanism of terminological cycles in description logic <i>v</i><i>L</i> . 1204-1214 2008 51 Science in China Series F: Information Sciences 9 http://dx.doi.org/10.1007/s11432-008-0101-6 db/journals/chinaf/chinaf51.html#WangJS08