Logic mô tả và ứng dụng trong cơ sở dữ liệu

Abstract

Trình bày những nội dung cơ bản của logic mô tả. Sơ lược về cơ sở dữ liệu. Chuyển đổi cơ sở dữ liệu thành cơ sở tri thức của logic mô tả. Truy vấn cơ sở tri thức.