OntoLogy mờ được xem như Là một cơ sở tri thức trên một miền nào đó, trong đó các khái niệm, phương thức được định nghĩa như Là những tập mờ. Trong ontoLogy mờ các
khái niệm và phương thức được gán cho một độ thuộc μ [0,1].
Cơ sở tri thức của một ontoLogy mờ bao gồm hai thành phần TBox mờ và ABox mờ. Một TBox mờ bao gồm định nghĩa về các khái niệm, tiên đề và các quan hệ gộp mờ giữa các khái niệm và phương phức đó.
Cho C, D Là các khái niệm, R,S Là các phương thức. Một TBox mờ bao gồm các khái niệm mờ và các phương thức mờ, khái niệm C (hoặc phương thức R) có thể có một
độ thuộc n [0,1]. Một tiên đề mờ có dạng C ⊑ D n, (R ⊑ S n), hoặc Là <C ≡ D n>,
(<R ≡ S n>). Một diễn giải I thỏa mãn quan hệ gộp C ⊑ D n, ( tương tự R ⊑ S n) khi
và chỉ khi (C ⊑ D)I ≥ n, (tương tự (R ⊑ S)I ≥ n). Điều này cũng đúng cho các khái niệm
và quan hệ tương đương.
Trong TBox mờ chúng ta có thể có các khái niệm mờ hoặc các khái niệm chính xác. Cần chú ý rằng các khái niệm chính xác Là một khái niệm đặc biệt của khái niệm mờ (khi độ thuộc μ = 0 hoặc μ = 1) và khái niệm nguyên thủy Là một khái niệm chính xác. Một cách cơ bản, khái niệm mờ được định nghĩa như Là một thuộc tính mờ hoặc Là số giới hạn mờ.
Liên quan đến số Lượng giới hạn thì độ thuộc của một cá thể bắt nguồn từ số Lượng giới hạn. Tham số n được sử dụng như Là số Lượng giới hạn (≥ n,R) trong đó n Là một con số mờ (ví dụ ≥ 18). Số Lượng giới hạn mờ có thể được định nghĩa một cách chính xác như sau:
≥ n R cho ra giá trị giới hạn nhỏ hơn n. ≤ n R cho ra giá trị giới hạn Lớn hơn n.
n có thể Là một số nguyên chính xác hoặc có thể Là một số mờ ví dụ như (khoảng
20) chúng ta có thể định nghĩa một cách tường minh quan hệ nhị phân của toán tử ≥ và
toán tử ≤ như sau:
(≥ n R)I (d) = μ ≥ (m,n) (≥ n R)I
(d) = μ ≤ (m,n)
Hàm μ ≥ (m,n) (tương tự µ (n,m)) cho ra kết quả Là một giá trị nằm trong đoạn [0,1] có ý nghĩa rằng: Giá trị mờ của n Lớn hơn hoặc Là bằng giá mờ trị của m.
Một ABox mờ chứa các khẳng định có dạng a:A n và (a,b):R n. Các khẳng định này
hệ mờ R). Sự đúng đắn đó người ta gọi Là “độ thỏa mãn”của khẳng định a:A (tương tự
(a,b):R) trong cơ sở tri thức. Một diễn giải I thõa mãn một khẳng định mờ a:A n (tương
tự (a,b):R n) khi chỉ khi AI ≥ n (tương tự RI(a,b)≥n).