Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Bài viết nhằm nghiên cứu và đánh giá Horn-DL trong quan hệ so sánh với các ngôn ngữ có độ phức tạp tương đương. Dựa trên các phân tích chúng tôi kết luận được rằng, khả năng biểu diễn tri thức của ngôn ngữ Horn-DL mạnh hơn hẳn các ngôn ngữ đã đưa ra so sánh. | TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ Trường Đại học Khoa học ĐH Huế Tập 7 Số 1 2017 ĐÁNH GIÁ HORN-DL TRONG QUAN HỆ SO SÁNH VỚI HORN-SROIQ Nguyễn Thị Bích Lộc Khoa Công nghệ Thông tin Trường Đại học Khoa học Đại học Huế Email ntbichloc@hueuni.edu.vn TÓM TẮT Web ngữ nghĩa là một lĩnh vực nghiên cứu phát triển rất nhanh chóng trong những thập niên gần đây. Một lớp quan trọng trong kiến trúc của Web ngữ nghĩa là ngôn ngữ Web Ontology OWL được xây dựng dựa trên các logic mô tả. Họ các logic mô tả này là các ngôn ngữ hình thức phù hợp với việc biểu diễn tri thức khái niệm. Vì vậy việc nghiên cứu các ngôn ngữ quy luật hiệu quả cho Web ngữ nghĩa là một vấn đề được nhiều nhà nghiên cứu quan tâm. Bài báo nhằm nghiên cứu và đánh giá Horn-DL trong quan hệ so sánh với các ngôn ngữ có độ phức tạp tương đương1. Dựa trên các phân tích chúng tôi kết luận được rằng khả năng biểu diễn tri thức của ngôn ngữ Horn-DL mạnh hơn hẳn các ngôn ngữ đã đưa ra so sánh. Từ khóa Horn-DL Logic mô tả Ngôn ngữ quy luật Web ngữ nghĩa. 1. MỞ ĐẦU Logic mô tả là họ các ngôn ngữ dùng để biểu diễn tri thức và lập luận trên cơ sở tri thức đó nó được ứng dụng rộng rãi trong nhiều lĩnh vực khác nhau trong đó có Web ngữ nghĩa. Ở đây logic mô tả được áp dụng vào trong các ngôn ngữ ontology dùng để biểu diễn miền ứng dụng. Ngôn ngữ Web ontology OWL là tiêu chuẩn để viết ontology cho Web đã được xây dựng dựa trên các logic mô tả khác nhau. Phiên bản đầu tiên OWL 1 dựa trên logic mô tả SHIQ và phiên bản thứ hai OWL 2 được giới thiệu bởi W3C năm 2009 lại dựa trên logic mô tả SROIQ. Tuy nhiên một vấn đề đặt ra đó là các ngôn ngữ mô tả có ý nghĩa khả năng biểu diễn tri thức mạnh thì độ phức tạp trong lập luận lại cao. Các logic mô tả SHIQ và SROIQ là các ngôn ngữ có khả năng biểu diễn tri thức cao nhưng đối với các bài toán lập luận cơ bản thì các logic mô tả này có độ phức tạp tổ hợp hàm mũ và độ phức tạp dữ liệu thuộc lớp NP-khó. Vì vậy W3C đã giới thiệu các hồ sơ 1 Các ngôn ngữ có độ phức tạp tương đương ở đây là các .
