The Research on Reasoning of TBox in Description Logic ALC
Xia Yuelong
JOURNAL OF QUJING NORMAL UNIVERSITY . 2016, (6): 53 -57 .