Extension of contradiction problem-oriented description logic SHOQ
WANG Jing WANG Hong LI Jian FAN Hongjie
Journal of Computer Applications . 2014, (4): 1139 -1143 .  DOI: 10.11772/j.issn.1001-9081.2014.04.1139