Another subtle problem arises when

Another subtle problem arises when there are multiple sufficient conditions for a concept. For example, suppose we associated a due date with books on loan (in the physical world, this might be recorded as a date stamped in the back of the book). Then encountering a book with a due date in the future would rightly classify it as a book on loan. If we model the due date as an attribute of books, which has a value only as long as the date is in the future, then we would represent this situation as
(and Book (at-least 1 dueDate)) v BookOnLoan
and, of course, requiring books on loan to have a due date would lead to
BookOnLoan v (at-least 1 dueDate)
We thus have multiple sufficient conditions for being a book on loan, although one of them appears to be the primary definition.
10.4.2 Reified concepts and meta-roles
In some cases it seems natural to associate information with an entire concept, rather than with each of its individual instances. One situation where this arises is in capturing aggregate information, such as the count of current individual instances of the concept, or the average value of their attributes. In the library example, attributes such as numberOfBooks and mostRequestedBooks would fall into this category.
In some object-oriented systems this can be modeled directly because classes are themselves objects, and as such are instances of meta-classes and have meta-properties. Currently, DLs do not have a facility to treat classes as objects. One must therefore create a separate “meta-individual” that is related to the concept by some naming convention, for example. In our example, we would create the individual BOOK-CLASS-OBJECT, and then attach the information regarding numberOf-Books, mostRequestedBooks, etc., as roles of this individual. In the Classic system, given a named concept, this meta-individual can be retrieved using a special, new knowledge base operation.
10.4.3 Concepts dependent on relationships
The following interesting modeling problem arises in many situations: some concepts, such as Book, stand on their own. Others, such as Borrower, rely on the implied existence of some relation/event (e.g., lending), which has a second argument, and from which their meaning is derived. It is important to discern this second category of concepts, and explicitly introduce the corresponding binary relationship in the model. In the data modeling literature (e.g., [Albano et al., 1993]) categories of this second type, such as Borrower, are called “roles,” but to avoid confusion with DL roles, we will call them “relationship-roles.” The modeling of these will be considered further in Section 10.7.1.

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

Một vấn đề tinh tế phát sinh khi có nhiều điều kiện đủ cho một khái niệm. Ví dụ, giả sử chúng ta kết hợp một ngày đáo hạn với các cuốn sách về vay (trong thế giới vật chất, điều này có thể được ghi lại như một ngày đóng dấu ở mặt sau của cuốn sách). Sau đó gặp phải một cuốn sách với một ngày đáo hạn trong tương lai một cách đúng đắn sẽ phân loại nó như là một cuốn sách cho mượn. Nếu chúng ta mô hình đúng hạn như một thuộc tính của cuốn sách, trong đó có một giá trị duy nhất miễn là ngày là trong tương lai, sau đó chúng tôi sẽ đại diện cho tình trạng này là
(và Book (at-ít nhất 1 dueDate)) v BookOnLoan
và, Tất nhiên, yêu cầu sách cho mượn để có một ngày đáo hạn sẽ dẫn đến
BookOnLoan v (at-ít nhất 1 dueDate)
Như vậy chúng ta có nhiều điều kiện đủ để trở thành một cuốn sách về cho vay, mặc dù một trong số họ dường như là định nghĩa chính.
10.4.2 khái niệm reified và meta-vai trò
trong một số trường hợp, nó có vẻ tự nhiên để liên kết thông tin với một khái niệm toàn bộ, chứ không phải là với mỗi trường hợp cá nhân của mình. Một tình huống nơi này phát sinh là trong việc nắm bắt thông tin tổng hợp, chẳng hạn như số các trường hợp cá nhân hiện tại của khái niệm, hoặc giá trị trung bình của các thuộc tính của chúng. Trong ví dụ thư viện, các thuộc tính như numberOfBooks và mostRequestedBooks sẽ rơi vào thể loại này.
Trong một số hệ thống hướng đối tượng này có thể được mô hình hóa trực tiếp bởi vì các lớp học là các đối tượng, và như vậy là trường hợp của meta-class và có meta-tài sản. Hiện nay, DLs không có một cơ sở để điều trị các lớp học như các đối tượng. Do đó người ta phải tạo ra một riêng "meta-cá nhân" có liên quan đến các khái niệm của một số quy ước đặt tên, ví dụ. Trong ví dụ của chúng tôi, chúng tôi sẽ tạo ra các cá nhân SÁCH-CLASS-OBJECT, và sau đó đính kèm các thông tin liên quan đến numberOf-Books, mostRequestedBooks, vv, như vai trò của cá nhân này. Trong hệ thống cổ điển, được đưa ra một khái niệm có tên, meta-cá nhân này có thể được lấy ra bằng cách sử dụng một, mới hoạt động cơ sở kiến thức đặc biệt.
10.4.3 Các khái niệm phụ thuộc vào mối quan hệ
Mô hình hóa vấn đề thú vị sau phát sinh trong nhiều tình huống: một số khái niệm, chẳng hạn như sách, đứng trên riêng của họ. Những người khác, chẳng hạn như vay, dựa vào sự tồn tại của một số ngụ ý liên quan / sự kiện (ví dụ, cho vay), trong đó có một số thứ hai, và từ đó ý nghĩa của chúng có nguồn gốc. Điều quan trọng là phải phân loại thứ hai này của các khái niệm, và giới thiệu một cách rõ ràng mối quan hệ nhị phân tương ứng trong mô hình. Trong các tài liệu mô hình hóa dữ liệu (ví dụ, [Albano et al., 1993]) loại Loại thứ hai này, chẳng hạn như vay, được gọi là "vai trò", nhưng để tránh nhầm lẫn với các vai diễn DL, chúng tôi sẽ gọi họ là "mối quan hệ vai trò. "Các mô hình trong số này sẽ được xem thêm tại mục 10.7.1.