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 199 𝛿(𝑆𝑡𝑎𝑓𝑓, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡) = 1 + 2 1 + 2 + 2 × 1 = 3 5 𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒) = 2 + 1 2 + 1 + 2 × 1 = 3 5 𝛿(𝑆𝑡𝑎𝑓𝑓, 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒) = 1 1 + 2 × 2 = 1 5 Gọi 𝛼 = 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑎𝑓𝑓. Như vậy: 𝑑(𝛼, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊆ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡) = 1 4 × (𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡) + 𝛿(𝑆𝑡𝑎𝑓𝑓, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡) + 𝛿(𝑆𝑡𝑎𝑓𝑓, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡)) = 1 4 × (1 5 + 1 7 + 3 5) = 1 4 × 33 35 ≈ 0.2357 𝑑(𝛼, 𝑆𝑡𝑎𝑓𝑓 ⊑ 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒) = 1 4 × (𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑎𝑓𝑓) + 𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒) + 𝛿(𝑆𝑡𝑎𝑓𝑓, 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒)) = 1 4 × (1 7 + 3 5 + 1 5) = 1 4 × 33 35 ≈ 0.2357 𝑑(𝛼, 𝑆𝑡𝑎𝑓𝑓 ⊓ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 = ⊥) = 1 4 × (𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑎𝑓𝑓) + 𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡) + 𝛿(𝑆𝑡𝑎𝑓𝑡𝑡, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡)) = 1 4 × (1 7 + 3 5 + 3 5) = 1 4 × 47 35 ≈ 0.3357 𝑑(𝛼, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡(𝑋)) = 1 2 × (𝛿(𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡) + 𝛿(𝑆𝑡𝑎𝑓𝑓, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑛𝑒𝑡)) = 1 2 × (0 + 1 7) = 1 14 ≈ 0.0714 Vậy 𝐴𝑑𝑒𝑙 = {𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊆ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡} hoặc 𝐴𝑑𝑒𝑙 = {𝑆𝑡𝑎𝑓𝑓 ⊑ 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒}. Tương ứng, chúng ta có hai tập tiên đề Σ ∖ 𝐴𝑑𝑒𝑙 ∪ 𝐴𝑎𝑑𝑑 như sau: – 𝐴1 ′ = { 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒 ⊑ 𝑃𝑒𝑟𝑠𝑜𝑛, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑃𝑒𝑟𝑠𝑜𝑛, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑎𝑓𝑓, 𝑆𝑡𝑎𝑓𝑓 ⊑ 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒, 𝑆𝑡𝑎𝑓𝑓 ⊓ 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 = ⊥, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡(𝑋) } – 𝐴2 ′ = { 𝐸𝑚𝑝𝑙𝑜𝑦𝑒𝑒 ⊑ 𝑃𝑒𝑟𝑠𝑜𝑛, 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑃𝑒𝑟𝑠𝑜𝑛, 𝑃ℎ𝐷𝑆𝑡𝑢𝑑𝑒𝑛𝑡 ⊑ 𝑆𝑡𝑎𝑓𝑓,