Trong Chương 1 ta đã thảo luận về những khái niệm cơ bản của logic mô tả và ngôn ngữ truy vấn cơ sở tri thức Datalog. Cu thể là:
• Ngôn ngữ ALC là ngôn ngữ cho phép ta xây dựng những khái niệm phức hợp từ những khái niệm và vai trò nguyên thuỷ. ALC là ngôn ngữ chuẩn, các mở rộng của ALC cung cấp cho ngôn ngữ có khả năng biểu diễn linh hoạt hơn. Các constructor được dùng để mở rộng ALC là lượng từ tồn tại (∃R), lượng từ với mọi (∀R), toán tử phủ định (:), toán tử đảo vai trò (R–) và các lượng từ giới hạn (giới hạn nhỏ nhất (≥ n), giới hạn lớn nhất (· m)).
• Cùng với biểu diễn cơ sở tri thức bằng ALC thông qua các TBox và ABox, Chương này cũng đã thảo luận phép diễn dịch I được dùng để xây dựng ngữ nghĩa cho logic mô tả.
• Chương 1 cũng cung cấp các dịch vụ để giả quyết các bài toán cơ bản trên logic mô tả đó là bài toán thoả, bài toán tương đương và bài toán giao.
• Cuối Chương ta đã giới thiệu một ngôn ngữ cho phép xây dựng lên các ứng dụng dựa vào logic mô tả, đó là ngôn ngữ Datalog, một ngôn ngữ
con của Prolog. Datalog có khả năng cho phép ta xây dựng các luật (chủ yếu dựa vào biểu thức hội các hạng thức) để truy vấn các hệ cơ sở dữ liệu suy diễn.
Nội dung của Chương 1 là cơ sở lý thuyết cơ bản, đồng thời cũng đã nêu được những ưu điểm (khả năng suy diễn đệ quy, biểu diễn ngữ nghĩa mở) để ta tiếp tục hướng tới bài toán ứng dụng logic mô tả để mở rộng năng lực biểu diễn trong cơ sở dữ liệu. Ở các chương tiếp theo ta sẽ hướng tới việc ứng dụng logic mô tả vào cơ sở dữ liệu.
Chương 2. SƠ LƯỢC VỀ CƠ SỞ DỮ LIỆU
Một cơ sở dữ liệu có thể nói là một tập hợp nhất quán các dữ liệu liên quan. Cơ sở dữ liệu gần tương tự như cơ sở tri thức. Sự khác nhau chủ yếu giữa cơ sở dữ liệu và cơ sở tri thức là: đối với cơ sở dữ liệu thì người tạo tập trung vào điều tác các mô dữ liệu lớn và ổn định nhưng các dữ liệu có quan hệ đơn giản; còn cơ sở tri thức đòi hỏi phải hỗ trợ nhiều trong việc tìm kiếm câu trả lời mà không thể nói rõ được.
Trong cơ sở dữ liệu, cùng với thời gian người ta đã đưa ra nhiều mô hình dữ liệu khác nhau, mỗi mô hình đều có những ưu điểm, nhược điểm nhất định. Một trong những mô hình được người ta biết đến và sử dụng nhiều nhất tại thời điểm hiện nay là mô hình dữ liệu thực thể - quan hệ (ER).
Ở chương này ta sẽ thảo luận sơ lược về mô hình dữ liệu thực thể - quan hệ và mô hình dữ liệu hướng đối tượng, là một mô hình có triển vọng đang được tiếp tục nghiên cứu và ứng dụng (tuy nhiên nó vẫn chưa được các hãng phát triển hệ quản trị cơ sở dữ liệu tập trung vào nhiều).