... the truyen kinh& apos;),nl,Nhóm 11 – Lớp Khoa học máy tính K11 Trang 19Tiểu luận môn Công nghệ tri thức MỤC LỤCPHẦN I: LÝ THUYẾT 1 Qui trình xây dỰng Ontology 1 Qui trình xây dỰng Ontology ... quan hệ (relations),• instantiation of axiom schemata• khái niệm những tiên đề tùy ý (arbitrary axioms)Trong hầu hết các trường hợp, những lớp xây dựng dựa trên những lớp ở phía dưới đã xây dựng ... Vietmb :- qn_mb(X,Y),luu_cauhoi(Y),Nhóm 11 – Lớp Khoa học máy tính K11 Trang 15Tiểu luận môn Công nghệ tri thức giaithich6(X,Y),abolish(xacnhan, 2),ketthuc.mb(_) :- write('He chuyen gia...