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) 1:

Một vấn đề tinh tế phát sinh khi có rất nhiều đủ điều kiện cho một khái niệm. Ví dụ, giả sử chúng tôi liên quan đến một ngày đến hạn sách mượn (trong thế giới vật lý, điều này có thể được ghi lại là 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 hết hạn trong tương lai nào đúng phân loại nó như một cuốn sách về cho vay. Nếu chúng tôi mẫu ngày đáo hạn như là một thuộc tính của cuốn sách, trong đó có một giá trị chỉ 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à cuốn sách (lúc ít nhất 1 dueDate)) v BookOnLoanvà, tất nhiên, yêu cầu các cuốn sách về các khoản vay để có một ngày hết hạn sẽ dẫn đếnBookOnLoan v (lúc ít nhất 1 dueDate)Chúng tôi do đó có nhiều đủ điều kiện để là 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 reified khái niệm 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ộ, hơn là với mỗi người trong các trường hợp cá nhân. Một tình hình nơi này phát sinh là trong nắm bắt thông tin tổng hợp, chẳng hạn như số 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 họ. Trong ví dụ thư viện, thuộc tính chẳng hạn 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à chính mình đối tượng, và như vậy những trường hợp của meta-lớp học và có tính chất meta. 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. Một do đó phải tạo ra một "siêu cá nhân" riêng biệt liên quan đến khái niệm bởi 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á nhân cuốn sách-lớp học-đối tượng, và sau đó đính kèm thông tin liên quan đến cuốn sách numberOf, mostRequestedBooks, vv, như vai trò của cá nhân này. Trong cổ điển hệ thống, được đưa ra một khái niệm được đặt tên, này siêu cá nhân có thể được truy cập bằng cách sử dụng một hoạt động cơ sở kiến thức đặc biệt, mới.10.4.3 khái niệm phụ thuộc vào mối quan hệVấn đề mô hình 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ư cuốn sách, đứng trên riêng của họ. Những người khác, chẳng hạn như bên vay, dựa vào sự tồn tại ngụ ý của một số quan hệ/sự kiện (ví dụ như, cho vay), trong đó có một đối số thứ hai, và từ đó các ý nghĩa của họ có nguồn gốc. Nó là quan trọng để phân biệt này thể loại thứ hai của 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 dữ liệu mô hình hóa văn học (ví dụ: [Albano và ctv., 1993]) thể loại của các loại thứ hai, chẳng hạn như bên vay, được gọi là "vai trò", nhưng để tránh nhầm lẫn với vai trò DL, chúng tôi sẽ gọi cho họ "mối quan hệ-vai." Mô hình này sẽ được xem xét thêm trong phần 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.