ThesisAuthors : Đinh Văn Phụng; Advisor : Trần Đình Khang (2009)
Tổng quan về logic mô tả, biểu diễn tri thức bằng ngôn ngữ mô tả, thuật toán suy diễn Tableau. Quan hệ giữa logic mô tả với các ngôn ngữ hình thái khác. Ứng dụng logic mô tả hỗ trợ công cụ tạo web ngữ nghĩa.