您即将离开知乎，请注意您的账号和财产安全。
https://www.w3.org/TR/2012/REC-owl2-direct-semantics-20121211/#Class_Expression_Axioms
