//@yongsun: //@老淘: DL有许多种, 不同的DL去掉的内容不同. 比如与OWL对应的DL(SHOIN)就不能表示这样的逻辑: 一个人的父亲的弟弟是这个人的叔叔 (OWL2可以) //@马少平THU: 对理论性的东西了解不多，只知道Description Logic是谓词逻辑的一个可判定子集，不知道去掉了谓词逻辑中的哪些内容
