TAILIEUCHUNG - Đánh giá Horn-DL trong quan hệ so sánh với HORN-SROIQ

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@ 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 .

• Quản trị Web
• Logic mô tả
• Ngôn ngữ quy luật
• Web ngữ nghĩa
• Ngôn ngữ Horn DL
• Biểu diễn tri thức khái niệm
• Hiểu biết về thuốc
• Điều trị dựa trên logic mô tả
• Biểu diễn thuốc
• Logic mô tả về thuốc
• Tạp chí khoa học
• Chương trình logic mô tả
• Lập trình logic
• Quy tắc logic mô tả
• Mô hình TimeER
• Biểu diễn mô hình TimeER
• Logic mô tả có yếu tố thời gian
• Mô hình ER thời gian
• Thời gian không tường minh
• Thiết kế mạch logic số chương 2
• Thiết kế mạch logic số
• Ngôn ngữ mô tả phần cứng VHDL
• Ngôn ngữ mô tả phần cứng
• Kiểm tra thiết kế bằng VHDL
• Phát biểu tuần tự
• Giáo trình Thiết kế logic số
• Thiết kế logic số
• Mạch logic tổ hợp
• Mạch logic tuần tự
• Thiết kế các khối mạch dãy
• hệ cơ sở tri thức
• ngôn ngữ thuộc tính
• thuật toán suy luận
• ngôn ngữ datalog
• công nghệ thông tin
• Khoa học máy tính
• Hệ thống thông tin
• Thuật toán logic mô tả
• Áp dụng web
• Luận án Tiến sĩ
• Gia lượng thông tin
• Phân tách ontology
• Kỹ thuật phân tách đồ thị
• Hệ thống FaCT
• Giải thuật phân tách đồ thị
• Điều khiển logic
• Bài giảng Điều khiển logic
• Mạch tổ hợp
• Mạch trình tự
• Phân tích mạch tổ hợp
• Phương pháp mô tả mạch trình tự
• Xử lý không nhất quán
• Logic para nhất quán
• giáo trình lập trình
• kinh nghiệm lập trình
• ngôn ngữ lập trình
• Reg khác với Wire
• thiết kế mạch nhân
• Thiết kế mạch logic
• Kiến trúc máy tính
• Bài giảng Kiến trúc máy tính
• Mạch logic
• Bảng chân trị
• Cổng luận lý
• Mô tả mạch tổ hợp
• Bài giảng Điện tử số
• Phương pháp mô tả mạch tuần tự
• Phân tích mạch tuần tự
• Thiết kế mạch tuần tự
• Mạch tuần tự đồng bộ
• Kiến trúc Web ngữ nghĩa
• Tiến trình phát triển Web ngữ nghĩa
• cơ chế trừu tượng hóa
• biểu diễn đồ họa
• Mô hình dữ liệu quan niệm
• Mô hình dữ liệu logic
• mô tả lại toàn bộ dữ liệu
• cơ sở dữ liệu
• Ứng dụng điển hình
• đánh giá tối đa tuyệt đối
• mô tả chi tiết
• tín hiệu hội nhập
• tần số truy cập
• Ngôn ngữ biểu diễn Ontology OWL
• Bài giảng Ngôn ngữ biểu diễn Ontology OWL
• Lớp kế thừa
• Lớp tách rời
• Bài giảng môn điện tử
• Điện tử số
• Đại số Boole
• Phương pháp biểu diễn hàm
• Cấu kiện logic khả trình
• Nhập môn Tin học
• Bài giảng Nhập môn Tin học
• Viết chương trình trên máy tính
• Mô tả của giải thuật
• Bảng quyết định
• Logic tuần tự
• Ontology mờ
• Logic mô tả mờ
• Ngôn ngữ f SWRL
• Xây dựng luật mờ
• Fuzzy description logics query
• Công nghệ ontology
• thẻ ngân hàng
• thời hạn sử dụng thẻ ngân hàng
• rút tiền
• tài liệu ngân hàng
• chuyên ngành ngân hàng