1. 等价类:前提:C1 owl:equivalentClass C2,X rdf:type C1结论:X rdf:type C2
2. 前提:C1 owl:equivalentClass C2,X rdf:type C1
3. 结论:X rdf:type C2
4. 传递属性:前提:P rdf:type owl:TransitiveProperty,X P Y,Y P Z结论:X P Z
5. 前提:P rdf:type owl:TransitiveProperty,X P Y,Y P Z
6. 结论:X P Z
7. 对称属性:前提:P rdf:type owl:SymmetricProperty,X P Y结论:Y P X
8. 前提:P rdf:type owl:SymmetricProperty,X P Y
9. 结论:Y P X
10. 逆属性:前提:P1 owl:inverseOf P2,X P1 Y结论:Y P2 X
11. 前提:P1 owl:inverseOf P2,X P1 Y
12. 结论:Y P2 X