10.5.1 Disjointness of subconceptsI

10.5.1 Disjointness of subconcepts
In many cases, subclasses are disjoint from each other. For example, Book and Journal are disjoint subclasses of Material. In DLs that support negation, this is modeled by adding the complement of one concept to the necessary properties of the other concept:
Book v not Journal
Often, entire collections of subclasses are disjoint2. For this purpose, some DLs provide the ability to describe disjointness by naming a discriminator, and a special declaration operation for primitive subclasses. For example, one might discriminate between various kinds of material on the basis of the medium as follows:
Print v (disjointPrim Material in group medium with discriminant paper);
Video v (disjointPrim Material in group medium with discriminant light);
Audio v (disjointPrim Material in group medium with discriminant sound);
At the same time, one might discriminate between different kinds of material on the basis of the format:
Book v (disjointPrim Material in group format with discriminant book);
Journal v (disjointPrim Material in group format with discriminant journal);
. . .
1 For this section, we will think of the material to be loaned as physical individuals that can be carried out the door of the library, so to speak.
2 This is especially the case at the top of the subclass hierarchy: Person, Material, etc.
Two points are worth making here: (i) the advantage of a syntax based on discriminators is that it avoids the multiplicative effect of having to state disjointness for every pair of disjoint concepts; (ii) as in the above example, it is important to allow during modeling for multiple groups of disjoint subconcepts for the same concept.

Kết quả (Việt) 2:

10.5.1 Disjointness của subconcepts
Trong nhiều trường hợp, các lớp con thường tách rời khỏi nhau. Ví dụ, sách và tạp chí là lớp con rời nhau của vật liệu. Trong DLs hỗ trợ phủ định, điều này được mô hình hóa bằng cách thêm phần bù của một khái niệm để các thuộc tính cần thiết của các khái niệm khác:
v không Journal Sách
thường, toàn bộ bộ sưu tập của các lớp con là disjoint2. Với mục đích này, một số DLs cung cấp khả năng để mô tả disjointness bằng cách đặt tên một phân biệt, và một hoạt động tuyên bố đặc biệt cho lớp con nguyên thủy. Ví dụ, người ta có thể phân biệt đối xử giữa các loại vật liệu trên cơ sở của các phương tiện như sau:
In v (disjointPrim liệu trong môi trường nhóm với giấy discriminant);
video v (disjointPrim liệu trong môi trường nhóm với ánh sáng phân biệt);
âm thanh v (disjointPrim Chất liệu trong môi trường nhóm với âm thanh phân biệt);
Đồng thời, người ta có thể phân biệt đối xử giữa các loại khác nhau của vật liệu trên cơ sở các định dạng:
Sách v (disjointPrim liệu ở định dạng nhóm với cuốn sách discriminant);
Tạp chí v (disjointPrim liệu ở định dạng nhóm với tạp chí discriminant);
. . .
1 Đối với phần này, chúng ta sẽ nghĩ đến những vật liệu được cho vay là cá nhân, vật lý có thể được thực hiện cánh cửa của thư viện, do đó, để nói chuyện.
2 Điều này đặc biệt đúng ở phía trên cùng của hệ thống phân cấp lớp con: Person, Vật liệu , vv
Hai điểm đáng làm ở đây: (i) Lợi thế của một cú pháp dựa trên discriminators là nó tránh được các hiệu ứng nhân của việc phải disjointness nhà nước cho mỗi cặp khái niệm tách rời nhau; (Ii) như trong ví dụ trên, điều quan trọng là cho phép trong quá trình làm mẫu cho nhiều nhóm subconcepts rời nhau cho cùng một khái niệm.