Đăng nhập để tải tài liệu không giới hạn
Tham gia 8.000+ người dùng Thư Viện Luận Án
MỘT SỐ PHƯƠNG PHÁP XỬ LÝ TRI THỨC KHÔNG NHẤT QUÁN TRONG ONTOLOGY
KHOA HỌC MÁY TÍNH
Luận án này tập trung giải quyết bài toán xử lý tri thức không nhất quán trong ontology, một thách thức quan trọng của Web ngữ nghĩa. Ontology, với đặc tính có thể mở rộng, chia sẻ và tái sử dụng, thường xuyên tiềm ẩn khả năng xuất hiện tri thức không nhất quán, dẫn đến các truy vấn trên đó trở nên vô nghĩa. Công trình nghiên cứu này đề xuất các phương pháp xử lý tri thức không nhất quán dựa trên hai tác vụ chính: truy vấn ontology không nhất quán và tích hợp ontology không nhất quán.
Về truy vấn ontology không nhất quán, luận án xây dựng hàm chọn dựa trên khoảng cách ngữ nghĩa của các biểu thức khái niệm và tiên đề trong ontology tham chiếu. Phương pháp này được tích hợp vào khung lập luận với ontology không nhất quán theo chiến lược mở rộng tuyến tính tập tiên đề diễn giải, giúp xác định câu trả lời có nghĩa. Kết quả thực nghiệm cho thấy hàm chọn đề xuất mang lại nhiều kết quả xác định hơn và yêu cầu ít thao tác loại bỏ tiên đề hơn so với các phương pháp dựa trên sự liên quan cú pháp.
Về xử lý xung đột trong tích hợp ontology, luận án giải quyết hai mức xung đột chính. Thứ nhất, đối với xung đột mức khái niệm, luận án đề xuất mô hình tích hợp tri thức dựa trên lý thuyết đồng thuận, xem xét cả danh sách thuộc tính và miền giá trị của các thuộc tính. Thuật toán được đề xuất đã chứng minh được tính thoả mãn các tiêu chuẩn quan trọng cho một bộ tích hợp. Thứ hai, đối với xung đột mức tiên đề, luận án trình bày mô hình xác định đồng thuận của tri thức biểu diễn dưới dạng hội của các literal, cùng với phương pháp tính khoảng cách cú pháp và thuật toán xác định đồng thuận, hỗ trợ xây dựng ontology cộng tác.
Các kết quả chính của luận án bao gồm việc xây dựng hàm chọn dựa trên khoảng cách ngữ nghĩa, phương pháp đồng thuận xử lý xung đột mức khái niệm và phương pháp đồng thuận xử lý xung đột cấp độ cú pháp trong quá trình tích hợp ontology. Luận án cũng mở ra hướng nghiên cứu tiếp theo về các dạng truy vấn khác và khung xử lý xung đột tri thức tổng thể.
Tải không giới hạn tất cả tài liệu, không cần chờ. Chỉ từ 199.000đ/tháng.
Xem gói hội viên