CHƢƠNG 1 TỔNG QUAN VỀ ONTOLOGY
2.3. Hệ cơ sở tri thức
2.3.5.1. Loại trừ TBox
Vấn đề tiếp theo trong suy luận là loại trừ TBox, vì sự có mặt của bộ thuật ngữ trong các thủ tục suy diễn chỉ làm phức tạp thêm cho các thủ tục này. Người ta loại bỏ ảnh hưởng của TBox trong các bài toán quyết định bằng cách sử dụng TBox mở rộng. Vì như ta đã biết, mở rộng của TBox chỉ chứa các tiên đề khái niệm với vế trái là các khái niệm mới (các symbol tên), còn vế phải là các khái niệm nguyên thuỷ và α hoặc vai trò nguyên thuỷ (các symbol cơ sở). Như vậy, với một khái niệm C cho trước, thông qua mở rộng TBox, ta có được một biểu thức khái niệm đầy đủ của C chỉ chứa các khái niệm và vai trị ngun thuỷ. Xét ví dụ trong hình 3.2, khái niệm mở rộng của Father sẽ là:
Person ⊓ (Person ⊓ Female) ⊓ ∃hasChild.Person
Giả sử C‟ là mở rộng của C, ta có thể dễ dàng rút ra một số lập luận như sau:
C ≡T C‟;
C là thoả mãn theo T khi và chỉ khi C‟ thoả mãn;
Nếu D là một khái niệm khác thì ta cũng có D ≡T D’. Như vậy, C ⊑T D khi và chỉ
khi C’ ⊑T D’, và C ≡T D khi và chỉ chi C’ ≡T D’. Khi mà C‟ và D‟ chỉ chứa các
symbol cơ sở thì:
o T |= C ⊑ D khi và chỉ khi |= C’ ⊑ D’;
tương tự, nếu C và D không giao nhau khi và chỉ khi C‟ và D‟ khơng giao nhau. Tóm lại, mở rộng khái niệm đối với một TBox khơng có chu trình cho phép ta loại trừ Box trong vấn đề suy luận.
Ta xét ví dụ:
Để xác nhận rằng Man và Woman không giao nhau theo TBox Family, thì ta phải kiểm tra Man u Woman là không thoả mãn. Bằng việc mở rộng khái niệm ta có:
Person ⊓ Female ⊓ Person ⊓ (Person ⊓ Female)
và ta dễ dàng thấy rằng khái niệm trên là khơng thoả mãn. Vì vậy Man và Woman không giao nhau theo TBox Family.