Trong mô hình COKB gồm có các thành phần: C, H, R, Ops, Funcs, Rules. Tính chất khái niệm xoay quanh tính chất của ba loại khái niệm: đối tượng, quan hệ và phép toán. Ta xét trường hợp đơn giản là truy vấn tính chất của một thành phần, sử dụng từ khóa WHAT PROPERTY
Cú pháp:
pro-qry2 ::= ?WHAT PROPERTY RELATION
<ten_qh>(kieu_doi_so); (2)
pro-qry3 ::= ?WHAT PROPERTY OPERATOR
<ten_pt>(kieu_doi_so); (3)
(1) Dùng để truy vấn các tính chất của đối tượng tính toán. (2) Dùng để truy vấn các tính chất của một quan hệ
(3) Dùng để truy vấn các tính chất của một phép toán
Kết quả câu truy vấn là các luật có liên quan đến khái niệm đối tượng tính toán hay quan hệ, phép toán.
Ví dụ 3.36: tìm các tính chất liên quan đến ma trận:
Biểu diễn: ?WHAT PROPERTY MA_TRAN;
Ý nghĩa : name là khái niệm MA_TRAN là một đối tượng tính toán, câu truy vấn này trả về các luật có chứa MA_TRAN.
Ví dụ 3.37: tìm các tính chất liên quan đến hệ phương trình tuyến tính:
Biểu diễn: ?WHAT PROPERTY HE_PTTT;
Ý nghĩa : name là khái niệm HE_PTTT, câu truy vấn này trả về các luật có chứa khái niệm hệ phương trình tuyến tính.
Ví dụ 3.38: cho biết các tính chất của hai ma trận tương đương dòng.
Biểu diễn: ?WHAT PROPERTY RELATION TUONG_DUONG_DONG(MA_TRAN, MA_TRAN);
Ý nghĩa : câu truy vấn trả về các luật có liên quan đến quan hệ tương đương dòng.
Ví dụ 3.39: cho biết các tính chất có liên quan đến phép toán nhân hai ma trận.
Biểu diễn: ?WHAT PROPERTY OPERATOR *(MA_TRAN, MA_TRAN);
3.4.3.2 Liên quan đến một số thuộc tính của đối tượng, đối tượng khác hay liên quan đến các khái niệm khác như quan hệ,