In addition, it is always important

In addition, it is always important to distinguish functional relationships, like lentTo (a book can be loaned to at most one borrower at any time) from nonfunctional ones, like hasBorrowed. This is done most cleanly if the particular DL being used allows the declaration of functional relationships, sometimes called “attributes” or “features.” Attributes themselves come in two flavors: total and partial. Thus lentTo is a partial attribute because a book can only be loaned to one person, but may not be on loan at some point of time; on the other hand, every book has
to have an ISBN-Nr. It is important to check which interpretation of attributes is offered by the particular DL being used. In the rest of this chapter we assume that attributes are total, and the concept constructor the will be used as an abbreviation, so that (the p C) is equivalent to the conjunction of (all p C), (at-most 1 p) and (at-least 1 p).
Individuals are grouped into classes; for example, Book might be a natural class in our domain. Classes usually abstract out common properties of their instances, e.g., every book in the library has a call number. Classes are modeled by concepts in DLs, and usually the common properties are expressed as subsumption axioms about the concept. These conditions usually involve super-concepts, as well as the kinds of values that can fill roles, and limits on the number of (various kinds of) role fillers. By design, these are exactly the kinds of things that can be expressed using DL constructors:
/* Books are materials, whose callNr is an integer */

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

In addition, it is always important to distinguish functional relationships, like lentTo (a book can be loaned to at most one borrower at any time) from nonfunctional ones, like hasBorrowed. This is done most cleanly if the particular DL being used allows the declaration of functional relationships, sometimes called “attributes” or “features.” Attributes themselves come in two flavors: total and partial. Thus lentTo is a partial attribute because a book can only be loaned to one person, but may not be on loan at some point of time; on the other hand, every book hasto have an ISBN-Nr. It is important to check which interpretation of attributes is offered by the particular DL being used. In the rest of this chapter we assume that attributes are total, and the concept constructor the will be used as an abbreviation, so that (the p C) is equivalent to the conjunction of (all p C), (at-most 1 p) and (at-least 1 p).Individuals are grouped into classes; for example, Book might be a natural class in our domain. Classes usually abstract out common properties of their instances, e.g., every book in the library has a call number. Classes are modeled by concepts in DLs, and usually the common properties are expressed as subsumption axioms about the concept. These conditions usually involve super-concepts, as well as the kinds of values that can fill roles, and limits on the number of (various kinds of) role fillers. By design, these are exactly the kinds of things that can be expressed using DL constructors:/ * Sách là tài liệu, callNr mà là một số nguyên * /

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

Ngoài ra, nó luôn luôn là quan trọng để phân biệt các mối quan hệ chức năng, như lentTo (một cuốn sách có thể được mượn nhiều nhất là một người vay bất cứ lúc nào) từ những người không có chức năng, như hasBorrowed. Điều này được thực hiện sạch nhất nếu DL đặc biệt được sử dụng cho phép khai báo các mối quan hệ chức năng, đôi khi được gọi là "thuộc tính" hay thuộc tính tự đến trong hai mùi vị "tính năng.": Tổng số phần và bán phần. Như vậy lentTo là một thuộc tính một phần vì một cuốn sách chỉ có thể mượn một người, nhưng có thể không được cho mượn ở một số thời điểm; Mặt khác, mỗi cuốn sách có
để có một ISBN-Nr. Điều quan trọng là để kiểm tra mà giải thích các thuộc tính được cung cấp bởi các DL nói riêng đang được sử dụng. Trong phần còn lại của chương này, chúng ta giả định rằng thuộc tính này là tổng số, và các nhà xây dựng khái niệm này sẽ được sử dụng như là một từ viết tắt, do đó (p C) là tương đương với sự kết hợp của (tất cả p C), (ít nhất 1-p ) và (ít nhất 1-p).
Các cá nhân được nhóm lại thành các lớp học; ví dụ, sách có thể là một lớp học tự nhiên trong phạm vi của chúng tôi. Lớp học thường tính trừu tượng ra phổ biến của các trường hợp của họ, ví dụ như, mỗi cuốn sách trong thư viện có một số cuộc gọi. Các lớp học được mô hình hóa bởi các khái niệm trong DLs, và thường là tài sản chung được thể hiện như tiên đề subsumption về khái niệm này. Những điều kiện này thường liên quan đến siêu khái niệm, cũng như các loại giá trị mà có thể điền vào vai trò, và giới hạn về số lượng (các loại) chất độn vai trò. Theo thiết kế, đây là chính xác những loại những điều đó có thể được thể hiện bằng cách sử dụng nhà thầu DL:
/ * Sách là tài liệu, mà callNr là một số nguyên * /