MỘT PHƯƠNG PHÁP ĐỊNH VỊ TIÊN ĐỀ CẦN XÓA ĐỂ BẢO ĐẢM TÍNH NHẤT QUÁN TRONG QUÁ TRÌNH TIẾN HÓA ONTOLOGY

Nguyễn Văn Trung và Nguyễn Thị Bích Lộc Tập 131, Số 2A, 2022 198 hợp duy nhất mà vòng lặp này không dừng với 𝑠 ∪ Δ không nhất quán chỉ là khi Σ ∪ 𝐴add nhất quán – trái với giả thiết ban đầu. – Thứ hai, vòng lặp phía ngoài đảm bảo có tính dừng bởi vì với mỗi tiên đề 𝛼∗ tìm được ở vòng lặp trong (luôn luôn tìm được ít nhất một tiên đề như vậy từ Δ), 𝐴del sẽ mở rộng ra, hay Σ ∖ 𝐴del sẽ thu hẹp lại. Sau một số bước hữu hạn, Σ ∖ 𝐴del ∪ 𝐴add là nhất quán. Ví dụ minh hoạ Chúng ta kết thúc phần này bằng một ví dụ minh hoạ cách làm việc theo chiến lược chọn tập tiên đề tiến hóa dựa vào khoảng cách ngữ nghĩa. Chẳng hạn, cho ontology 𝑂 với tập tiên đề ban đầu Σ Σ = {𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒 ⊑ 𝑃𝑒𝑟𝑠𝑜𝑛, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑃𝑒𝑟𝑠𝑜𝑛, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑎𝑓𝑓 ⊑ 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒, 𝑆𝑡𝑎𝑓𝑓 ⊓ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 = ⊥, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡(𝑋)}. Tập tiên đề Σ hiện tại là nhất quán. Giả sử, trong quá trình tiến hóa, người ta muốn bổ sung thêm tập tiên đề 𝐴add = { 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑎𝑓𝑓 }. Có thể thấy rằng Σ ∪ 𝐴add là không nhất quán. Áp dụng thuật toán đã mô tả ở trên, chúng ta tìm cách loại ra khỏi Σ một số tiên đề để việc bổ sung 𝐴add tạo nên tập tiên đề nhất quán như dưới đây. Trước hết, xác định 𝐴del = ∅. Ở bước lặp đầu tiên của vòng lặp ngoài, 𝑠 = { 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑎𝑓𝑓} Δ = { 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑎𝑓𝑓 ⊑ 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒, 𝑆𝑡𝑎𝑓𝑓 ⊓ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 = ⊥, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡(𝑋)} Ngay bước lặp đầu tiên của vòng lặp phía trong, 𝑠 ∪ Δ đã không nhất quán. Chúng ta tìm

𝛼∗ ∈ Δ đạt khoảng cách cực tiểu đến các tiên đề trong 𝐴add: Ta có: 𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡) = 1 1 + 2 × 2 = 1 5 𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑎𝑓𝑓) = 1 1 + 2 × 3 = 1 7