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

jos.hueuni.edu.vn Tập 131, Số 2A, 2022 197 Đầu vào: – Ontology 𝑂 với tập tiên đề Σ nhất quán. – Tập tiên đề cần thêm vào: 𝐴𝑎𝑑𝑑 với Σ ∪ 𝐴𝑎𝑑𝑑 là không nhất quán. Đầu ra: Tập tiên đề mới 𝐴′ nhất quán, sao cho 𝐴′ = 𝐴∗ ∪ 𝐴𝑎𝑑𝑑, 𝐴∗ ⊂ Σ và |𝐴∗| lớn nhất có thể được. Thủ tục: 𝐴𝑑𝑒𝑙 ∶= ∅; repeat // vòng lặp ngoài 𝑠 ∶= 𝐴𝑎𝑑𝑑; repeat // vòng lặp trong Δ ∶= {𝜙 |𝜙 ∈ Σ ∖ 𝐴𝑑𝑒𝑙; 𝜙 𝑙𝑖ê𝑛 𝑞𝑢𝑎𝑛 𝑡𝑟ự𝑐 𝑡𝑖ế𝑝 𝑣ề 𝑐ú 𝑝ℎá𝑝 𝑣ớ𝑖 𝑠 }; if ((𝑠 ∪ Δ) là nhất quán) then 𝑠 ∶= 𝑠 ∪ Δ; until (𝑠 ∪ Δ) là không nhất quán; Tìm 𝛼∗ ∈ Δ sao cho: ∀𝛼 ∈ Δ, 𝛽 ∈ 𝐴𝑎𝑑𝑑: 𝑑𝑂(𝛼∗, 𝛽) ≤ 𝑑𝑂(𝛼, 𝛽) 𝐴𝑑𝑒𝑙 ≔ 𝐴𝑑𝑒𝑙 ∖ {𝛼∗}; 𝐴∗ ∶= Σ ∖ 𝐴𝑑𝑒𝑙; until 𝐴∗ ∪ 𝐴𝑎𝑑𝑑 là nhất quán; Kết luận tập tiên đề tiến hóa 𝐴′ = 𝐴∗ ∪ 𝐴add. Giải thích thuật toán Vòng lặp phía trong thực hiện việc mở rộng tuyến tính tập tiên đề 𝑠, xuất phát từ tập hợp tiên đề muốn bổ sung 𝐴add. Mỗi bước lặp sẽ bổ sung vào 𝑠 các tiên đề 𝜙 ∈ 𝐴∗có liên quan trực tiếp với 𝑠 – tập tiên đề được bổ sung này được ký hiệu là Δ. Việc lặp sẽ dừng lại khi 𝑠 ∪ Δ là không nhất quán. Khi đó, tiên đề gây nên sự không nhất quán là một trong các tiên đề trong Δ. Việc chọn tiên đề trong Δ để xóa được thực hiện theo phân tích ở Phần 3. Thuật toán có tính dừng do hai nguyên nhân: – Thứ nhất, vòng lặp phía trong luôn luôn có tính dừng, do quá trình mở rộng tuyến tính về mặt cú pháp tập 𝑠 từ tập 𝐴add luôn luôn có thể dừng với 𝑠 ∪ Δ là không nhất quán. Trường