Bằng phương tiện của các nhà khai thác nguồn gốc, chúng tôi de fi ne khái niệm chính thức của một ngữ cảnh (G, M, R) là một cặp (A, B) với A ⊆ G, B ⊆ M và A = B, B = A. A được gọi là mức độ, B dự định của những khái niệm. Lưu ý rằng đối với mỗi A ⊆ G, tập A là mục đích của một số khái niệm, bởi vì (A, A) luôn là một khái niệm. Các tập A là mức độ nhỏ nhất của một khái niệm mà chứa A. Trong trao
dụ (Bảng 3.2), ta có khái niệm chính thức 19 trong tổng số, trong đó các khái niệm ({1, 2, 3}, {a, b, g .}) và ({2, 3}, {a, b, g, h})
Các subconcept-superconcept-mối quan hệ mô tả các mối quan hệ để được- tween khái niệm:
đang được dịch, vui lòng đợi..
