Luận văn Logic mô tả và ứng dụng trong cơ sở dữ liệu
BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI
⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
LUẬN VĂN THẠC SỸ KHOA HỌC
LOGIC MÔ TẢ VÀ ỨNG DỤNG
TRONG CƠ SỞ DỮ LIỆU
NGÀNH: CÔNG NGHỆ THÔNG TIN
MÃ SỐ:.............................................
ĐẶNG VĂN HUỆ
Người hướng dẫn khoa học: TS. TRẦN ĐÌNH KHANG
HÀ NỘI 2006
LỜI CAM ĐOAN
Các kết quả nghiên cứu trong luận văn, ngoài những vấn đề mang tính
phổ biến mà tác giả đề cập tới dưới dạng các định nghĩa và khái niệm là hoàn
toàn mới, những vấn đề tham khảo được trích dẫn cụ thể. Các hình, minh hoạ,
ví dụ và kết quả do chính tác giả thực hiện. Nội dung của đề tài chưa công bố
trên các công trình nghiên cứu khác. Tác giả xin chịu hoàn toàn trách nhiệm
về nội dung của luận văn này.
Tác giả
Đặng Văn Huệ
LỜI CÁM ƠN
Dưới sự dẫn dắt của các thầy, các cô giáo trường Đại học Bách khoa
Hà Nội đến nay em đã hoàn thành luận văn tốt nghiệp này.
Em xin chân thành cám ơn các thầy, các cô trường Đại học Bách Khoa
Hà Nội nói chung và Khoa Công nghệ Thông tin nói riêng đã tận tình chỉ bảo,
hướng dẫn cho em trong những năm qua.
Em xin bày tỏ lòng biết hơn đến thầy giáo Trần Đình Khang, người
trực tiếp hướng dẫn em làm luận văn. Nếu không có sự truyền đạt kiến thức
quý báu và hướng dẫn tận tình của thầy giáo chắc chắn rằng luận văn của em
sẽ rất khó được hoàn thành.
Tôi cũng xin chân thành cám ơn bạn bè đã động viên, giúp đỡ tôi trong
thời gian học tập tại Trường, cũng như quá trình hoàn thành luận văn.
Mặc dù đã rất cố gắng, song chắc chắn luận văn không tránh khỏi
những thiếu sót. Em rất mong nhận được sự thông cảm và những ý kiến đóng
góp tận tình của các thầy, cô giáo và các bạn cũng như những ai quan tâm tới
lĩnh vực trong luận văn này.
Hà Nội, ngày 31 tháng 10 năm 2006
Tác giả
Đặng Văn Huệ
-3-
MỤC LỤC
Nội dung
Trang
LỜI CAM ĐOAN .............................................................................................1
LỜI CÁM ƠN ...................................................................................................2
MỤC LỤC.........................................................................................................3
DANH SÁCH CÁC BẢNG..............................................................................6
DANH SÁCH CÁC HÌNH ...............................................................................6
LỜI GIỚI THIỆU..............................................................................................7
Chương 1. LOGIC MÔ TẢ.............................................................................10
1.1. GIỚI THIỆU.........................................................................................10
1.2. NGÔN NGỮ THUỘC TÍNH AL ...........................................................11
1.2.1. Ngôn ngữ mô tả cơ bản AL ..............................................................11
1.2.2. Ngữ nghĩa của các khái niệm AL .....................................................12
1.2.3. Họ ngôn ngữ logic mô tả AL............................................................13
1.2.4. Ngôn ngữ mô tả là tập con của logic vị từ bậc nhất.......................15
1.3. HỆ CƠ SỞ TRI THỨC.........................................................................15
1.3.1. Kiến trúc hệ logic mô tả.................................................................15
1.3.2. Bộ thuật ngữ (TBox) ......................................................................16
1.3.2.1. Tiên đề thuật ngữ ..................................................................... 16
1.3.2.2. Định nghĩa khái niệm............................................................... 17
1.3.2.3. Mở rộng bộ thuật ngữ .............................................................. 20
1.3.2.4. Đệ quy...................................................................................... 22
1.3.2.5. Thuật ngữ với các tiên đề bao hàm.......................................... 22
1.3.3. Bộ khẳng định (ABox)...................................................................23
1.3.4. Cá thể..............................................................................................25
-4-
1.3.5. Suy luận..........................................................................................26
1.3.5.1. Lập luận đối với khái niệm...................................................... 26
1.3.5.2 Loại trừ TBox ........................................................................... 28
1.3.5.3. Lập luận đối với ABox ............................................................ 29
1.3.5.4. Ngữ nghĩa “đóng”, ngữ nghĩa “mở”........................................ 30
1.4. CÁC THUẬT TOÁN SUY LUẬN ......................................................33
1.4.1. Thuật toán bao hàm cấu trúc..........................................................33
1.4.2. Thuật toán tableau ..........................................................................35
1.5. MỞ RỘNG NGÔN NGỮ MÔ TẢ .......................................................41
1.5.1. Các constructor vai trò ...................................................................41
1.5.2. Biểu diễn các giới hạn số ...............................................................42
1.6. NGÔN NGỮ DATALOG ....................................................................42
1.6.1. Các khái niệm và thành phần của Datalog.....................................43
1.6.2. Cú pháp của chương trình Datalog ................................................44
1.7. TỔNG KẾT CHƯƠNG........................................................................46
Chương 2. SƠ LƯỢC VỀ CƠ SỞ DỮ LIỆU .................................................48
2.1. MÔ HÌNH THỰC THỂ - QUAN HỆ...................................................48
2.2. MÔ HÌNH HƯỚNG ĐỐI TƯỢNG......................................................52
2.3. TỔNG KẾT CHƯƠNG........................................................................56
Chương 3. CHUYỂN ĐỔI CƠ SỞ DỮ LIỆU THÀNH CƠ SỞ TRI
THỨC CỦA LOGIC MÔ TẢ........................................................57
3.1. MÔ HÌNH HOÁ LƯỢC ĐỒ THỰC THỂ - QUAN HỆ
BẰNG LOGIC MÔ TẢ........................................................................57
3.2. MỞ RỘNG KHẢ NĂNG BIỂU DIỄN CỦA NGÔN
NGỮ MÔ HÌNH HOÁ .........................................................................63
3.2.1. Tổng quát hoá thực thể...................................................................63
3.2.2. Lọc các tính chất thuộc một cấu trúc IS-A.....................................64
-5-
3.3. BIỂU DIỄN MÔ HÌNH DỮ LIỆU HƯỚNG ĐỐI
TƯỢNG BẰNG LOGIC MÔ TẢ.........................................................64
3.4. CHUYỂN DỮ LIỆU TỪ CƠ SỞ DỮ LIỆU VÀO
ABOX CỦA LOGIC MÔ TẢ...............................................................66
3.5 TỔNG KẾT CHƯƠNG.........................................................................72
Chương 4. TRUY VẤN ..................................................................................73
4.1. NGUYÊN TỬ TRUY VẤN, ĐỐI TƯỢNG, CÁ THỂ
VÀ BIẾN ..............................................................................................73
4.1.1. Nguyên tử truy vấn khái niệm........................................................73
4.1.2. Nguyên tử truy vấn vai trò .............................................................74
4.2. TRUY VẤN PHỨC HỢP.....................................................................75
4.3. HỖ TRỢ MÔ TẢ - ĐỊNH NGHĨA VÀ THUẬT TOÁN.....................76
4.4. TỔNG KẾT CHƯƠNG........................................................................78
KẾT LUẬN.....................................................................................................79
CÁC THUẬT NGỮ ........................................................................................80
TÀI LIỆU THAM KHẢO...............................................................................82
-6-
DANH SÁCH CÁC BẢNG
1.1 Cú pháp của ngôn ngữ AL
trang 12
trang 13
trang 67
trang 68
trang 68
trang 69
trang 69
trang 69
trang 69
1.2 Ngữ nghĩa của logic mô tả
3.1 Bảng thực thể Professor
3.2 Bảng thực thể Student
3.3 Bảng thực thể Course
3.4 Bảng thực thể AdvCourse
3.5 Bảng quan hệ Teaching
3.6 Bảng thực thể GradStudent
3.7 Bảng quan hệ Enrolling
DANH SÁCH CÁC HÌNH
1.1 Kiến trúc hệ logic mô tả
trang 16
trang 18
trang 20
trang 23
trang 30
trang 37
trang 39
trang 49
trang 52
trang 59
trang 65
trang 67
1.2 TBox với các khái niệm về quan hệ gia đình
1.3 Khai triển TBox quan hệ gia đình trong Hình 1.2
1.4 Bộ khẳng định (ABox)
1.5 ABox Aoe về câu truyện Oedipus
1.6 Luật biến đổi của thuật toán tableau giải bài toán thoả
1.7 Ví dụ chứng minh Mother v Parent
2.1 Lược đồ ER
2.2 Môt mô hình hướng đối tượng
3.1 TBox chuyển đổi từ lược đồ ER trong Hình 2.1
3.2 Cơ sở tri thức ALCQI tương ứng với lược đồ trong Hình 2.2
3.3 Thủ tục chuyển dữ liệu từ bảng vào ABox
3.3 ABox nhận được từ việc chuyển đổi dữ liệu của các thực thể trang 71
4.1 Thủ tục hỗ trợ mô tả trang 76
-7-
LỜI GIỚI THIỆU
Nghiên cứu trong lĩnh vực biểu diễn tri thức và suy diễn thường tập trung
vào các phương pháp có khả năng mô tả “thế giới” ở mức cao. Trong những
năm gần đây, người ta thường nhắc tới “logic mô tả” (Description logic) như
là một phương pháp biểu diễn tri thức hiệu quả. Trong những ứng dụng cụ thể
có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái
niệm và các mối quan hệ.
Lĩnh vực ứng dụng của logic mô tả cũng rất đa dạng, ngay từ ngày đầu,
logic mô tả đã được xem như là những ngôn ngữ với mục đích biểu diễn tri
thức và suy diễn, vì thế nó phù hợp cho nhiều ứng dụng. Tuy nhiên những
ứng dụng mang tính thương mại đến nay vẫn chưa thực sự phổ biến.
Các ứng dụng của logic mô tả có thể kể đến như công nghệ phần mềm,
thiết lập cấu hình, y học, các hệ thống thư viện điện tử, hệ thống thông tin
web ngữ nghĩa, xử lý ngôn ngữ tự nhiên, quản trị cơ sở dữ liệu...
Mối quan hệ giữa logic mô tả và cơ sở dữ liệu khá khăng khít. Thực tế,
nhu cầu xây dựng các hệ thống mà vừa có khả năng biểu diễn tri thức logic
mô tả và quản trị cơ sở dữ liệu là cần thiết. Các hệ quản trị cơ sở dữ liệu giải
quyết vấn đề toàn vẹn dữ liệu và quản trị một số lượng lớn dữ liệu, trong khi
đó hệ biểu diễn cơ sở tri thức logic mô tả quản lý tri thức nội hàm. Hơn nữa,
logic mô tả cung cấp một khung chuẩn mà được xem như rất gần gũi với các
ngôn ngữ được dùng để mô hình hoá dữ liệu, như mô hình thực thể - quan hệ.
Logic mô tả tương đương với các công cụ lập luận. Chẳng hạn, bằng việc sử
dụng tính nhất quán khái niệm ta có thể xác nhận một thực thể có ít nhất một
thể hiện ngay tại thời điểm thiết kế.
Một yếu tố nữa tăng cường cho hệ quản trị cơ sở dữ liệu bằng logic mô tả
là ngôn ngữ truy vấn. Bằng việc biểu diễn truy vấn cơ sở dữ liệu trong logic
-8-
mô tả người ta có khả năng phân loại chúng, vì thế xử lý kết quả như thực
hiện và tối ưu hoá truy vấn. Hơn nữa, logic mô tả có thể được dùng để biểu
diễn các ràng buộc và các câu trả lời nội hàm.
Trong thời gian qua em đã có điều kiện được tiếp xúc, nghiên cứu về logic
mô tả. Từ những nghiên cứu này, nên trong luận văn em sẽ trình bày theo
hướng nêu lên các vấn đề cơ bản của logic mô tả, sơ lược về các mô hình cơ
sở dữ liệu phổ biến, mối quan hệ giữa cơ sở dữ liệu và logic mô tả. Do vậy,
các nội dung của luận văn này sẽ được trình bày như sau:
• Chương 1. Logic mô tả: Đây là chương giới thiệu về những nội dung cơ
bản của logic mô tả như khái lược về logic mô tả, các ngôn ngữ của
logic mô tả, kiến trúc của một hệ cơ sở tri thức dựa trên logic mô tả,
các bài toán quyết định. Đồng thời giới thiệu một ngôn ngữ lập trình
logic Datalog.
• Chương 2. Sơ lược về cơ sở dữ liệu: Trong chương này em xin đề cập
một cách khái lược nhất về hai mô hình cơ sở dữ liệu đó là mô hình dữ
liệu thực thể - quan hệ và mô hình dữ liệu hướng đối tượng.
• Chương 3. Chuyển đổi cơ sở dữ liệu thành cơ sở tri thức của logic mô
tả: Chương này sẽ giới thiệu phương pháp để biến đổi các lược đồ của
mô hình dữ liệu thực thể - liên kết cũng như mô hình hướng đối tượng
thành bộ thuật ngữ (TBox) của logic mô tả, đồng thời thảo luận về việc
chuyển đổi dữ liệu của cơ sở dữ liệu vào bộ khẳng định (ABox) của
logic mô tả.
Chương 4. Truy vấn: Chương này thảo luận về truy vấn cơ sở tri thức, từ
các thành phần cơ bản của truy vấn như truy vấn nguyên tử khái niệm, truy
vấn nguyên tử vai trò đến các truy vấn phức hợp bằng biểu thức hội các thành
phần khái niệm và vai trò cơ sở. Đồng thời cũng đưa ra thuật toán nhằm
-9-
chuyển đổi các câu truy vấn xây dựng theo cách thể hiện của ngôn ngữ lập
trình logic Datalog sang biểu diễn mô tả khái niệm trong logic mô tả.
Trên đây là những phần chính sẽ được trình bày trong luận văn. Trên
thực tế vẫn còn nhiều vấn đề mở trong lý thuyết về logic mô tả và ứng dụng
của nó. Em hy vọng mình sẽ có điều kiện để tiếp tục đi sâu hơn vào việc
nghiên cứu ứng dụng của logic mô tả trong thời gian tới.
Cuối cùng, em xin được gửi lời cám ơn của mình tới thầy giáo hướng
dẫn Tiến sỹ Trần Đình Khang đã dìu dắt, hỗ trợ và giúp đỡ em hoàn thành đề
tài này. Phần trình bày của em chắc chắn còn nhiều thiếu sót, em rất mong
được sự góp ý của thày để có thể hoàn thiện tốt hơn đề tài.
-10-
Chương 1. LOGIC MÔ TẢ
1.1. GIỚI THIỆU
“Logic mô tả” là thuật ngữ mới nhất trong họ biểu diễn tri thức (KR),
trước khi cụm từ “logic mô tả” phổ biến như hiện nay, người ta nói đến logic
mô tả dưới những cụm từ như “ngôn ngữ biểu diễn tri thức thuật ngữ” hay
“ngôn ngữ khái niệm”. Logic mô tả được ứng dụng rất hiệu quả trong các hệ
thống trí tuệ nhân tạo, hệ thống biểu diễn tri thức ngữ nghĩa. Các hệ thống này
hoạt động dựa vào khả năng suy luận theo cách của con người thường làm.
Đó là phân lớp các khái niệm và các cá thể. Việc phân lớp các khái niệm xác
định mối quan hệ (mà người ta gọi là quan hệ bao hàm) giữa các khái niệm
của các thuật ngữ cho trước, và như vậy cho phép người ta xây dựng thuật
ngữ theo dạng cấu trúc. Cấu trúc này cung cấp những thông tin hữu ích trong
kết nối giữa các khái niệm khác nhau và nó có thể được dùng để tăng tốc các
dịch vụ lập luận khác. Việc phân lớp các cá thể thực chất là xác định cá thể
cho trước có luôn luôn là một thể hiện (instance) của một khái niệm nào đó
hay không. Vì vậy nó cung cấp những thông tin hữu ích về tính chất của cá
thể.
Để biểu diễn tri thức bằng logic mô tả công việc trước tiên ta phải làm
đó là xây dựng các khái niệm từ các khái niệm nguyên tố, các vai trò nguyên
tố và bằng các luật khái niệm. Hệ thống khái niệm mà ta có được gọi là bộ
thuật ngữ (TBox). Đây là một trong hai thành phần chính của hệ cơ sở tri thức
dựa vào logic mô tả. Còn một thành phần chính khác của hệ cơ sở tri thức nêu
trên là bộ khẳng định (ABox). Bộ này là tập hợp các khẳng định thể hiện mối
quan hệ giữa khái niệm với cá thể hay giữa hai cá thể với nhau. Bên cạnh việc
biểu diễn tri thức phần quan trọng khác của hệ logic mô tả là cung cấp các
dịch vụ suy luận dựa trên tri thức đã được biểu diễn. Phần lớn các thủ tục suy
-11-
luận bằng logic mô tả là các thủ tục quyết định với các câu trả lời “đúng”
hoặc “sai”. Để xây dựng một hệ thống cơ sở tri thức dựa trên logic mô tả
người ta đã đúc rút thành ba bước quan trọng là:
• Xác định các khái niệm nguyên tố, các vai trò nguyên tố và các cá
thể ban đầu;
• Sử dụng một ngôn ngữ khái niệm để xây dựng lên các khái niệm
phức hợp;
• Sử dụng các thủ tục suy luận để rút ra những tri thức đúng đắn về
các khái niệm và các cá thể nếu có thể.
Để chi tiết hơn, ta sẽ lần lượt tìm hiểu từng vấn đề trong logic mô tả.
Trước hết là các ngôn ngữ định nghĩa khái niệm, tiếp theo là về cơ sở tri thức
được xây dựng bằng logic mô tả và các thủ tục suy diễn cho các bài toán
quyết định.
1.2. NGÔN NGỮ THUỘC TÍNH AL
Những khái niệm phức tạp trong logic mô tả được xây dựng bằng ngôn
ngữ thuộc tính AL (Attributive Language) hoặc các ngôn ngữ mở rộng của AL.
Ta gọi các ngôn ngữ này là các “ngôn ngữ mô tả”. Xuất phát từ những “mô tả
cơ sở” bằng các luật xây dựng khái niệm mà ngôn ngữ mô tả hỗ trợ ta hình
thành nên các khái niệm mới.
Thành phần cơ bản của ngôn ngữ mô tả AL là các khái niệm và các vai
trò nguyên tố. Các mô tả phức tạp được xây dựng bằng việc kết hợp các thành
phần cơ bản đó thông qua các bộ tạo (constructor). Người ta thường dùng ký
tự A và B để biểu diễn các khái niệm nguyên tố, ký tự R và P để biểu diễn các
vai trò, ký tự C và D để biểu diễn các khái niệm phức hợp.
1.2.1. Ngôn ngữ mô tả cơ bản AL
-12-
AL là ngôn ngữ có luật cú pháp đơn giản nhất. Những luật cú pháp của ngôn
ngữ mô tả AL thể hiện như sau:
C, D ! A |
> |
(Khái niệm nguyên tố)
(Khái niệm đỉnh)
(Khái niệm đáy)
? |
: |
(Phủ định khái niệm)
(Giao khái niệm)
C u D |
∀R.C |
∃R.T |
(Lượng từ với mọi)
(Lượng từ tồn tại)
Bảng 1.1: Cú pháp của ngôn ngữ AL
Ví dụ: Giả sử ta có các khái niệm nguyên tố PERSON và MALE thì
PERSON u MALE và PERSON u :MALE
là các mô tả khái niệm. Ta thấy rằng các mô tả trên là “Người đàn ông” và
“Người không phải là đàn ông”.
Giả sử ta có một vai trò nguyên tố hasChild biểu thị rằng một cá thể có con.
Ta có thể tạo ra các mô tả khái niệm:
PERSON u ∃hasChild.>
để biểu diễn người có con
và
PERSON u ∀hasChild.:MALE
để biểu diễn người có toàn con gái.
Sử dụng khái niệm đáy ta có thể biểu diễn người không có con như sau:
PERSON u ∀hasChild.?
1.2.2. Ngữ nghĩa của các khái niệm AL
-13-
Bên cạnh việc xây dựng các khái niệm, ta cũng cần phải hiểu từng khái
niệm được tạo ra. Ngữ nghĩa của các khái niệm trong logic mô tả được thể
hiện thông qua phép diễn dịch.
Định nghĩa 1 [8]: Mỗi diễn dịch, ký hiệu là I, là một cặp (4I, .I). Trong đó,
miền diễn dịch 4I là một tập không rỗng, còn .I là một hàm dịch. Hàm dịch .I
chuyển mỗi khái niệm A thành một tập AI µ 4I, chuyển mỗi vai trò R thành một
quan hệ RI µ 4I £ 4I.
Hàm diễn dịch được mở rộng cho khái niệm phức hợp như sau:
> = 4I
? =
;
(:C)I = 4I\CI
(C u D)I = CI ∩ DI
(C t D)I = CI ∪ DI
(∀R.C)I = {a ∈ 4I | ∀b.(a,b) ∈ RI ! b ∈ CI}
(∃R. >)I = {a ∈ 4I | ∃b.(a,b) ∈ RI}
Bảng 1.2: Ngữ nghĩa của logic mô tả
Ta nói rằng hai khái niệm C và D là tương đương nhau, viết là C ≡ D
nếu CI = DI với mọi diễn dịch I.
Ví dụ: Quay trở lại định nghĩa ngữ nghĩa của các khái niệm, ta dễ dàng thấy
rằng hai mô tả khái niệm:
∀hasChild.Male u ∀hasChild.Student và ∀hasChild.(Male u
Student) là tương đương nhau.
1.2.3. Họ ngôn ngữ logic mô tả AL
-14-
Khi ta thêm các bộ tạo (constructor) vào ngôn ngữ AL cơ bản ta được
một ngôn ngữ AL mở rộng có khả năng biểu diễn linh hoạt hơn. Các
constructor đó bao gồm:
* Hợp khái niệm (ký hiệu bằng chữ U) được viết là C t D, và được diễn dịch
là:
(C t D)I = CI ∪ DI.
Ví dụ: mô tả nhạc công là nhạc sỹ hoặc nghệ sỹ:
Composer t Performer
* Lượng tử tồn tại (ký hiệu bằng chữ E) viết là ∃R.C, và được dịch là:
(∃R.C)I = {a ∈ 4I | ∃b.(a,b) ∈ RI ^ b ∈ CI}
* Giới hạn số lượng (ký hiệu bằng chữ N) được viết là ¸nR (giới hạn nhỏ nhất)
và là ≤nR (giới hạn lớn nhất), n là một số nguyên không âm. Nó được diễn
dịch như sau:
(¸nR)I = {a ∈ 4I | |{b|{(a,b) ∈ RI}| ≥ n}
và
(·nR)I = {a ∈ 4I | |{b|{(a,b) ∈ RI}| · n}
Ví dụ:
Person u (≤1 hasChild t ≥3 hasChild)
* Phủ định khái niệm (ký hiệu bằng chữ C) viết là :C, diễn dịch là:
(:C)I = 4I\CI
Ví dụ: ta có Female là bù của Male: :Male
Ngôn ngữ AL mở rộng là ngôn ngữ AL khi ta thêm vào
một
hoặc
vài
constructor vừa nêu. Ta đặt tên cho từng ngôn ngữ mở rộng bằng cách thêm
các ký tự:
AL[U][E][N][C]
Ví dụ về mô tả khái niệm bằng AL mở rộng như sau:
Person u (·1 hasChild t (≥3 hasChild u ∃hasChild.Male)
-15-
Ví dụ nêu trên mô tả khái niệm người có nhiều nhất 1 con hoặc ít nhất 3 con
đồng thời có con gái.
Ngôn ngữ mở rộng ALU có thể biểu diễn bằng ALC thông qua dạng phủ định vì:
C t D và :(:D u : D) là tương đương nhau
hoặc ALE cũng có thể biểu diễn bằng ALC vì:
∃R.C và :∀R.:C là tương đương nhau.
Vì vậy ta có thể viết ALC thay vì viết ALUE và viết ALCN thay vì viết ALUEN.
1.2.4. Ngôn ngữ mô tả là tập con của logic vị từ bậc nhất
Ngữ nghĩa của các khái niệm xác định ngôn ngữ mô tả là phân đoạn
của logic vị từ bậc nhất. Khi diễn dịch I lần lượt áp vào tất cả các khái niệm
và vai trò nguyên tố ta được các vị từ không ngôi từ các khái niệm và vị từ hai
ngôi từ các vai trò. Khái niệm C bất kỳ được diễn dịch vào công thức logic vị
từ φC(x) bằng một biến x:
Một khái niệm nguyên tố A được chuyển thành công thức A(x), các
phép giao, hợp, phủ định được diễn dịch vào φC(x) và R là một vai trò nguyên
tố thì các lượng từ tồn tại, với mọi được chuyển theo dạng công thức:
φ∃R.C(y) = ∃x.R(y,x) ^ φC(x)
φ∀R.C(y) = ∀x.R(y,x) ! φC(x)
ở đây y là một biến mới; giới hạn số lượng được biểu diễn theo công thức:
φ¸nR(x) = ∃y1,..., yn.R(x,y1) ^ ... ^R(x,yn) ^ yi≠yj
^
φ·nR(x) = ∀y1,..., yn+1.R(x, y1) ^... ^R(x,yn) ! yi =
yj
_
1.3. HỆ CƠ SỞ TRI THỨC
1.3.1. Kiến trúc hệ logic mô tả
-16-
Như ta biết rằng hệ logic mô tả là các hệ thống thông tin có sử dụng
logic mô tả để biểu diễn tri thức. Các hệ này sử dụng khả năng biểu diễn
mạnh mẽ của logic mô tả, kết hợp với các thủ tục suy diễn để tạo nên tính linh
hoạt của chúng. Nhờ vào logic mô tả người ta thiết lập lên những hệ thống
khái niệm của lĩnh vực ứng dụng.
Một hệ cơ sở tri thức được biểu diễn bằng logic mô tả chứa đựng hai
thành phần chính. Thành phần thứ nhất đó là “bộ thuật ngữ” (TBox), nơi chứa
đựng các khái niệm được xây dựng bằng ngôn ngữ mô tả; thành phần thứ hai
đó là “bộ khẳng định” (ABox) là nơi chứa các khẳng định hay nói cụ thể hơn
là các mô tả về thế giới. Bên cạnh đó, bằng các dịch vụ suy luận ta có thể
nhận được những tri thức đúng đắn. Hình 1.1 minh hoạ kiến trúc chung của
hệ logic mô tả.
TBox
Ngôn ngữ mô tả
Suy diễn
ABox
KB
Chương trình
ứng dụng
Luật
Hình 1.1: Kiến trúc hệ logic mô tả
1.3.2. Bộ thuật ngữ (TBox)
Bộ thuật ngữ (TBox) được sử dụng để lưu các thuật ngữ. Đó là các khái
niệm phức được định nghĩa thông qua các khái niệm và các vai trò nguyên tố
dựa trên các constructor của ngôn ngữ AL mà hệ thống sử dụng.
1.3.2.1. Tiên đề thuật ngữ
Trường hợp thông dụng nhất tiên đề thuật ngữ có dạng:
C v D ( R v S) hoặc C ´ D ( R ´ S).
-17-
Trong đó C, D là các khái niệm; R,S là các vai trò. Tiên đề thứ nhất (C v D
(Rv S)) được gọi là bao hàm; tiên đề thứ hai (C ´ D (R ´ S) được gọi là tương
đương.
Ngữ nghĩa của các tiên đề được xác định như sau: Một diễn dịch I thoả
mãn một bao hàm C v D nếu CI µ DI, và nó thoả mãn một tương đương C ´ D
nếu CI = DI. Nếu T là một tập các tiêu đề thì I thoả mãn T khi và chỉ khi I thoả
mãn từng thành phần của T. Nếu I thoả mãn một tiên đề thì ta nói rằng nó là
mô hình của tiên đề này. Hai tiên đề hoặc hai tập tiên đề là tương đương nếu
chúng có cùng mô hình.
1.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 u ∃hasChild.Person
Father ´ Man u ∃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 t 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.
Ví dụ:
Woman
´
Person u Female
-18-
Man
Mother
´
´
´
´
´
Person u : Woman
Woman u ∃hasChild.Person
Man u ∃hasChild.Person
Father t Mother
Father
Parent
Grandmother
Mother u ∃hasChild.Parent
MotherWithManyChildren ´ Mother u ≥3 Children
MotherWithoutDaughter ´ Mother u ∀hasChild.:Woman
Wife Woman u ∃hasHusband.Man.
´
Hình 1.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 I 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à 4I
= 4J.
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 u ∀hasParent.Human’
-19-
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.
-20-
1.3.2.3. Mở rộng bộ thuật ngữ
Nếu một thuật ngữ T không có chu trình thì nó xác định. Ta có thể mở
rộng các định nghĩa trong T thông qua việc thay thế các khái niệm được định
nghĩa xuất hiện ở bên phải của các tiên đề bằng các mô tả tạo ra chúng. Mục
đích của việc mở rộng là nhằm đạt được bộ thuật ngữ T với hai tính chất sau:
• Mọi thuật ngữ đều ở dạng định nghĩa khái niệm;
• Vế trái của mọi thuật ngữ là một tên tượng trưng, còn vế phải chỉ
chứa các khái niệm nguyên thuỷ.
Ví dụ:
TBox ở hình 1.2 là không có chu trình. Ta có thể mở rộng như sau:
Woman
Man
´
´
´
´
´
Person u Female
Person u :(Person u Female)
Mother
Father
Parent
(Person u Female) u ∃hasChild.Person
(Person u :(Person u Female)) u ∃hasChild.Person
((Person u :(Person u Female)) u ∃hasChild.Person) t
((Person u Female) u ∃hasChild.Person)
((Person u Female) u ∃hasChild.Person)
u ∃hasChild.( ((Person u :(Person u Female))
u ∃hasChild.Person) t ((Personu Female) u
∃hasChild.Person)
Grandmother
´
MotherWithManyChildren ´ ((Person u Female) u ∃hasChild.Person) u ≥3
Children
MotherWithoutDaughter ´ ((Person u Female) u ∃hasChild.Person)
u ∀hasChild.(:(Person u Female))
-21-
Wife
´
(Person u Female)
u ∃hasHusband.(Person u :(Person u Female))
Hình 1.3: Khai triển TBox quan hệ gia đình trong Hình 1.2
Mệnh đề 1.1. [8] Gọi T là một bộ thuật ngữ không chứa chu trình và T' là bộ
thuật ngữ mở rộng của nó, khi đó:
* T và T ' có cùng các tên định nghĩa (symbol tên) và khái niệm cơ sở
(Symbol cơ sở);
* T và T ' tương đương nhau;
* Cả T và T ' đều xác định.
Chứng minh: Cho T1 là một thuật ngữ. Giả sử A ´ C và B ´ D là các định
nghĩa trong T1 để B xuất hiện trong C. Cho C’ là một khái niệm thu được bằng
việc thay thế các sự kiện của B trong C bằng D, cho T2 là thuật ngữ thu được
bằng việc thay thế định nghĩa C ´ D với A ´ C’ trong T1, khi đó cả hai thuật
ngữ có cùng symbol tên và symbol cơ sở. Hơn nữa thu được J2 bằng việc thay
thế tương đương J1, vậy cả hai thuật ngữ có cùng mô hình, khi đó ta thu được
T' từ T thông qua việc thay thế nói trên.
Giả sử J là một diễn dịch của các symbol cơ sở. Ta mở rộng J thành một diễn
dịch I tác động lên symbol tên theo cách thiết lập AI ´ C’J, nếu A ´ C’ là định
nghĩa của A trong T'. Rõ ràng, I là một mô hình của T' đồng thời cũng là mở
rộng của J. Điều đó có nghĩa là T được xác định. Hơn nữa, T hoàn toàn xác
định khi đó T tương đương T '.
Tất nhiên cũng có các thuật ngữ có chu trình mà vẫn xác định. Ví dụ:
A ´ ∀R.B t ∃R.(A u :A)
Tuy nhiên, ∃R.(A u :A) tương đương với khái niệm đáy nên ví dụ trên tương
đương với tiên đề không có chu trình:
A ´ ∀R.B
-22-
1.3.2.4. Đệ quy
Giả sử ta muốn mô tả khái niệm về người đàn ông chỉ có con cháu trai
(Man who has only male offspring) viết ngắn gọn là MOMO. Trường hợp đặc
biệt ông ta chỉ có con trai (Man who has only son) viết tắt là MOS. MOS
được định nghĩa không có chu trình như sau:
MOS = Man u ∀hasChild.Man
Còn đây là định nghĩa đệ quy khái niệm người đàn ông chỉ có con cháu trai:
MOMO ´ Man u ∀hasChild.MOMO
Chu trình xuất hiện khi ta muốn mô hình hoá cấu trúc đệ quy như trên.
Ta xem xét tiếp ví dụ đệ quy trong biểu diễn cây nhị phân: Giả sử có tập các
đối tượng là các cây (Tree) và các quan hệ nhị phân có cây con (hasBranch)
giữa các đối tượng liên quan giữa một cây và cây con ta có:
BinaryTree ´ Tree u · 2 hasBranch u ∀hasBranch.BinaryTree.
1.3.2.5. Thuật ngữ với các tiên đề bao hàm
Có nhiều khái niệm mà chúng ta không thể định nghĩa chúng một cách
hoàn thiện. Trong trường hợp như vậy, ta vẫn có thể biểu diễn các trạng thái
cần thiết bằng việc sử dụng bao hàm. Ta còn gọi bao hàm là tổng quát hoá.
Ví dụ: Nếu một người xây dựng tri thức nghĩ rằng định nghĩa “Woman” trong
ví dụ ở Hình 1.2 là không thoả đáng (Woman ´ Person u Female), nhưng anh
ta cũng cảm thấy rằng không thể định nghĩa khái niệm “Woman” một cách
chi tiết hơn, anh ta có thể quy định rằng tất cả phụ nữ trên đời này là người
bằng sự tổng quát hoá:
Woman v Person
Một tập tiên đề T là một thuật ngữ được tổng quát hoá nếu vế bên trái của nó
là một khái niệm nguyên tố và với tất cả các khái niệm nguyên tố thì có nhiều
nhất một tiên đề xuất hiện ở bên trái.
-23-
Ta sẽ chuyển thuật ngữ bị tổng quát hoá T sang thuật ngữ thường T
chỉ chứa các định nghĩa để T tương đương với T theo nghĩa sau: Ta thu
được T từ T bằng cách lựa chọn symbol cơ sở A cho tất cả các phép
chuyên biệt hoá A v C trong T , và bằng việc thay thế chuyên biệt hoá A v C
bằng định nghĩa A ´ A u C. Thuật ngữ T là chuẩn hoá của T.
Nếu một TBox chứa chuyên biệt hoá như ví dụ: Woman v Person, thì
chuẩn hoá chứa định nghĩa là
Woman ´ Woman u Person.
Mệnh đề 1.2. [8] Cho T là một thuật ngữ khái quát hoá và T là chuẩn hoá
của T, khi đó:
* Tất cả mô hình củaT là mô hình của T
* Đối với tất cả mô hình I của T có một mô hình I của T mà có cùng
miền như I, khớp với I về các khái niệm và vai trò nguyên tố trong T.
1.3.3. Bộ khẳng định (ABox)
Ngoà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)
-24-
Father (PETER)
hasChild (MARY, PETER)
hasChild (PETER, HARRY)
hasChild (MARY, PAUL)
Hình 1.4: Bộ khẳng định (ABox)
ABox trong hình 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 = (4I, .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 ∈ 4I. 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.
-25-
1.3.4. Cá thể
Đôi khi, các cá thể không những được dùng trong ABox mà còn trong
ngôn ngữ mô tả, vì vậy người ta đưa ra các bộ tạo khái niệm (constructor)
dùng các cá thể xuất hiện trong hệ thống. Một trong những constructor cơ bản
đó là “tập hợp”, viết là:
{a1,..., an}
trong đó a1,..., an là tên các cá thể. Tập cá thể được diễn dịch là:
{ a1,..., an}I = {a1 , ... , an }.
Ví dụ, bằng tập hợp trong ngôn ngữ mô tả ta có thể định nghĩa khái niệm các
thành viên thường trực hội đồng bảo an liên hiệp quốc là {CHINA, FRANCE,
RUSSIA, UK, USA}.
I
I
Từ diễn dịch trên ta thu được các khái niệm {a1,..., an} và {a1}t ...t {an}
là tương đương nhau.
Một contructor khác xử lý tên cá thể đó là constructor “fill” cho các vai
trò, viết là:
R : a,
Ngữ nghĩa của constructor này được định nghĩa là:
(R : a)I = {d ∈ 4I | (d, aI) ∈ RI},
nghĩa là R : a đại diện cho tập các đối tượng mà a là Filler của vai trò R.
Từ công thức trên ta thấy rằng, nếu với tập hợp đơn thì R : a và ∃R.{a} là
tương đương.
Lưu ý rằng “fill” cho phép ta biểu diễn các khẳng định vai trò thông
qua các khẳng định khái niệm: một diễn dịch thoả mãn R(a,b) khi và chỉ khi
nó thoả mãn (∃R.{b})(a).
-26-
1.3.5. Suy luận
Hệ biểu diễn tri thức dựa trên logic mô tả có thể thực hiện các dạng suy
luận đặc biệt. Như đã trình bày, hệ cơ sở tri thức bao gồm TBox và ABox có
ngữ nghĩa tương đương với tập hợp các tiên đề trong logic vị từ bậc nhất. Như
vậy, giống như bất kỳ tập hợp tiên đề nào khác, nó cũng chứa tri thức tiềm ẩn
mà bằng suy luận có thể làm cho nó rõ ràng. Ví dụ, từ TBox trong Hình 1.2
và ABox trong hình 1.4 người ta có thể kết luận rằng Mary là người bà, mặc
dù tri thức này không được biểu diễn rõ ràng như một khẳng định.
Dạng suy luận khác được thực hiện bằng hệ thống logic mô tả được
định nghĩa như các lập luận logic. Sau đây ta sẽ thảo luận các lập luận này,
trước hết lập luận đối với các khái niệm, sau đó đối với TBox và ABox, cuối
cùng lập luận đồng thời trên TBox và ABox.
1.3.5.1. Lập luận đối với khái niệm
Khi mô hình một miền ứng dụng, ta xây dựng TBox gọi là T bằng cách
định nghĩa các khái niệm mới, kiểm tra “bài toán thoả” của các khái niệm đó
được coi là suy luận mấu chốt. Một số suy luận quan trọng khác có thể rút
gọn về “bài toán thoả”. Chẳng hạn để xác định mô hình là đúng hoặc để tối ưu
hoá câu hỏi được thiết lập là những khái niệm, ta cần biết khái niệm nào bao
quát hơn khái niệm nào, ta gọi đó là “bài toán bao hàm”. Một khái niệm C
được bao hàm bởi khái niệm D nếu trong tất cả các mô hình của T có tập ký
hiệu bởi C là một tập con của tập ký hiệu bởi D. Tiếp đến ta quan tâm đến
mối quan hệ giữa các khái niệm là “bài toán tương đương” và “bài toán không
giao”. Các bài toán này được định nghĩa một cách hình thức như sau:
Cho T là một TBox:
• Bài toán thoả: Một khái niệm C là thoả mãn theo T nếu như tồn tại một
mô hình I của T mà CI ≠ ;. Ta cũng nói rằng khi đó I là mô hình của C.
-27-
• Bài toán bao hàm: Một khái niệm C bị bao hàm bởi khái niệm D theo
T, nếu CI µ DI với mọi mô hình I của T. Khi đó ta ký hiệu là C v T D hoặc T
j= C v D.
• Bài toán tương đương: Hai khái niệm C và D là tương đương theo T
nếu CI = DI với mọi mô hình I của T . Khi đó ta ký hiệu là C ´T D hoặc T
j= C ´ D.
• Bài toán không giao: Hai khái niệm C và D là không giao nhau theo T
nếu như CI \ DI = ; với mọi mô hình I của T.
Xét ví dụ trong Hình 1.2, Person bao hàm Woman, cả Woman và Parent
bao hàm Mother, Mother bao hàm Grandmother. Hơn nữa, các cặp Woman và
Man, Father và Mother là không giao nhau.
Mệnh đề 1.3. [8] Chuyển về bài toán bao hàm
Xét hai khái niệm C và D:
• C không thoả mãn , C bị bao hàm bởi ?.
• C và D tương đương , C bị bao hàm bởi D đồng thời D bị bao hàm bởi
C.
• C và D không giao nhau , C u D bị bao hàm bởi ?.
Mệnh đề 1.4. [8] Chuyển về bài toán không thoả
Xét hai khái niệm C và D:
• C bị bao hàm bởi D , C u :D là không thoả mãn.
• C và D là tương đương , cả (C u :D) và (:C u D) là không thoả mãn.
• C và D không giao nhau , C u D là không thoả mãn.
Mệnh đề 1.5. [8] Xét hai khái niệm C và D, các trường hợp sau đây là tương
đương nhau:
• C không thoả mãn;
• C bị bao hàm bởi ?;
-28-
• C và ? là tương đương;
• C và > không giao nhau.
1.3.5.2 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ò nguyên thuỷ. Xét ví dụ trong Hảng 1.2, khái niệm mở rộng
của Father sẽ là:
Person u :(Person u Female) u ∃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 vT D
khi và chỉ khi C’ vT 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 j= C v D khi và chỉ khi j= C’ v D’;
o T j = C ´ D khi và chỉ khi j= 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ừ TBox trong vấn đề suy luận.
-29-
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 u Female u Person u :(Person u 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.
1.3.5.3. Lập luận đối với ABox
Ta nói rằng ABox chứa hai dạng khẳng định: khẳng định khái niệm có
dạng C(a) và khẳng định vai trò R(b,c). Tuy nhiên biểu diễn tri thức phải hợp
lệ, bởi vì nếu không thì từ quan điểm logic người ta có thể vẽ ra kết quả bất
kỳ. Chẳng hạn, ABox chứa các khẳng định Mother(MARY) và
Father(MARY), hệ thống có thể cho rằng trong TBox quan hệ gia đình,
những câu lệnh trên là hợp lệ.
Theo ngữ nghĩa lý thuyết của mô hình chúng ta dễ dàng đưa ra định
nghĩa hình thức về sự hợp lệ. Một ABox A là hợp lệ đối với TBox T , nếu có
một diễn dịch là mô hình của cả A và T. Chúng ta nói một cách đơn giản rằng A
là hợp lệ nếu nó hợp lệ đối với TBox rỗng.
Ví dụ, tập các khẳng định {Mother(MARY), Father(MARY)} là hợp lệ
đối với TBox rỗng, bởi vì không có ràng buộc nào trên diễn dịch Mother và
Father, hai khái niệm có thể được diễn dịch trong cùng cách là chúng có cùng
thành phần chung. Tuy nhiên, các khẳng định là không hợp lệ đối với TBox
quan hệ gia đình, khi mà trong mô hình của nó khái niệm Mother và Father
được diễn dịch là không giao nhau.
Tương tự như đối với khái niệm, việc kiểm tra tính hợp lệ của ABox
đối với TBox không có chu trình có thể quy về việc kiểm tra một ABox mở
Tải về để xem bản đầy đủ
84 trang
14/04/2025
90
Bạn đang xem 30 trang mẫu của tài liệu "Luận văn Logic mô tả và ứng dụng trong cơ sở dữ liệu", để tải tài liệu gốc về máy hãy click vào nút Download ở trên.
File đính kèm:
- luan_van_logic_mo_ta_va_ung_dung_trong_co_so_du_lieu.pdf
