Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 131 trang
THÔNG TIN TÀI LIỆU
Cấu trúc
Lời cam đoan
Lời cảm ơn
Mục lục
Danh mục từ viết tắt, thuật ngữ
Danh mục ký hiệu
Danh mục bảng, biểu
Danh mục hình vẽ
Mở đầu
TỔNG QUAN VỀ XỬ LÝ TRI THỨC KHÔNG NHẤT QUÁN TRONG ONTOLOGY
Ontology và tri thức không nhất quán
Khung lập luận với ontology không nhất quán sử dụng chiến lược phát triển tuyến tính tập tiên đề diễn giải
Các khái niệm cơ bản
Hàm chọn
Phép suy luận không chuẩn sử dụng hàm chọn đơn điệu
Phép suy luận không chuẩn sử dụng hàm chọn dựa trên sự liên quan cú pháp
Các nghiên cứu liên quan đến khung lập luận với ontology không nhất quán sử dụng chiến lược mở rộng tuyến tính tập tiên đề diễn giải
Xử lý tri thức không nhất quán trong quá trình tích hợp ontology theo phương pháp đồng thuận
Hồ sơ xung đột
Sự không nhất quán tri thức
Hàm đồng thuận
Các nghiên cứu liên quan xử lý không nhất quán tri thức trong quá trình tích hợp ontology bằng phương pháp đồng thuận
Tiểu kết Chương 1
SUY LUẬN VỚI ONTOLOGY KHÔNG NHẤT QUÁN SỬ DỤNG HÀM CHỌN DỰA TRÊN ĐỘ LIÊN QUAN NGỮ NGHĨA
Khoảng cách ngữ nghĩa giữa hai khái niệm trong ontology
Khoảng cách ngữ nghĩa giữa hai biểu thức khái niệm theo ontology tham chiếu
Khoảng cách ngữ nghĩa giữa hai tiên đề theo ontology tham chiếu
Suy luận với ontology không nhất quán sử dụng hàm chọn dựa trên khoảng cách ngữ nghĩa
Thực nghiệm và đánh giá kết quả
Tiểu kết Chương 2
XỬ LÝ XUNG ĐỘT MỨC KHÁI NIỆM TRONG QUÁ TRÌNH TÍCH HỢP ONTOLOGY
Mô hình tích hợp tri thức dựa trên lý thuyết đồng thuận
Các mức xung đột trong quá trình tích hợp ontology
Xử lý xung đột mức khái niệm trong quá trình tích hợp ontology
Vấn đề xây dựng hàm đánh giá khoảng cách cho các miền giá trị của các thuộc tính
Hàm đánh giá khoảng cách giữa hai biểu thức khái niệm
Hàm đánh giá khoảng cách giữa hai khoảng dữ liệu
Tiểu kết Chương 3
XỬ LÝ XUNG ĐỘT MỨC TIÊN ĐỀ TRONG QUÁ TRÌNH TÍCH HỢP ONTOLOGY
Mô hình xử lý xung đột tri thức cấp độ cú pháp
Bài toán tìm đồng thuận của các công thức hội và các tiêu chuẩn cho đồng thuận
Phân tích các tiêu chuẩn đồng thuận
Thuật toán xác định đồng thuận
Xử lý xung đột mức tiên đề trong quá trình tích hợp ontology
Tiểu kết Chương 4
KẾT LUẬN
DANH MỤC CÁC CÔNG TRÌNH CỦA TÁC GIẢ
TÀI LIỆU THAM KHẢO
Nội dung
ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN VĂN TRUNG MỘT SỐ PHƯƠNG PHÁP XỬ LÝ TRI THỨC KHÔNG NHẤT QUÁN TRONG ONTOLOGY LUẬN ÁN TIẾN SĨ KHOA HỌC MÁY TÍNH HUẾ - NĂM 2018 ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN VĂN TRUNG 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 LUẬN ÁN TIẾN SĨ KHOA HỌC MÁY TÍNH Người hướng dẫn khoa học: PGS TS HOÀNG HỮU HẠNH HUẾ - NĂM 2018 LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu tơi thực hướng dẫn PGS TS Hoàng Hữu Hạnh Những nội dung cơng trình cơng bố chung với tác giả khác đồng ý đồng tác giả đưa vào luận án Các số liệu kết nghiên cứu trình bày luận án trung thực, khách quan chưa công bố tác giả cơng trình khác Nghiên cứu sinh Nguyễn Văn Trung i LỜI CẢM ƠN Luận án thực hoàn thành Khoa Công nghệ Thông tin, Trường Đại học Khoa học, Đại học Huế Trong suốt trình học tập thực luận án, nhận nhiều quan tâm, động viên, giúp đỡ thầy giáo hướng dẫn, thầy cô giáo Khoa Công nghệ Thơng tin, Phịng Đào tạo Sau đại học Ban Giám hiệu Trường Đại học Khoa học Tôi xin bày tỏ lòng biết ơn sâu sắc đến PGS TS Hồng Hữu Hạnh người thầy tận tình hướng dẫn, động viên truyền đạt kinh nghiệm quý báu nghiên cứu khoa học để tơi hồn thành luận án Tôi xin chân thành cảm ơn quý thầy cô giáo Khoa Công nghệ Thông tin tạo điều kiện thuận lợi công tác để tơi hồn thành cơng việc nghiên cứu Tơi xin cảm ơn q thầy cán Phòng Đào tạo Sau đại học, Ban Giám hiệu Trường Đại học Khoa học giúp đỡ việc hồn thành kế hoạch học tập Tơi xin trân trọng cảm ơn quý thầy cô giáo Hội đồng Khoa học Khoa Công nghệ Thông tin đọc đưa góp ý xác đáng cho luận án Tôi xin trân trọng cảm ơn quý thầy cô giáo anh chị đồng nghiệp Khoa Công nghệ Thông tin giúp đỡ, chia sẻ q trình cơng tác, học tập, nghiên cứu thực luận án Cuối xin cảm ơn người thân gia đình ln ủng hộ, chia sẻ khó khăn suốt q trình học tập, nghiên cứu thực luận án Nghiên cứu sinh Nguyễn Văn Trung ii MỤC LỤC Lời cam đoan i Lời cảm ơn ii Mục lục iii Danh mục từ viết tắt, thuật ngữ v Danh mục ký hiệu vi Danh mục bảng, biểu vii Danh mục hình vẽ viii Mở đầu Chương TỔNG QUAN VỀ XỬ LÝ TRI THỨC KHÔNG NHẤT 1.1 1.2 QUÁN TRONG ONTOLOGY Ontology tri thức không quán Khung lập luận với ontology không quán sử dụng chiến lược phát 9 triển tuyến tính tập tiên đề diễn giải 1.2.1 Các khái niệm 1.2.2 Hàm chọn 1.2.3 Phép suy luận không chuẩn sử dụng hàm chọn đơn điệu 1.2.4 Phép suy luận không chuẩn sử dụng hàm chọn dựa liên 15 15 19 19 quan cú pháp Các nghiên cứu liên quan đến khung lập luận với ontology không 22 1.2.5 quán sử dụng chiến lược mở rộng tuyến tính tập tiên đề diễn giải Xử lý tri thức không qn q trình tích hợp ontology theo 27 phương pháp đồng thuận 1.3.1 Hồ sơ xung đột 1.3.2 Sự không quán tri thức 1.3.3 Hàm đồng thuận 1.3.4 Các nghiên cứu liên quan xử lý không quán tri thức 30 31 32 35 q trình tích hợp ontology phương pháp đồng thuận 1.4 Tiểu kết Chương Chương SUY LUẬN VỚI ONTOLOGY KHÔNG NHẤT QUÁN SỬ 38 41 1.3 DỤNG HÀM CHỌN DỰA TRÊN ĐỘ LIÊN QUAN NGỮ 2.1 NGHĨA Khoảng cách ngữ nghĩa hai khái niệm ontology iii 42 44 2.2 Khoảng cách ngữ nghĩa hai biểu thức khái niệm theo ontology tham 2.3 2.4 chiếu Khoảng cách ngữ nghĩa hai tiên đề theo ontology tham chiếu Suy luận với ontology không quán sử dụng hàm chọn dựa khoảng cách ngữ nghĩa 2.5 Thực nghiệm đánh giá kết 2.6 Tiểu kết Chương Chương XỬ LÝ XUNG ĐỘT MỨC KHÁI 49 51 NIỆM TRONG QUÁ 54 62 66 TRÌNH TÍCH HỢP ONTOLOGY Mơ hình tích hợp tri thức dựa lý thuyết đồng thuận Các mức xung đột trình tích hợp ontology Xử lý xung đột mức khái niệm q trình tích hợp ontology Vấn đề xây dựng hàm đánh giá khoảng cách cho miền giá trị 67 67 71 73 thuộc tính 3.4.1 Hàm đánh giá khoảng cách hai biểu thức khái niệm 3.4.2 Hàm đánh giá khoảng cách hai khoảng liệu 3.5 Tiểu kết Chương Chương XỬ LÝ XUNG ĐỘT MỨC TIÊN ĐỀ TRONG Q TRÌNH 80 80 81 88 TÍCH HỢP ONTOLOGY Mơ hình xử lý xung đột tri thức cấp độ cú pháp 4.1.1 Bài tốn tìm đồng thuận công thức hội tiêu chuẩn 89 90 3.1 3.2 3.3 3.4 4.1 cho đồng thuận 4.1.2 Phân tích tiêu chuẩn đồng thuận 4.1.3 Thuật toán xác định đồng thuận 4.2 Xử lý xung đột mức tiên đề trình tích hợp ontology 4.3 Tiểu kết Chương KẾT LUẬN DANH MỤC CÁC CƠNG TRÌNH CỦA TÁC GIẢ TÀI LIỆU THAM KHẢO iv 93 95 104 110 113 114 116 117 DANH MỤC TỪ VIẾT TẮT, THUẬT NGỮ Từ viết tắt, thuật ngữ ODP Diễn giải Over-determined Processing Quy trình xử lý xác định OWL Ontology Web Language Ngôn ngữ ontology dùng cho Web W3C World Wide Web Consortium Tổ chức tiêu chuẩn quốc tế World Wide Web Conflict profile Hồ sơ xung đột Consensus theory Lý thuyết đồng thuận Data property Thuộc tính liệu Domain Miền xác định (của thuộc tính) Object property Thuộc tính đối tượng Open World Assumption Giả thiết giới mở Range Miền giá trị (của thuộc tính) Semantic wiki Wiki ngữ nghĩa v DANH MỤC KÝ HIỆU Ký hiệu Diễn giải ý nghĩa O Ontology Σ Ontology không quán Σ ,Σ Ontology quán với tiên đề chọn từ ontology không quán khác |≈ Phép suy luận không chuẩn |≈Syn Phép suy luận không chuẩn sử dụng hàm chọn dựa độ liên quan cú pháp |≈O Phép suy luận không chuẩn sử dụng hàm chọn dựa khoảng cách ngữ nghĩa ontology tham chiếu O R, S Các tên vai trị, thuộc tính A, B Các tên cá thể DPO (C) Tập khái niệm cha trực tiếp khái niệm ontology DCO (C) Tập khái niệm trực tiếp khái niệm ontology LCPO (C, D) Tập khái niệm cha chung tối thiểu hai khái niệm ontology C, D Các tên khái niệm CE , CE Các biểu thức khái niệm DR1 , DR2 Các khoảng liệu DT Kiểu liệu U Tập vũ trụ X, Y Các hồ sơ xung đột T1 , T2 Các tiêu chuẩn cho tri thức tích hợp H1 , H2 Các tiêu chuẩn cho cơng thức hội tích hợp vi DANH MỤC BẢNG, BIỂU Bảng 2.1 Các tiên đề biểu thức khái niệm Bảng 2.2 Các tiên đề thuộc tính đối tượng Bảng 2.3 Các tiên đề thuộc tính liệu, định nghĩa kiểu liệu, khố 54 55 biểu thức khái niệm, phát biểu kiện Bảng 2.4 Các ontology thực nghiệm Bảng 2.5 So sánh theo số lượng kết xác định truy Bảng 2.6 So sánh phát triển tập tiên đề diễn giải 56 63 65 65 Bảng 3.1 Cấu trúc khái niệm Course ontology 86 vấn Bảng 4.1 Ví dụ công thức hội tác tử mô tả tính chất thuộc tính hasSpouse 91 Bảng 4.2 Trạng thái tri thức tác tử cho toán minh hoạ 109 vii DANH MỤC HÌNH VẼ Hình 1.1 Hình 1.2 Hình 1.3 Hình 1.4 Hình 1.5 Truy vấn với ontology khơng quán Chiến lược mở rộng tuyến tính Sơ đồ áp dụng hàm đồng thuận Trích dẫn ontology tham chiếu OREF −T REE Trích dẫn ontology chuyên gia 13 20 38 39 39 Hình 2.1 Cây phân cấp khái niệm minh hoạ Hình 2.2 Ontology tham chiếu O 46 60 viii Chứng minh tính thuật tốn Theo cách hoạt động Thuật toán 4.1, bắt đầu tìm đồng thuận thoả tiêu chuẩn H5 (phần (a)) Sau đó: (i) Nếu hai thành phần dương âm đồng thuận H5 rỗng, thuật tốn ưu tiên xét tìm đồng thuận thoả tiêu chuẩn H3 (phần (c)) hồ sơ X quán Trong trường hợp hồ sơ không quán, theo phần (d), chọn từ hồ sơ X phần tử có tổng khoảng cách đến phần tử lại hồ sơ cực tiểu Đồng thuận trường hợp luôn thoả tiêu chuẩn H4 (do xi công thức hội thoả xi + ∩ xi − = ∅, ∀i = 1, 2, , n, theo giả thiết) (ii) Nếu phần (a) xác định hai thành phần, phần dương âm đồng thuận khác rỗng, phải tìm cách làm mịn hai thành phần để đảm bảo tiêu chuẩn H4 thoả, đồng thời đảm bảo tổng khoảng cách từ đồng thuận đến phần tử hồ sơ cực tiểu Ngoài ra, tất trường hợp xử lý thuộc hai nhánh phân tích (i) (ii) trên, xây dựng x∗ + (tương ứng, x∗ − ) từ phần tử thuộc Z+ (tương ứng, Z− ) Vì đồng thuận luôn thoả tiêu chuẩn H2 Đồng thuận ln ln thoả tiêu chuẩn H1 xây dựng từ đồng thuận thoả tiêu chuẩn H5 , sau đó, phần tử bị loại phần tử có tần số xuất n Độ phức tạp Thuật toán 4.1 Với n lực lượng hồ sơ X, m = max card( x∈X x− ) Các x+ ), card( x∈X bước thuật tốn có độ phức tạp sau: • Bước khởi tạo: thống kê tần số xuất literal thành phần công thức hội hồ sơ Độ phức tạp thủ tục O(m.n.m) = O(n.m2 ) • Bước dùng để tạo tập hợp khởi đầu cho x∗ + , x∗ − dựa tần số xuất literal Độ phức tạp bước O(m) • Trong Bước 2, với literal chung z x∗ + x∗ − , so sánh 107 khoảng cách với X loại bỏ z hai thành phần để tìm thành phần tốt Độ phức tạp bước O(m.n.m2 ) = O(n.m3 ) • Bước kiểm tra giao hai tập hợp Z+ , Z− , có độ phức tạp O(m2 ) • Bước tính khoảng cách cơng thức hội x với hồ sơ xung đột X (để tìm cơng thức hội đạt cực tiểu khoảng cách đến X) Độ phức tạp bước O(n.n.m2 ) = O(n2 m2 ) Sau bước khởi tạo Bước 1, thuật toán thực ba bước: Bước Bước Bước Độ phức tạp thuật toán tương ứng cho ba trường hợp là: • O(max{n.m2 , m, n.m3 }) = O(n.m3 ) • O(max{n.m2 , m, m2 }) = O(n.m2 ) • O(max{n.m2 , m, n2 m2 }) = O(n2 m2 ) Như vậy, độ phức tạp thuật toán O(max{n.m3 , n.m2 , n2 m2 }) Nếu m < n độ phức tạp thuật tốn O(n2 m2 ) Trong trường hợp cịn lại, độ phức tạp thuật tốn O(n.m3 ) Ví dụ minh hoạ cho Thuật toán 4.1 Sử dụng ký hiệu L = {t1 , t2 , t3 , t4 } để biểu diễn tính chất thuộc tính hasSpouse Ví dụ 4.1, tác tử a1 , a2 , , a6 đưa ý kiến dạng công thức hội Bảng 4.2 bên Chúng ta áp dụng Thuật tốn 4.1 để tìm tri thức đồng thuận từ ý kiến tác tử Hồ sơ X thành lập gồm công thức hội sau: X = ({t1 , t3 , t4 }, {t2 }), ∗ ({t1 }, {t3 , t4 }), ({t1 }, {t3 }), ({t3 }, {t1 }), ({t3}, ∅) Sau bước (a) thuật tốn, có: x∗ + = {t1 , t3 } x∗ − = {t3 , t4 } Do x∗ + ∪ x∗ − = ∅ nên tìm cách loại literal chung hai thành phần đồng thuận (theo bước (b)): Với x∗ + ∩ x∗ − = {t3 }, ta xét hai tổng khoảng cách sau đây: d∧ ({t1 }, {t3 , t4 }), X d∧ ({t1 , t3 }, {t4 }), X 108 Bảng 4.2: Trạng thái tri thức tác tử cho toán minh hoạ Tác tử Trạng thái tri thức a1 t1 ∧ ¬t2 ∧ t3 ∧ t4 a2 t1 ∧ ¬t3 ∧ ¬t4 a3 t1 ∧ ¬t3 a4 t1 ∧ ¬t3 ∧ ¬t4 a5 ¬t1 ∧ t3 ∧ ¬t4 a6 t3 Với ý card(L) = 4, ta tính: d∧ ({t1 }, {t3 , t4 }), ({t1 , t3 , t4 }, {t2 }) card({t1 } {t1 , t3 , t4 }) card({t3 , t4 } = + 4 = Tương tự, • d∧ ({t1 }, {t3 , t4 }), ({t1 }, {t3 , t4 }) = • d∧ ({t1 }, {t3 , t4 }), ({t1 }, {t3 }) = • d∧ ({t1 }, {t3 , t4 }), ({t3 }, {t1 , t4 }) = • d∧ ({t1 }, {t3 , t4 }), ({t3 }, ∅) = 8 • d∧ ({t1 , t3 }, {t4 }), ({t1 , t3 , t4 }, {t2 }) = • d∧ ({t1 , t3 }, {t4 }), ({t1 }, {t3 , t4 }) = • d∧ ({t1 , t3 }, {t4 }), ({t1 }, {t3 }) = • d∧ ({t1 , t3 }, {t4 }), ({t3 }, {t1 , t4 }) = • d∧ ({t1 , t3 }, {t4 }), ({t3 }, ∅) = 8 Như vậy: 109 {t2 }) 4 15 +2∗0+ + + = 8 8 2 13 • d∧ ({t1 , t3 }, {t4 }), X = + ∗ + + + = 8 8 8 13 15 Do d∧ ({t1 , t3 }, {t4 }), X = < = d∧ ({t1 }, {t3 , t4 }), X nên ta định loại 8 t3 khỏi x∗ − • d∧ ({t1 }, {t3 , t4 }), X = Cuối cùng, đồng thuận hồ sơ X ({t1 , t3 }, {t4 }), t1 ∧ t3 ∧ ¬t4 4.2 Xử lý xung đột mức tiên đề trình tích hợp ontology Một ontology xem xét tập tiên đề biểu diễn tri thức lĩnh vực cụ thể Nếu dùng literal để biểu diễn tiên đề ontology, tri thức ontology biểu diễn dạng cơng thức hội literal Chính vậy, không quán tập tiên đề ontology biểu diễn hồ sơ xung đột công thức hội literal Với nhận xét này, toán xử lý xung đột mức tiên đề q trình tích hợp ontology giải dựa kết Mục 4.1 Xét n (n ∈ N∗ ) ontology O1 , O2 , , On , ontology Oi (i = 1, 2, , n) biểu diễn bốn Ci , Ii , Ri , Zi , với: • Ci tập khái niệm ontology Oi • Ii tập cá thể ontology Oi • Ri tập mối quan hệ ontology Oi • Zi = {z1i , z2i , , zni i } tập tiên đề ontology Oi , gồm ni tiên đề Ontology Oi (i = 1, 2, , n) thể trạng thái tri thức biểu diễn công thức z1i ∧ z2i ∧ · · · ∧ zni i Việc tích hợp n ontology O1 , O2 , , On hiểu tìm tập tiên đề đại diện cho n tập tiên đề Z1 , Z2 , , Zn Gọi Z := {t1 , t2 , , tm } (m ∈ N∗ ) tập literal cho tiên đề ontology Oi (i = 1, 2, , n) biểu diễn dạng literal phủ định literal Z: ∀α ∈ Zi (i = 1, 2, , n), ∃t ∈ Z : (t ≡ α) ∨ (¬t ≡ α) Với tập hợp Z này, xem ontology Oi trạng thái tri thức biểu diễn công thức hội xi ∈ Conj(Z) với xi ≡ z1i ∧z2i ∧· · ·∧zni i Như vậy, với n ontology O1 , O2 , , On lập hồ sơ 110 X = {x1 , x2 , , xn } xi ≡ z1i ∧ z2i ∧ · · · ∧ zni i Đồng thuận x∗ hồ sơ X xác định Thuật toán 4.1 tập tiên đề tốt mặt cú pháp từ ontology cho Tuy nhiên, x∗ khơng qn mặt ngữ nghĩa Đối với trường hợp này, khắc phục chọn Z1 , Z2 , , Zn tập tiên đề sai khác so với x∗ (tập tiên đề có tổng khoảng cách đến x∗ đạt cực tiểu) Từ phân tích nêu trên, luận án đề xuất Thuật toán 4.2 xác định đồng thuận mặt cú pháp tập tiên đề Z1 , Z2 , , Zn Ý tưởng thuật toán sau: • Xây dựng tập literal Z cho tập tiên đề ontology biểu diễn dạng cơng thức hội Conj(Z) • Với tập tiên đề Zi , (i = 1, 2, , n), cho bổ sung α ∈ L α hệ logic tập tiên đề Zi (nghĩa là, α suy từ tập hợp tiên đề Zi ) Tương tự vậy, bổ sung ¬α vào tập tiên đề Zi ¬α hệ logic tập tiên đề Zi Việc bổ sung tiên đề α ¬α vào tập Zi để đảm bảo tính tần số xuất thực tiên đề tiềm ẩn ontology Điều quan trọng thuật tốn xác định đồng thuận (Thuật tốn 4.1) có xét đến tần số xuất literal công thức hội thuộc hồ sơ xung đột Chẳng hạn, β ∧ γ ⇒ α xem tập tiên đề {β, γ} có chứa tiên đề α • Thành lập hồ sơ xung đột X ∈ Conj(Z) từ n tập tiên đề ontology O1 , O2 , , On : X = {Z1 , Z2 , , Zn } • Sử dụng Thuật tốn 4.1 để xây dựng đồng thuận x∗ hồ sơ X Nếu x∗ quán kết luận x∗ tập tiên đề tốt nhất, ngược lại, tìm Zi (i = 1, 2, , n) cho tập tiên đề có khoảng cách nhỏ đến x∗ kết luận tập tiên đề tốt 111 Nội dung thuật tốn trình bày cụ thể sau: Thuật toán 4.2: Xác định tập tiên đề đồng thuận ontology Đầu vào: Ontology O1 , O2 , , On với tập tiên đề Z1 , Z2 , , Zn (n ∈ N∗ ) Đầu ra: Tập tiên đề x∗ đại diện tốt cho tập tiên đề ontology O1 , O2 , , On begin Bước Z := ∅; foreach Oi ∈ {O1 , O2 , , On } foreach α ∈ Zi needAdd := true; foreach z ∈ Z if (z ≡ α) or (¬z ≡ α) then needAdd := f alse; break; if (needAdd = true) then Z := Z ∪ {α}; Bước foreach Oi ∈ {O1 , O2 , , On } foreach z ∈ Z \ Zi if (Zi |= z) then Zi := Zi ∪ {z}; if (Zi |= ¬z) then Zi := Zi ∪ {¬z}; Bước Lập hồ sơ xung đột X := {x1 , x2 , , xn } với xi ∈ Conj(Z) biểu diễn trạng thái tri thức tương ứng tập tiên đề Zi ontology Oi ; Bước Xác định x∗ đồng thuận hồ sơ xung đột X theo Thuật toán 4.1; Bước if (x∗ quán) then Z∗ := x∗ ; else Z∗ := Z1 ; foreach Z ∈ {Z2 , Z3 , , Zn } if η(x∗ , Z ) < η(x∗ , Z∗ ) then Z∗ := Z ; 112 4.3 Tiểu kết Chương Trong chương này, luận án trình bày mơ hình xác định đồng thuận tri thức biểu diễn dạng hội literal Sau định nghĩa khoảng cách hai tập hợp (là tập tập ký hiệu L cho trước), luận án phân tích tính chất chứng minh số định lý thể mối quan hệ tiêu chuẩn xác định đồng thuận hồ sơ công thức hội Trên sở luận án đề xuất thuật tốn xác định đồng thuận hồ sơ cơng thức hội Từ mơ hình xác định đồng thuận tri thức biểu diễn dạng hội literal , luận án đề xuất phương pháp xử lý xung đột cấp độ cú pháp q trình tích hợp ontology Phương pháp áp dụng để hỗ trợ xác định phiên tốt từ đóng góp tác tử phân tán trình xây dựng ontology dạng cộng tác [59] Kết chương trình bày Hội thảo Artificial Intelligence in Theory and Practice IV (2015) [CT4] đăng tạp chí Khoa học Đại học Huế (2015) [CT3] 113 KẾT LUẬN Kết luận Ontology thành phần quan trọng tảng ứng dụng web ngữ nghĩa Đặc trưng mở rộng, tái sử dụng ontology mặt giúp hệ thống trao đổi chia sẻ tri thức, mặt khác tiềm ẩn khả làm xuất tri thức không quán Xử lý tri thức không qn nói chung xử lý tri thức khơng qn ontology nói riêng tốn phức tạp khoa học máy tính Hai tình điển hình xử lý tri thức khơng qn ontology là: (1) xác định kết có nghĩa truy vấn với ontology khơng qn, (2) tích hợp ontology không quán đến từ nhiều nguồn độc lập Luận án đề xuất phương án giải cho hai tình nêu Các kết luận án tóm tắt sau: 1) Xây dựng hàm chọn sO Sem dựa khoảng cách ngữ nghĩa theo ontology tham chiếu áp dụng hàm chọn vào khung lập luận với ontology không quán Kết thực nghiệm việc áp dụng hàm chọn sO Sem vào khung lập luận với ontology không quán giúp trả nhiều kết xác định so với hàm chọn cơng bố trước Trong 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 hai biểu thức khái niệm, đồng thời phân loại trình bày cách xác định tập biểu thức khái niệm tiên đề ontology OWL – ngôn ngữ ontology thơng dụng chuẩn hố tổ chức W3C [CT6] 2) Xây dựng phương pháp đồng thuận để xử lý xung đột mức khái niệm q trình tích hợp ontology Cấu trúc khái niệm đồng thuận xác định với danh sách thuộc tính miền giá trị thuộc tính tương ứng Luận án đề xuất thuật tốn chứng minh tính thoả tiêu chuẩn đồng thuận xây dựng thuật tốn Luận án trình bày 114 phương pháp xây dựng hàm đánh giá khoảng cách cho miền giá trị thuộc tính kiểu liệu thuộc tính đối tượng ontology OWL [CT1, CT2, CT5] 3) Xây dựng phương pháp đồng thuận để xử lý xung đột cấp độ cú pháp trình tích hợp tri thức Luận án đề xuất sử dụng phương pháp tính khoảng cách hai tập ký hiệu, khoảng cách hai cấu trúc hội literal chứng minh số mối quan hệ tiêu chuẩn đồng thuận dựa theo khoảng cách Trên sở đó, luận án đề xuất thuật toán xác định đồng thuận hồ sơ xung đột gồm cấu trúc hội Bằng cách áp dụng thuật tốn tìm đồng thuận hồ sơ xung đột gồm cấu trúc hội literal , luận án đề xuất phương án để xử lý xung đột mức tiên đề q trình tích hợp ontology [CT3, CT4] Những vấn đề cần tiếp tục nghiên cứu Kết luận án mở rộng theo hướng sau đây: • Nghiên cứu thêm dạng truy vấn khác với ontology không quán, đặc biệt truy vấn SPARQL với ontology OWL không quán • Xét thêm mối quan hệ literal trình xử lý xung đột cấp độ cú pháp • Đề xuất khung xử lý xung đột tri thức ontology Khung xử lý áp dụng chiến lược khác cho tác vụ khác với ontology: tích hợp, truy vấn, tiến hố ontology 115 DANH MỤC CÁC CƠNG TRÌNH CỦA TÁC GIẢ LIÊN QUAN ĐẾN LUẬN ÁN CT1 Nguyễn Văn Trung, Phan Bá Trí, Hồng Hữu Hạnh Tích hợp ontology với tiếp cận lý thuyết đồng thuận Tạp chí Tin học Điều khiển học T.30, S.3 (2014), 239-252 CT2 Trung Van Nguyen, Hanh Huu Hoang A Consensus-based Method for Solving Conceptlevel Conflict in Ontology Integration, In Proceeding of 6th International Conference on Computational Collective Intelligence Technologies and Applications, Seoul, Korea, 2014, LNCS 8733, Springer (2014) p414-423 CT3 Nguyễn Văn Trung, Hoàng Hữu Hạnh Một phương pháp xử lý không quán tri thức mức cú pháp Tạp chí Khoa học Đại học Huế, T.106, S.7 (2015), 241-251 CT4 Trung Van Nguyen, Jason J Jung, Hanh Huu Hoang A Novel Approach for Resolving Knowledge Inconsistency on Ontology Syntactic Level In Proceeding of Artificial Intelligence in Theory and Practice IV (IFIP Advances in Information and Communication Technology), Springer (2015) p39-49 CT5 Trung Van Nguyen, Hanh Huu Hoang A Consensus-Based Method for Solving ConceptLevel Conflict in Ontology Integration Transactions of Computational Collective Intelligence XXII, LNCS 9655, Springer (2016) p106-124 CT6 Nguyễn Văn Trung, Hoàng Hữu Hạnh Một phương pháp truy vấn ontology không quán sử dụng độ liên quan ngữ nghĩa Tạp chí Khoa học Công nghệ Trường Đại học Khoa học, Đại học Huế, T.9 S.1 (2017), 51-62 116 TÀI LIỆU THAM KHẢO [1] J P Barthélemy and M F Janowitz A Formal Theory of Consensus SIAM Journal on Discrete Mathematics, 4(3):305–322, 1991 [2] R Bellman On a routing problem Quarterly of applied mathematics, 16(1):87–90, 1958 [3] T Berners-Lee, J Hendler, and O Lassila The semantic web Scientific American, 284(5):34–43, 2001 [4] B Blobel Ontologies, knowledge representation, artificial intelligence - hype or prerequisites for international pHealth Interoperability? Studies in health technology and informatics, 165(April):11–20, 2011 [5] W N Borst Construction of Engineering Ontologies for Knowledge Sharing and Reuse PhD thesis, The Dutch Graduate School for Information and Knowledge Systems, 1997 [6] S Braun, A P Schmidt, A Walter, G Nagypal, and V Zacharias Ontology maturing: A collaborative web 2.0 approach to ontology engineering In CEUR Workshop Proceedings, volume 273, 2007 [7] S Chopra, R Parikh, and R Wassermann Approximate belief revision Logic Journal of IGPL, 9(6):755–768, 2001 [8] R L Cilibrasi and P M B Vitanyi The google similarity distance IEEE Transactions on knowledge and data engineering, 19(3):370–383, 2007 [9] T H Duong, N T Nguyen, G S Jo, and A Kozierkiewicz-Hetma´ nska Fuzzy ontology integration using consensus to solve conflicts on concept level In Studies in Computational Intelligence, volume 351, pages 33–42 Springer, 2011 [10] R W Floyd Algorithm 97: shortest path Communications of the ACM1, 5(6):345, 1962 [11] A Gangemi, N Guarino, C Masolo, A Oltramari, and L Schneider Sweetening Ontolgies with DOLCE In Knowledge engineering and knowledge management: Ontologies and the semantic Web, volume 2473, pages 223–233 Springer, 2002 [12] P Grenon, B Smith, and L Goldberg Biodynamic ontology: Applying BFO in the biomedical domain Studies in Health Technology and Informatics, 102:20–38, 2004 117 [13] S Grimm, P Hitzler, and A Abecker Knowledge Representation and Ontologies Logic, Ontologies and Semantic Web Languages Springer, 2007 [14] V Haarslev and R Mă oller RACER System Description Automated Reasoning, pages 701705, 2001 [15] P Haase, F Van Harmelen, Z Huang, H Stuckenschmidt, and Y Sure A framework for handling inconsistency in changing ontologies In The Semantic Web - SWC 2005, volume 3729 LNCS, pages 353–367 Springer, 2005 [16] M Hepp, D Bachlechner, and K Siorpaes OntoWiki: Community-driven Ontology Engineering and Ontology Usage Based on Wikis In Proceedings of the 2006 international symposium on Wikis, pages 143–144 ACM, 2006 [17] H Herre General Formal Ontology (GFO): A foundational ontology for conceptual modelling In Theory and Applications of Ontology: Computer Applications, pages 297– 345 Springer, 2010 [18] M Horridge, J Bauer, B Parsia, and U Sattler Understanding entailments in OWL In CEUR Workshop Proceedings, volume 432, 2009 [19] Z Huang Interleaving reasoning and selection with semantic data In Proceedings of the 4th International Workshop on Ontology Dynamics, volume 651 CEUR-WS.org, 2010 [20] Z Huang, F van Harmelen, and A Ten Teije Reasoning with inconsistent ontologies IJCAI International Joint Conference on Artificial Intelligence, 3:454–459, 2005 [21] Z Huang, F van Harmelen, A ten Teije, P Groot, and G Visser Reasoning with Inconsistent Ontologies: framework and prototype Technical report, Vrije Universiteit Amsterdam, 2004 [22] Z Huang, F van Harmelen, F van Harmelen, F van Harmelen, and F van Harmelen Using semantic distances for reasoning with inconsistent ontologies In The Semantic Web - ISWC 2008, pages 329–330 Springer, 2008 [23] Z Huang, J Volker, Q Ji, H Stuckenschmidt, C Meilicke, S Schlobach, F van Harmelen, and J Lam D1 2.2 1.4 Benchmarking of Processing Inconsistent Ontologies Technical report, Technical report, Knowledge Web, 2007 [24] Q Ji, P Haase, G Qi, P Hitzler, and S Stadtmă uller RaDON - repair and diagnosis in ontology networks Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5554 LNCS:863– 867, 2009 118 [25] M Kră otzsch, F Simancik, and I Horrocks A Description Logic Primer arXiv preprint arXiv:1201.4089, pages 1–17, jan 2012 [26] M Kră otzsch, D Vrandecic, and M Văolkel Semantic mediawiki In The Semantic Web-ISWC 2006, pages 935–942 Springer, 2006 [27] E Laparra, G Rigau, and P Vossen Mapping WordNet to the Kyoto ontology In Proceedings of the IEEE International Knowledge Engineering conference, pages 2584– 2589 European Language Resources Association (ELRA), 2010 [28] J Lehmann and L Bă uhmann ORE - A tool for repairing and enriching knowledge bases In The Semantic Web–ISWC 2010, volume 6497 LNCS, pages 177–193 Springer, 2010 [29] W Lipski and W Marek Combinatorial analysis WTN Warsaw, 1986 [30] Y Ma and P Hitzler Paraconsistent reasoning for OWL Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5837 LNCS:197–211, 2009 [31] Y Ma, P Hitzler, and Z Lin Paraconsistent resolution for four-valued Description Logics Proceedings of the 2007 International Workshop on Description Logics, 250:395– 402, 2007 [32] C Matuszek, J Cabral, M Witbrock, and J Deoliveira An introduction to the syntax and content of Cyc Proceedings of the 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 3864(1447):44–49, 2006 [33] J M Mortensen, M A Musen, and N F Noy Crowdsourcing the Verification of Relationships in Biomedical Ontologies In AMIA 2013, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2013, volume 2013, pages 1020–9, 2013 [34] B Motik, P F Patel-Schneider, B Parsia, C Bock, A Fokoue, P Haase, R Hoekstra, I Horrocks, A Ruttenberg, U Sattler, and M Smith OWL Web Ontology Language - Structural Specification and Functional-Style Syntax (Second Edition) Online, 27(December):1–133, 2012 [35] B Motik, R Shearer, and I Horrocks Optimized reasoning in description logics using hypertableaux In International Conference on Automated Deduction, pages 67–83 Springer, 2007 119 [36] G J Nalepa Collective Knowledge Engineering with Semantic Wikis J Ucs, 16(7):1006–1023, 2010 [37] A L Nguyen Paraconsistent and Approximate Semantics for the OWL Web Ontology Language In Rough Sets and Current Trends in Computing, pages 710–720 Springer, 2010 [38] N T Nguyen Representation choice methods as the tool for solving uncertainty in distributed temporal database systems with indeterminate valid time In Engineering of Intelligent Systems, pages 445–454 Springer, 2001 [39] N T Nguyen Consensus system for solving conflicts in distributed systems Information Sciences, 147(1):91–122, 2002 [40] N T Nguyen Methods for Consensus Choice and their Applications in Conflict Resolving in Distributed Systems Wroclaw University of Technology Press, 2002 [41] N T Nguyen Processing inconsistency of knowledge on semantic level Journal of Universal Computer Science, 11(2):285–302, 2005 [42] N T Nguyen Conflicts of Ontologies - Classification and Consensus-Based Methods for Resolving In Knowledge-Based Intelligent Information and Engineering Systems, pages 267–274 Springer, 2006 [43] N T Nguyen A Method for Ontology Conflict Resolution and Integration on Relation Level Cybernetics and Systems, 38(8):781–797, 2007 [44] N T Nguyen Advanced Methods for Inconsistent Knowledge Management Springer London, London, 2008 [45] N T Nguyen Inconsistency of knowledge and collective intelligence Cybernetics and Systems, 39(6):542–562, 2008 [46] N T Nguyen Processing Inconsistency of Knowledge in Determining Knowledge of a Collective Cybernetics and Systems, 40(8):670–688, 2009 [47] N T Nguyen and M Rusin A consensus-based approach for ontology integration In Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology, pages 514–517 IEEE Computer Society, 2007 [48] N T Nguyen and H B Truong A consensus-based method for fuzzy ontology integration In Computational Collective Intelligence Technologies and Applications, pages 480–489 Springer, 2010 120 [49] S P Odintsov and H Wansing Inconsistency-tolerant description logic Part II: A tableau algorithm for CALCC Journal of Applied Logic, 6(3):343–360, 2008 [50] B Parsia, E Sirin, and A Kalyanpur Debugging OWL ontologies Proceedings of the 14th international conference on World Wide Web, pages 633–640, 2005 [51] H S Pinto, A Gómez-Pérez, and J P Martins Some Issues on Ontology Integration Praxis, 18(Borst 1997):1–12, 1999 [52] A Schlicht and H Stuckenschmidt Towards structural criteria for ontology modularization In CEUR Workshop Proceedings, volume 232, pages 85–97 CEUR-WS org, 2006 [53] S Schlobach, Z Huang, R Cornet, and F Van Harmelen Debugging incoherent terminologies Journal of Automated Reasoning, 39(3):317–349, 2007 [54] E Sirin, B Parsia, B C Grau, A Kalyanpur, and Y Katz Pellet: A practical OWL-DL reasoner Web Semantics, 5(2):51–53, 2007 [55] T Slimani Description and Evaluation of Semantic Similarity Measures Approaches International Journal of Computer Applications, 80(10):25–33, 2013 [56] H B Truong, T H Duong, and N T Nguyen A hybrid method for fuzzy ontology integration Cybernetics and Systems, 44(2-3):133–154, 2013 [57] D Tsarkov and I Horrocks FaCT++ description logic reasoner: System description In Automated reasoning, pages 292–297 Springer, 2006 [58] T Tudorache, N F Noy, S W Tu, and M A Musen Supporting Collaborative Ontology Development in Protege International Semantic Web Conference, 5318:17–32, 2008 [59] T Tudorache, C Nyulas, N F Noy, and M A Musen WebProtege: A collaborative ontology editor and knowledge acquisition tool for the web Semantic Web, 4(1):89–99, 2013 [60] Z Wu and M Palmer Verb Semantics and Lexical Selection In Proceedings of the 32nd annual meeting on Association for Computati‘onal Linguistics, pages 133—-138 Association for Computational Linguistics, 1994 [61] M Zgrzywa Consensus Determining with Dependencies of Attributes with Interval Values Journal of Universal Computer Science, 13(2):329–344, 2007 121 ... luận án ontology, tri thức không quán ontology, phương pháp xử lý tri thức không quán ontology Trên sở phân tích động lực nghiên cứu, luận án xác định mục tiêu xử lý tri thức không quán ontology. .. phương pháp xử lý tri thức khơng qn ontology phân làm hai nhóm: (1) nhóm phương pháp chấp nhận tồn tri thức khơng qn ontology, (2) nhóm phương pháp tìm cách loại bỏ tri thức khơng quán khỏi ontology: ... TỔNG QUAN VỀ XỬ LÝ TRI THỨC KHÔNG NHẤT 1.1 1.2 QUÁN TRONG ONTOLOGY Ontology tri thức không quán Khung lập luận với ontology không quán sử dụng chiến lược phát 9 tri? ??n tuyến tính