F-SHIQ axiom system and extension of OWL
LI Ming-quan,FENG Zhi-yong
Computer Engineering and Applications . 2008, (30): 1 -5 .  DOI: 10.3778/j.issn.1002-8331.2008.30.001