10.2 Elementary Description Logics

10.2 Elementary Description Logics modeling
Most conceptual models, including DLs, subscribe to an object-centered view of the world. Thus, their ontology includes notions like individual objects, which are associated with each other through (usually binary) relationships, and which are grouped into classes. In this chapter we use freely the notation and concrete syntax of Description Logics (see Appendix), and extend it with additional constructs that make it more suitable for modeling.
In the domain of a university library, we might encounter a particular person, GIANNI, or a particular book, BOOK23. Most of the information about the state of the world is captured by the inter-relationships between individuals, such as GIANNI having borrowed BOOK23. Binary relationships are modeled directly in DLs using roles and attributes: either GIANNI is a filler of the lentTo role for BOOK23, or BOOK23 is the filler of the hasBorrowed role for GIANNI. Note that lentTo and hasBorrowed are converse relationships, and this should be captured in a model, since frequently one wants to access information about associations in either direction. In DLs, this is accomplished using the role constructor inverse:
hasBorrowed . (inverse lentTo)
Note that in order to avoid inadvertent errors during modeling due to confusion between a role and its converse, or between a role and the kind of values filling it, one heuristic is to use a natural language name that is asymmetric, and adopt the convention that the relationship R(a; b) should be read as “a R b”; therefore in the above case lentTo(BOOK23,GIANNI) reads “BOOK23 lentTo GIANNI,” while lentTo(GIANNI,BOOK23) reads “GIANNI lentTo BOOK23,” which makes it clear that the first but not the second is the proper way to use the role lentTo in the model. On the other hand, loan would be a poor choice of a role identifier because one could equally well imagine loan as a role of books or of persons, so that neither loan(GIANNI,BOOK23) nor loan(BOOK23,GIANNI) “read” properly.

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

10,2 Tiểu Description Logic mô hình
Hầu hết các mô hình khái niệm, bao gồm DLs, đăng ký với một đối tượng xem là trung tâm của thế giới. Như vậy, bản thể của họ bao gồm các khái niệm như các đối tượng cá nhân, được liên kết với nhau thông qua (thường là nhị phân) các mối quan hệ, và được nhóm lại thành các lớp. Trong chương này chúng tôi sử dụng một cách tự do các ký hiệu và các cú pháp cụ thể của logic Description (xem phụ lục), và mở rộng nó với cấu trúc bổ sung mà làm cho nó phù hợp hơn cho người mẫu.
Trong các tên miền của một thư viện các trường đại học, chúng ta có thể gặp một người đặc biệt, Gianni, hoặc một cuốn sách cụ thể, BOOK23. Hầu hết các thông tin về tình trạng của thế giới đang bị bắt bởi các liên hệ giữa các cá nhân, chẳng hạn như Gianni có BOOK23 mượn. Mối quan hệ nhị phân được mô hình hóa trực tiếp trong DLs sử dụng vai trò và các thuộc tính: hoặc Gianni là một phụ của các vai trò lentTo cho BOOK23, hoặc BOOK23 là phụ về vai trò hasBorrowed cho Gianni. Lưu ý rằng lentTo và hasBorrowed là mối quan hệ ngược lại, và điều này cần được bắt giữ trong một mô hình, vì thường xuyên ai muốn truy cập thông tin về các hiệp hội trong hai hướng. Trong DLs, điều này được thực hiện bằng cách sử dụng nghịch đảo vai trò xây dựng:
hasBorrowed. (Inverse lentTo)
Lưu ý rằng để tránh các lỗi vô ý trong mô hình do nhầm lẫn giữa vai trò và trò chuyện của mình, hoặc giữa một vai trò và các loại giá trị làm đầy nó, một heuristic là sử dụng một tên ngôn ngữ tự nhiên là không đối xứng, và áp dụng quy ước rằng các mối quan hệ R (a; b) cần được đọc là "một R b"; do đó trong trường hợp trên lentTo (BOOK23, Gianni) đọc "BOOK23 lentTo Gianni", trong khi lentTo (Gianni, BOOK23) đọc "Gianni lentTo BOOK23", mà làm cho nó rõ ràng rằng người đầu tiên nhưng không phải là thứ hai là cách thích hợp để sử dụng vai trò lentTo trong mô hình. Mặt khác, khoản vay sẽ là một sự lựa chọn nghèo của một định vai trò vì một tốt như nhau có thể tưởng tượng được vay vốn là một vai trò của sách hoặc của người, vì vậy mà không phải vay (Gianni, BOOK23) cũng không vay (BOOK23, Gianni) "đọc" đúng.