10.5.3 Defined vs. primitive subcon

10.5.3 Defined vs. primitive subconcepts
In the case of material that is either circulating or non-circulating, the name of the second class provides a hint: after introducing Material and Circulating as primitives, NonCirculating should be defined:
Circulating v Material
NonCirculating . (and Material (not Circulating))
In this case, the DL can deduce both the disjointness of Circulating and NonCirculating, and the fact that Material is the union of Circulating and NonCirculating, without having stated anything explicitly about either. This shows clearly the power of a reasoning system that is capable of supporting definitions.
By joining covering and disjointness one gets the partitioning of a class by some group of subclasses. In some DLs—those supporting the constructor one-of—it is possible to simulate the effect of declaring concepts as partitioned into subconcepts through the use of a special attribute. For example, we could add the attribute format to Books, with an enumerated set of possible values:
Book v (the format (one-of 'monograph 'journal 'editedCollection))
and then define the corresponding subclasses:
Monograph . (and Book (fills format 'monograph))
Journal . (and Book (fills format 'journal))
EditedCollection . (and Book (fills format 'editedCollection))
These concepts will be disjoint because format can have at most one value, and they cover the original class Book, because format must have (at least) one value from among the set enumerated.

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

10.5.3 xác định so với nguyên thủy subconceptsTrong trường hợp của tài liệu đó là hoặc lưu thông hoặc không lưu hành, tên của lớp thứ hai cung cấp một gợi ý: sau khi giới thiệu các tài liệu và Circulating như là nguyên thủy, NonCirculating nên được định nghĩa:Lưu hành v tài liệuNonCirculating. (và nguyên liệu (không lưu thông))Trong trường hợp này, DL có thể suy ra cả hai disjointness Circulating, NonCirculating và thực tế vật chất là sự hợp nhất của Circulating và NonCirculating, mà không có nói bất cứ điều gì một cách rõ ràng về một trong hai. Điều này rõ ràng cho thấy sức mạnh của một hệ thống lý luận là khả năng hỗ trợ định nghĩa.Bằng cách tham gia bao gồm và disjointness một được phân vùng của một lớp học của một số nhóm phân lớp. Trong một số DLs — những người hỗ trợ các nhà xây dựng một-của-nó có thể để mô phỏng các hiệu ứng của tuyên bố các khái niệm như partitioned vào subconcepts bằng cách sử dụng một thuộc tính đặc biệt. Ví dụ, chúng tôi có thể thêm các thuộc tính định dạng để sách, với một tập hợp enumerated các giá trị có thể:Cuốn sách v (các định dạng (một-của ' chuyên khảo ' tạp chí ' editedCollection))và sau đó xác định các phân lớp tương ứng:Chuyên khảo. (và cuốn sách (điền vào định dạng ' chuyên khảo))Tạp chí. (và cuốn sách (điền vào định dạng ' tạp chí))EditedCollection. (và cuốn sách (điền vào định dạng ' editedCollection))Những khái niệm này sẽ được các vì định dạng có thể có tối đa một giá trị, và họ bao gồm các lớp học ban đầu cuốn sách, vì định dạng phải có giá trị (ít nhất) một trong số các thiết lập được liệt kê.

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

10.5.3 Định nghĩa vs subconcepts nguyên thủy
Trong trường hợp các tài liệu được lưu hành trong hai hoặc không lưu hành, tên của lớp thứ hai cung cấp một gợi ý: sau khi giới thiệu vật liệu và lưu hành như nguyên thủy, NonCirculating cần được xác định:
Lưu hành v Chất liệu
NonCirculating. (Và Vật liệu (không lưu hành))
Trong trường hợp này, các DL có thể suy ra cả disjointness của lưu thông và NonCirculating, và thực tế là vật liệu là công đoàn của Lưu hành và NonCirculating, mà không cần phải nói bất cứ điều gì một cách rõ ràng về một trong hai. Điều này rõ ràng cho thấy sức mạnh của một hệ thống lý luận đó là khả năng hỗ trợ các định nghĩa.
Bằng cách tham gia và che một disjointness được các phân vùng của một lớp học của một số nhóm các lớp con. Trong một số DLs-những người ủng hộ xây dựng một-of-nó có thể để mô phỏng tác động của tuyên bố khái niệm như phân chia thành subconcepts thông qua việc sử dụng một thuộc tính đặc biệt. Ví dụ, chúng ta có thể thêm các định dạng thuộc tính để Books, với một bộ liệt kê các giá trị có thể:
Book v (định dạng (một của 'chuyên khảo' tạp chí 'editedCollection))
và sau đó xác định các lớp con tương ứng:
Chuyên khảo. (Và Book (điền định dạng 'chuyên khảo))
Journal. (Và Book (điền định dạng 'tạp chí))
EditedCollection. (Và Book (điền định dạng 'editedCollection))
Các khái niệm này sẽ được tách rời bởi các định dạng có thể có ít nhất một giá trị, và bao phủ lớp Book ban đầu, bởi vì định dạng phải có (ít nhất) một giá trị từ một trong những tập liệt kê.