NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN
I. THÔNG TIN CHUNG VỀ LUẬN ÁN
Họ và tên nghiên cứu sinh: Nguyễn Văn Trung
Tên đề tài luận án: Một số phương pháp xử lý tri thức không nhất quán trong ontology
Chuyên ngành: Khoa học Máy tính
Mã số: 62.48.01.01
Tập thể hướng dẫn:
PGS. TS. Hoàng Hữu Hạnh
Ban Hợp tác quốc tế, Đại học Huế
Cơ sở đào tạo: Trường Đại học Khoa học, Đại học Huế.
II. CÁC KẾT QUẢ CHÍNH CỦA LUẬN ÁN
1) Xây dựng hàm chọn sem dựa trên khoảng cách ngữ nghĩa theo ontology tham chiếu và áp dụng hàm chọn này vào khung lập luận với ontology không nhất quán. Kết quả thực nghiệm đã chỉ ra rằng việc áp dụng hàm chọn sem vào khung lập luận với ontology không nhất quán sẽ giúp trả về nhiều kết quả xác định hơn so với các hàm chọn đã được công bố trước đó. Trong quá trình xây dựng hàm chọn, Luận án đã trình bày phương pháp quy hoạch động để tính khoảng cách ngữ nghĩa theo ontology tham chiếu giữa hai biểu thức khái niệm, đồng thời phân loại và trình bày cách xác định tập biểu thức khái niệm trong các tiên đề của ontology OWL2 – ngôn ngữ ontology thông dụng nhất hiện nay và được chuẩn hoá bởi tổ chức W3C.
2) Xây dựng phương pháp đồng thuận để xử lý xung đột mức khái niệm trong quá trình tích hợp ontology. Cấu trúc khái niệm đồng thuận được xác định với danh sách thuộc tính và miền giá trị của các thuộc tính tương ứng. Luận án cũng trình bày phương pháp xây dựng các hàm đánh giá khoảng cách cho các miền giá trị của thuộc tính kiểu dữ liệu và thuộc tính đối tượng trong ontology OWL 2.
3) Xây dựng phương pháp đồng thuận để xử lý xung đột cấp độ cú pháp trong quá trình tích hợp tri thức. Luận án đề xuất sử dụng một phương pháp tính khoảng cách giữa hai tập ký hiệu, khoảng cách giữa hai cấu trúc hội của các literal và chứng minh được một số mối quan hệ của các tiêu chuẩn đồng thuận dựa theo các khoảng cách này. Trên cơ sở đó, luận án đề xuất thuật toán xác định đồng thuận của hồ sơ xung đột gồm các cấu trúc hội. Bằng cách áp dụng thuật toán tìm đồng thuận của hồ sơ xung đột gồm các cấu trúc hội, luận án đề xuất phương án để xửlý xung đột mức tiên đề trong quá trình tích hợp ontology.
