CHƢƠNG 1 TỔNG QUAN VỀ ONTOLOGY
2.3. Hệ cơ sở tri thức
2.3.2.2. Định nghĩa khái niệm
Một tương đương mà vế bên trái là một khái niệm nguyên tố, là một định nghĩa khái niệm. Định nghĩa khái niệm dùng một tên tượng trưng để mô tả một khái niệm phức tạp.
Ví dụ:
Mother Woman ⊓ ∃hasChild.Person Father Man ⊓ ∃hasChild.Person
Ta ngụ ý mô tả ở vế bên phải người đàn bà (đàn ơng) có con bằng tên là Mother và Father.
Các tên tượng trưng có thể đượng coi như là sự rút gọn trong các mô tả khác. Từ hai ví dụ trên ta có thể định nghĩa Parent là:
Parent Mother ⊔ Father.
Tập các định nghĩa phải rõ ràng. Ta gọi tập hữu hạn các định nghĩa T là Tbox nếu
khơng có tên tượng trưng nào được định nghĩa nhiều hơn một lần.
Woman Person ⊓ Female
Man Person ⊓ Woman
Father Man ⊓ ∃hasChild.Person
Parent Father ⊔ Mother
Grandmother Mother ⊓ ∃hasChild.Parent
MotherWithManyChildren Mother ⊓ ≥3 Children
MotherWithoutDaughter Mother ⊓ ∀hasChild. Woman
Wife Woman ⊓ ∃hasHusband.Man
Hình 2.2: TBox với các khái niệm về quan hệ gia đình
Giả sử T là một thuật ngữ. Ta chia các khái niệm nguyên tố xuất hiện trong T thành
hai tập: tập tên NT xuất hiện bên trái của các tiên đề, và tập cơ sở BT xuất hiện bên phải
của các tiên đề. Tập tên NT được gọi là các khái niệm được định nghĩa, tập cơ sở BT gọi
là các khái niệm nguyên thuỷ.
Một diễn dịch cơ sở đối với T là một diễn dịch chỉ dịch các khái niệm cơ sở. Cho J là một diễn dịch cơ sở, một diễn dịch T mà dịch cả các khái niệm được định nghĩa là một
mở rộng của J nếu nó có cùng miền là J, có nghĩa là T = J.
Ta nói rằng J không nhập nhằng nếu tất cả các diễn dịch cơ sở có chính xác một mở rộng là mơ hình của J. Nói cách khác, nếu ta biết tập cơ sở nói về cái gì và T khơng nhập nhằng thì nghĩa của khái niệm được định nghĩa (tên) hoàn toàn xác định. Rõ ràng, nếu một thuật ngữ là khơng nhập nhằng, thì cả các thuật ngữ tương đương cũng không nhập nhằng.
Câu hỏi đặt ra là một thuật ngữ có nhập nhằng hay khơng? ví dụ thuật ngữ chứa tiên đề sau:
Human’ ≡ Animal ⊓ ∀hasParent.Human’
Ví dụ trên bao gồm một chu trình. Thơng thường, chúng ta định nghĩa trong thuật ngữ T như sau: Cho A, B là các khái niệm nguyên tố xuất hiện trong T. Ta nói rằng A sử dụng trực tiếp B trong T nếu B xuất hiện bên phải thuật ngữ của A, T chứa chu trình khi và chỉ khi tồn tại một khái niệm nguyên tố trong T mà sử dụng lại chính khái niệm đó. Ngược lại ta gọi thuật ngữ đó là khơng có chu trình.