Định nghĩa 1 (Class Expression). Một biểu thức lớp là một lớp hoặc bất kỳ biểu hiện phức hợp giữa hai hay nhiều lớp, sử dụng công đoàn hoặc giao lộ các hoạt động hợp. Một biểu thức lớp được ký hiệu là CE và được định nghĩa đệ quy trong (1). Bất kỳ biểu hiện lớp có thể được hạn chế các giá trị của một hoặc nhiều biểu thức sở hữu đối tượng E OP (Định nghĩa 2) hoặc các biểu thức hữu datatype DP E (hụt
Định nghĩa 3), sử dụng các bộ so sánh cp ∈ {6 =, =} và cp ∈ { 6 =, =, ≤, ≥, <,>}, lại
spectively. Hơn nữa, nó có thể cho một biểu thức lớp được giới hạn trên một tập hợp
các cá nhân có giá trị tài sản đối tượng / datatype với một mối quan hệ cụ thể giữa chúng.
đang được dịch, vui lòng đợi..
