Ngôn ngữ Ontology cho phép người sử dụng viết rõ ràng, các khái niệm hình thức của mô hình miền. Các yêu cầu chính:
Ngữ nghĩa hình thức miêu tả ý nghĩa tri thức một cách chính xác: Ý nghĩa của ngữ nghĩa hình thức tồn tại trong một thời gian dài trong miền toán logic. Việc sử dụng ngữ nghĩa hình thức cho phép con người suy diễn tri thức. Với tri thức trong Ontology chúng ta có thể suy diễn về:
- Thành viên của lớp: Nếu x là một thể hiện của lớp C và C là lớp con của
lớp D thì chúng ta có x là thể hiện của lớp D.
- Các lớp tương đương: Nếu lớp A tương đương với lớp B và lớp B tương đương với lớp C, thì lớp A cũng tương đương với lớp C.
- Tính nhất quán: Giả sử chúng ta khai báo x là thể hiện của lớp A và A
là lớp con của B∩ C, A là lớp con của lớp D, Lớp B và lớp D không có quan hệ với nhau (disjoint). Thì chúng ta không nhất quán bởi vì A nên là rỗng nhưng lại có thể hiện là x. Đây là một dấu hiệu của một lỗi trong Ontology.
- Phân loại : nếu chúng ta khai báo các cặp thuộc tính giá trị đã biết là
điều kiện đủ cho thành viên trong một lớp A, thì nếu một cá thể x thỏa mãn các điều kiện, chúng ta có thể kết luận x phải là một thể hiện của A.
Ngữ nghĩa là điều kiện tiên quyết cho việc hỗ trợ suy diễn: Hỗ trợ suy diễn
rất quan trọng bởi vì nó cho phép kiểm tra tính nhất quán của Ontology và tri thức, kiểm tra các quan hệ thừa giữa các lớp, tự động phân loại các thể hiện trong lớp.