Giữa cơ sở dữ liệu và cơ sở tri thức theo logic mô tả có sự tương đồng. Lược đồ của cơ sở dữ liệu có thể so sánh với TBox trong logic mô tả, còn các minh dụ (instance) của cơ sở dữ liệu thực có thể được so sánh với ABox. Tuy nhiên, ngữ nghĩa của ABox khác với ngữ nghĩa thông thường của các minh dụ (instance) cơ sở dữ liệu. Các instance cơ sở dữ liệu biểu diễn chính xác một diễn dịch, đó là các lớp và các quan hệ trong lược đồ được biểu diễn bởi các đối tượng và các bộ (bản ghi) trong instance, còn một ABox biểu diễn nhiều diễn dịch khác nhau, đó là tất cả các mô hình của nó. Khi diễn dịch những thông tin vắng mặt của instance cơ sở dữ liệu ta được kết quả phủ định, còn khi diễn dịch thông tin vắng mặt của ABox cho ta biết sự thiếu vắng tri thức.
Ví dụ: Nếu chỉ có khẳng định về PETER là hasChild(PETER, HARRY), thì trong cơ sở dữ liệu được hiểu là một biểu diễn thực tế PETER chỉ có một người con là HARRY; trong ABox khẳng định trên lại được hiểu là HARRY là con của PETER.
Tuy nhiên, ABox có nhiều mô hình, một trong những mô hình là HARRY là người con duy nhất, mô hình khác thì HARRY có anh chị em. Để biểu diễn trong ABox HARRY là con duy nhất ta thêm vào khẳng định (≤1 hasChild(PETER)); nghĩa là PETER chỉ có nhiều nhất một người con.
Từ phần thảo luận vừa rồi, ta thấy nghĩa của ABox có đặc điểm là "mở" còn nghĩa truyền thống của cơ sở dữ liệu có đặc điểm là "đóng".
Để nhìn nhận rõ hơn ngữ tính mở của ngữ nghĩa trong ABox ta xét một ví dụ dựa trên câu truyện thần thoại Hy Lạp, Oedipus. Trong một ngôi làng nhỏ, câu chuyện kể lại Oedipus đã giết cha và lấy người mẹ tên là Iokaste và có con tên là Polyneikes với bà ta ra sao. Cuối cùng Polyneikes cũng có con tên là Thersandros.
Ta giả sử rằng ABox Aoe được biểu diễn trong Hình 1.5 biểu diễn sơ bộ sự thực này. Trong ABox khẳng định rằng Oedipus là kẻ giết cha còn Thersandros không giết cha, nó được biểu diễn bằng khái niệm nguyên tố Patricide. hasChild(IOKASTE, OEDIPUS) hasChild(OEDIPUS, POLYNEIKES) hasChild(IOKASTE, POLYNEIKES) hasChild(POLYNEIKES, THERSANDROS) Patricide(OEDIPUS) :Patricide(THERSANDROS)
Hình 1.5: ABox Aoe về câu truyện Oedipus
Giả sử ta muốn biết xem Iokaste có con là kẻ giết cha và bản thân người con này không phải là kẻ giết cha. Ta có thể biểu diễn vấn đề đó như sau:
Ai đó có thể gợi ý suy luận như sau: Iokaste có hai người con trong ABox. Một người là Oedipus là kẻ giết cha. Ông ta có một người con là Polyneikes. Nhưng không có gì cho ta biết rằng Polyneikes không phải là kẻ giết cha. Như vậy, Oedipus không phải là người con mà ta đang tìm. Người thứ hai là Polyneikes, nhưng không có gì cho ta biết Polyneikes là kẻ giết cha. Như vậy Polyneikes cũng không phải là người con mà ta đang tìm. Dựa vào lập luận này người ta cho là khẳng định về Iokaste không được kế thừa.
Tuy nhiên, lập luận đúng thì khác. Tất cả các mô hình của Aoe có thể được chia làm hai lớp, một lớp trong đó nói Polyneikes là kẻ giết cha, và lớp còn lại nói Polyneikes không giết cha. Trong mô hình của dạng thứ nhất, Polyneikes, con của Iokaste, là kẻ giết cha và có con không phải là kẻ giết cha tên là Thersandros. Trong mô hình của dạng thứ hai, Oedipus, con của Iokaste là kẻ giết cha và có con không phải là kẻ giết cha tên là Polyneikes. Như vậy, trong tất cả các mô hình Iokaste có một người con là kẻ giết cha và bản thân kẻ này có một người con không phải là kẻ giết cha. Điều đó có nghĩa rằng khẳng định:
(∃hasChild.(Patricide u ∃hasChild.:Patricide))(IOKASTE) thực sự được kế thừa bởi Aoe.
Ví dụ trên cũng nói rằng, lập luận "mở" có thể cần phải phân tích các trường hợp.