CHƢƠNG 1 TỔNG QUAN VỀ ONTOLOGY
2.3. Hệ cơ sở tri thức
2.3.3. Bộ khẳng định (ABox)
Ngồi bộ thuật ngữ TBox vừa trình bày, thành phần thứ hai của cơ sở tri thức là bộ khẳng định ABox. Bằng bộ khẳng định người ta biểu diễn các cá thể. Ta ký hiệu các cá thể là những ký tự a, b, c. Dùng các khái niệm C, D và vai trị R ta có thể tạo ra các khẳng định theo hai loại ABox là:
C(a), R(b,c)
Loại thứ nhất C(a) được gọi là khẳng định khái niệm; loại thứ hai R(b,c) được gọi là khẳng định vai trò.
Khẳng định khái niệm cho biết một cá thể thuộc vào khái niệm nào, còn khẳng định vai trò thể hiện mối quan hệ giữa hai cá thể (c gọi là Filler của vai trò R đối với b).
Ví dụ: Nếu ta có PETER, PAUL, MARY, HARRY là tên các cá thể và ta có ABox sau:
MotherWithoutDaughter (MARY) Father (PETER)
hasChild (MARY, PETER) hasChild (PETER, HARRY) hasChild (MARY, PAUL)
ABox trong hình 2.4 biểu diễn rằng: MARY là một người mẹ khơng có con gái, PETER là một người cha, MARY có các con là PETER và PAUL, PETER có con là HARRY.
Xem xét một cách đơn giản ta thấy, ABox có thể xem như một minh dụ (instance) của cơ sở dữ liệu quan hệ với các quan hệ chỉ là một ngôi hoặc hai ngôi.
Ta xác định nghĩa của ABox bằng việc mở rộng các diễn dịch đến tên cá thể. từ giờ
trở đi, một diễn dịch I = ( ∆I
, .I ) không chỉ ánh xạ các khái niệm và vai trò nguyên tố, mà
còn ánh xạ từng tên cá thể a vào phần tử aI ∈ ∆I. Giả sử rằng tên các cá thể là khác nhau
và biểu diễn các đối tượng khác nhau, thì phép ánh xạ này ánh xạ giả định tên duy nhất
(UNA). Nếu a, b là tên khác nhau thì aI ≠ bI. Diễn dịch I thoả mãn khẳng định khái niệm
C(a) nếu aI ∈ CI, và thoả mãn khẳng định vai trò R(a,b) nếu (aI, bI) ∈ RI.
Một diễn dịch thoả mãn ABox A nếu nó thoả mãn từng khái niệm trong A. Trong
trường hợp như vậy ta nói rằng I là mơ hình của bộ khẳng định ABox.
Khi I thoả mãn một khẳng định α hoặc một ABox A đối với TBox T, nếu nó là mơ hình của α hay của A thì nó là mơ hình của T.
Như vậy, một mơ hình của A và T là một trừu tượng của thế giới cụ thể, ở đó các khái niệm được diễn dịch thành các tập con của miền xác định bởi TBox.