15
disjointWith: Các lớp có thể được thể hiện tách rời với nhau. Ví dụ, “đàn ông”
và “phụ nữ” là các lớp riêng biệt, có thể suy luận rằng nếu An là một thực thể của
lớp “đàn ông”, thì An không phải là một thực thể thuộc lớp “phụ nữ”.
unionOf, complementOf và intersectionOf: OWL DL và OWL Full cho phép
các kết hợp Boolean tùy ý của các lớp và các hạn chế: unionOf, complementOf
và intersectionOf.
Chia sẻ với bạn bè của bạn: