Satisfiability of terminological cycles in description logic FL0
WANG Tianyou1, CAO Fasheng2,3
Computer Engineering and Applications . 2012, (14): 56 -59 .