It may be worth noting that in DLs

It may be worth noting that in DLs the same individual may be an instance of multiple classes, without one being necessarily a subclass of another: some book might be an instance of both hard-cover and science books. This is in contrast with many other object-oriented software systems, where one is forced to create a special subclass for this notion, in order to guarantee a unique “minimal” class for every individual. However, this is not a modeling principle—it is an implementation obstacle.
10.4.1 Essential vs. incidental properties of concepts
As explained in the earlier example involving the two possible meanings for the term “borrower,” an important feature of DLs is the ability to distinguish primitive from defined concepts, where the latter have necessary and sufficient conditions for concept membership.
For example, BookOnLoan might naturally be defined as
/* A book is on loan if it is borrowed by someone */
BookOnLoan . (and Book (at-least 1 lentTo))
Suppose that we also want to require that only hard-cover books can be loaned out. There seem to be two options for modeling this:
/* Option 1 — being hardcover is part of the definition */
BookOnLoan . (and Book
(at-least 1 lentTo)
(fills binding 'hardcover))
/* Option 2 — being hardcover is an additional necessary condition */
BookOnLoan . (and Book (at-least 1 lentTo))
BookOnLoan v (fills binding 'hardcover)
The first approach is not quite right because being hardcover is an incidental property of books on loan, albeit one universally shared by all such objects. Among other things, this means that if the system is to recognize some individual book as being on loan, it is enough to know that it has been lent to someone—one does not also need to know it is hardcover. Hence the second modeling option is the right one, since, one can actually deduce that a book on loan is hardcover, if this was not known ahead of time.
The distinction between definitional and incidental properties is also important if we consider the task of classifying concepts into a taxonomy, since it has been argued that the taxonomy should not depend on contingent facts. This suggests that incidental properties, even universal inclusion assertions like the one for hardcover books in Option 2 above, should appear in the ABox, not the TBox defining the terminology.

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

Nó có thể là đáng chú ý rằng ở DLs cùng một cá nhân có thể là một thể hiện của nhiều lớp, mà không có một là nhất thiết phải là một phân lớp khác: một số cuốn sách có thể là một thể hiện của cuốn sách bìa cứng và khoa học. Điều này là trái ngược với nhiều hệ thống khác của phần mềm hướng đối tượng, nơi một phải tạo ra một phân lớp đặc biệt cho khái niệm này, để đảm bảo một lớp học "tối thiểu" duy nhất cho mỗi cá nhân. Tuy nhiên, đây không phải là một nguyên tắc mô hình — nó là một trở ngại thực hiện.10.4.1 tinh vs các thuộc tính ngẫu nhiên của khái niệmNhư được diễn tả trong ví dụ trước đó liên quan đến hai ý nghĩa có thể cho thuật ngữ "vay", một tính năng quan trọng của DLs là khả năng phân biệt nguyên thủy từ khái niệm được xác định, nơi sau này có điều kiện cần và đủ cho khái niệm thành viên.Ví dụ, các BookOnLoan tự nhiên có thể được định nghĩa là/ * Một cuốn sách là ngày cho vay nếu nó vay mượn của một ai đó * /BookOnLoan. (và cuốn sách (lúc ít nhất 1 lentTo))Giả sử rằng chúng tôi cũng muốn yêu cầu chỉ bìa cứng cuốn sách có thể được mượn ra. Có vẻ như là hai lựa chọn cho mô hình này:/ * Tùy chọn 1 — là bìa cứng là một phần của định nghĩa * /BookOnLoan. (và cuốn sách(lúc ít nhất 1 lentTo)(điền vào liên kết ' bìa cứng))/ * Tùy chọn 2 — là bìa cứng là một điều kiện cần thiết bổ sung * /BookOnLoan. (và cuốn sách (lúc ít nhất 1 lentTo))BookOnLoan v (điền vào liên kết ' bìa cứng)The first approach is not quite right because being hardcover is an incidental property of books on loan, albeit one universally shared by all such objects. Among other things, this means that if the system is to recognize some individual book as being on loan, it is enough to know that it has been lent to someone—one does not also need to know it is hardcover. Hence the second modeling option is the right one, since, one can actually deduce that a book on loan is hardcover, if this was not known ahead of time.The distinction between definitional and incidental properties is also important if we consider the task of classifying concepts into a taxonomy, since it has been argued that the taxonomy should not depend on contingent facts. This suggests that incidental properties, even universal inclusion assertions like the one for hardcover books in Option 2 above, should appear in the ABox, not the TBox defining the terminology.

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

Nó có thể là đáng chú ý là trong DLs cùng một cá nhân có thể là một thể hiện của lớp học nhiều, mà không nhất thiết phải là một lớp con của người khác: một số cuốn sách có thể là một thể hiện của cả hai có vỏ bọc cứng và sách khoa học. Điều này trái ngược với nhiều hệ thống phần mềm hướng đối tượng khác, một trong những nơi được buộc phải tạo ra một phân lớp đặc biệt cho khái niệm này, để đảm bảo một "tối thiểu" class duy nhất cho mỗi cá nhân. Tuy nhiên, đây không phải là một nguyên tắc, nó mô hình là một trở ngại thực hiện.
10.4.1 khái quát so với tính chất ngẫu nhiên của các khái niệm
Như đã giải thích trong các ví dụ trước đó liên quan đến hai ý nghĩa nhất có thể cho thuật ngữ "người vay", một tính năng quan trọng của DLs là khả năng phân biệt nguyên thủy từ những khái niệm được định nghĩa, nơi mà sau này có điều kiện cần và đủ để khái niệm thành viên.
Ví dụ, có thể BookOnLoan tự nhiên được định nghĩa là
/ * Một cuốn sách được cho mượn nếu nó được vay mượn của ai đó * /
BookOnLoan. (Và Book (at-ít nhất 1 lentTo))
Giả sử rằng chúng ta cũng muốn đòi hỏi rằng những cuốn sách chỉ có vỏ bọc cứng có thể được đem cho mượn. Có vẻ như có hai lựa chọn cho người mẫu này:
/ * Lựa chọn 1 - là bìa cứng là một phần của định nghĩa * /
BookOnLoan. (Và Book
(at-ít nhất 1 lentTo)
(đầy ràng buộc 'bìa cứng))
/ * Lựa chọn 2 - là bìa cứng là một điều kiện cần thiết bổ sung * /
BookOnLoan. (Và Book (at-ít nhất 1 lentTo))
BookOnLoan v (Điền vào các ô ràng buộc 'bìa cứng)
Các phương pháp tiếp cận đầu tiên không phải là hoàn toàn đúng vì là bìa cứng là một thuộc tính ngẫu nhiên của các cuốn sách về cho vay, mặc dù một phổ được chia sẻ bởi tất cả các đối tượng đó. Trong số những thứ khác, điều này có nghĩa rằng nếu hệ thống là để nhận ra một số cuốn sách cá nhân như đang được cho mượn, nó là đủ để biết rằng nó đã được cho vay để một ai đó người ta không còn cần phải biết nó là bìa cứng. Do đó sự lựa chọn mô hình thứ hai là một trong những quyền, kể từ đó, chúng ta thực sự có thể suy ra rằng một cuốn sách về vay là bìa cứng, nếu điều này không được biết đến trước thời hạn.
Sự phân biệt giữa các thuộc tính định nghĩa và ngẫu nhiên cũng là quan trọng nếu chúng ta xem xét các nhiệm vụ phân loại khái niệm thành một nguyên tắc phân loại, vì nó đã được lập luận rằng các nguyên tắc phân loại không nên phụ thuộc vào những sự kiện ngũ. Điều này cho thấy tính chất ngẫu nhiên, thậm chí còn khẳng định bao gồm phổ quát như một trong những cuốn sách bìa cứng cho trong Option 2 ở trên, sẽ xuất hiện trong ABox, không phải là TBox xác định các thuật ngữ.