10.5.2 Covering by subconceptsIn ad

10.5.2 Covering by subconcepts
In addition to disjointness, it is natural to consider whether some set of subclasses fully covers the superclass. For example, we might want to say that Circulating material must be either short-term or long-term.
For DLs that support concept disjunction, this is easy:
Circulating v (or ShortTerm LongTerm)
Note that since ShortTerm, in turn, has Circulating as a superclass, the possibility arises of modeling Circulating as a definition:
Circulating . (or ShortTerm LongTerm)
However, this approach is not available for languages like Classic, which avoid disjunction in order to gain tractable reasoning. We discuss in the next section an approach to the problem based on subconcept definitions and enumerated values.

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

10.5.2 Bao phủ bởi subconcepts
Ngoài disjointness, đó là tự nhiên để xem xét liệu một số thiết lập của lớp con bao gồm đầy đủ các lớp cha. Ví dụ, chúng ta có thể muốn nói rằng các tài liệu lưu hành phải là ngắn hạn hay dài hạn.
Đối với DLs hỗ trợ khái niệm phân ly, điều này là dễ dàng:
Lưu hành v (hoặc NGẮN HẠN lâu dài)
Lưu ý rằng kể từ khi NGẮN HẠN, đến lượt nó, đã lưu hành là một lớp cha, khả năng phát sinh các mô hình lưu thông như một định nghĩa:
Lưu hành. (Hoặc NGẮN HẠN lâu dài)
Tuy nhiên, phương pháp này là không có sẵn cho ngôn ngữ như Classic, mà tránh sự tách biệt để đạt được lý dể làm. Chúng tôi thảo luận trong phần tiếp theo một cách tiếp cận vấn đề dựa trên các định nghĩa subconcept và giá trị liệt kê.