Tổng kết chương

Một phần của tài liệu Logic mô tả ứng dụng trong web ngữ nghĩa (Trang 31 - 33)

Chương 1 đã trình bày những khái niệm cơ bản về logic mô tả. Cụ thể:

Cú pháp của ngôn ngữ mô tả. Trong đó, trình bày cú pháp của ngôn ngữ thuộc tính AL, và các cú pháp bổ sung cho các ngôn ngữ mở rộng từ AL. Ngôn ngữ này cho phép xây dựng các khái niệm phức tạp từ các khái niệm và quan hệ nguyên thuỷ. Ngôn ngữ thông dụng nhất trong họ AL là ngôn ngữ

ALC. Và họ ngôn ngữ mô tả hỗ trợ Web ngữ nghĩa là họ ngôn ngữ S, trong đó S là ngôn ngữ ALC có thêm tiên đề quan hệ bắc cầu và được kí hiệu theo họ ngôn ngữ ALC là ALCR+.

Ngữ nghĩa của các khái niệm trong logic mô tả. Phần này trình bày về phép thông dịch I. Phép thông dịch I gồm hai thành phần: một tập khác rỗng và một hàm dịch I. Hàm dịch này tác động lên các khái niệm, các cá thể, các quan hệ ta được ngữ nghĩa của các mô tả khái niệm.

Kiến trúc hệ logic mô tả.Thể hiện được kiến trúc của một hệ thống thông tin mô tả gồm cơ sở tri thức =(T, R, A), thông qua hệ thống lập luận mới đến giao diện người sử dụng. Có nghĩa là hệ logic mô tả cung cấp cho người sử dụng thông tin từ cơ sở tri thức thông qua các dịch vụ lập luận hay suy diễn tri thức trên cơ sở giải quyết các bài toán quyết định cơ bản như bài toán thoả, bài toán không giao, bài toán tương đương.

Trên đây là các cơ sở lý thuyết cơ bản nhất của logic mô tả. Là tiền đề để xây dựng, mở rộng logic mô tả và đưa logic mô tả ứng dụng trong các bài toán thực tiễn. Chương tiếp theo sẽ trình bày tổng quan về Web ngữ nghĩa và các khả năng hỗ trợ của logic mô tả trong quá trình xây dựng Web ngữ nghĩa, một hệ thống Web mới thông minh hơn World Wide Web hiện tại.

Chương 2

LOGIC MÔ TẢ ỨNG DỤNG TRONG WEB NGỮ NGHĨA

Chương này sẽ cung cấp cái nhìn tổng quan về Web ngữ nghĩa, và vai trò của logic mô tả trong việc xây dựng Web ngữ nghĩa. Chúng ta sẽ thấy được mục đích của việc xây dựng Web ngữ nghĩa, hiểu được bản chất Web ngữ nghĩa là gì và kiến trúc Web ngữ nghĩa. Từ đó, chúng ta sẽ xem xét sự đóng góp của logic mô tả trong quá trình xây dựng web ngữ nghĩa. Logic mô tả có vai trò là nền tảng cơ sở để xây dựng các ngôn ngữ Ontology, mà các ngôn ngữ này có khả năng diễn tả cao, có nhiệm vụ biểu diễn và chia sẻ ngữ nghĩa của các tài nguyên, hỗ trợ lập luận để khai thác các tài nguyên này một cách tự động.

2.1. Tổng quan về web ngữ nghĩa

Web ngữ nghĩa là một thế hệ Web mới, đang được phát triển và sẽ xuất hiện trong tương lai gần. Hệ thống Web mới này sẽ thay thế hệ thống Web hiện tại song không có nghĩa là một hệ thống hoàn toàn khác hệ thống Web hiện tại. Web ngữ nghĩa được phát triển trên hệ thống Web hiện tại bằng cách bổ sung thêm ngữ nghĩa cho các tài nguyên Web mà máy có thể hiểu và tăng khả năng xử lý tự động.

Một phần của tài liệu Logic mô tả ứng dụng trong web ngữ nghĩa (Trang 31 - 33)