BỘ GIÁO DỤC VÀ ðÀO TẠO
TRƯỜNG ðẠI HỌC BÁCH KHOA HÀ NỘI
ðINH VĂN PHỤNG
TỔNG QUAN VỀ LOGIC MÔ TẢ
VÀ ỨNG DỤNG
LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN
Hà Nội, 2009.
BỘ GIÁO DỤC VÀ ðÀO TẠO
TRƯỜNG ðẠI HỌC BÁCH KHOA HÀ NỘI
----------------------------------------------
ðINH VĂN PHỤNG
TỔNG QUAN VỀ LOGIC MÔ TẢ
VÀ ỨNG DỤNG
NGHÀNH: CÔNG NGHỆ THÔNG TIN
LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN
NGƯỜI HƯỚNG DẪN KHOA HỌC:
PGS.TS TRẦN ðÌNH KHANG
Hà Nội, 2009.
MỤC LỤC
Trang phụ bìa
Mục lục
Lời cảm ơn................................................................................................................i
Thuật ngữ tiếng anh.................................................................................................ii
Danh mục các hình ............................................................................................... iii
Danh mục các bảng................................................................................................ iv
Mở ñầu.................................................................................................................... v
Chương 1: TỔNG QUAN VỀ LOGIC MÔ TẢ..................................................1
1.1.Giới thiệu...........................................................................................................1
1.1.1. Lịch sử phát triển. .....................................................................................1
1.1.2. Phân loại....................................................................................................2
1.1.3. Các bước xây dựng một hệ thống logic mô tả. .........................................3
1.1.4. ðặc ñiểm của logic mô tả..........................................................................3
1.1.5. Các miền ứng dụng. ................................................................................. 4
1.2. Kiến trúc tổng quát của một hệ thống mô tả. ...................................................6
1.3. Các thủ tục suy diễn. ........................................................................................8
1.4. Tổng kết chương...............................................................................................9
Chương 2: BIỂU DIỄN TRI THỨC BẰNG NGÔN NGỮ MÔ TẢ................10
2.1. Cú pháp và ngữ nghĩa của ngôn ngữ AL ........................................................10
2.1.1. Cú pháp .................................................................................................. 12
2.1.2. Ngữ nghĩa................................................................................................12
2.1.3. Ngôn ngữ S .............................................................................................14
2.2. Cơ sở tri thức của ngôn ngữ mô tả .................................................................15
2.2.1. Bộ thuật ngữ TBox..................................................................................16
2.2.2. Bộ khẳng ñịnh ABox...............................................................................19
2.3. Các thuật toán suy diễn ..................................................................................21
2.3.1. Suy diễn cho khái niệm...........................................................................21
2.3.2. Suy diễn cho TBox..................................................................................24
2.3.3. Suy diễn cho ABox ................................................................................ 26
2.3.4. Các thuật toán suy diễn ...........................................................................28
2.4. Tổng kết chương.............................................................................................30
Chương 3: THUẬT TOÁN SUY DIỄN TABLEAU.........................................31
3.1. Giới thiệu....................................................................................................... 31
3.2. Thuật toán tableau ñối với bài toán thỏa khái niệm cho ALC .......................31
3.2.1. Ví dụ mở ñầu...........................................................................................32
3.2.2. Thuật toán tableau cho ALC. .................................................................35
3.2.2.1. Nguyên tắc hoạt ñộng của thuật toán tableau..................................37
3.2.2.2. Các ví dụ minh họa thuật toán tableau ........................................... 37
3.2.2.3. ðặc ñiểm của thuật toán tableau......................................................44
3.2.2.4. ðánh giá ñộ phức tạp của thuật toán tableau...................................45
3.3. Mở rộng thuật toán tableau.............................................................................46
3.3.1 Mở rộng tới các bài toán khác..................................................................46
3.3.1.1 Nhất quán ABox ALC.......................................................................46
3.3.1.2. Bao hàm...........................................................................................47
3.3.2. Mở rộng tới các ngôn ngữ khác ............................................................. 48
3.4. Hệ thống suy diễn FaCT++. ...........................................................................49
3.5. Tổng kết chương.............................................................................................51
Chương 4: QUAN HỆ GIỮA LOGIC MÔ TẢ VỚI CÁC NGÔN NGỮ HÌNH
THÁI KHÁC........................................................................................................52
4.1.Các ngôn ngữ hình thái mô tả tri thức trong lĩnh vực AI................................52
4.1.1. Mạng ngữ nghĩa. .....................................................................................52
4.1.2. Các hệ thống khung. ...............................................................................54
4.1.3. ðồ thị khái niệm......................................................................................55
4.2. Quan hệ giữa logic mô tả và logic vị từ. ........................................................56
4.3. Quan hệ giữa logic mô tả và logi hình thái .................................................. .58
4.4. Quan hệ giữa logic mô tả và XML.................................................................60
4.5. Tổng kết chương.............................................................................................64
Chương 5: ỨNG DỤNG LOGIC MÔ TẢ HỔ TRỢ CÔNG CỤ TẠO WEB
NGỮ NGHĨA .......................................................................................................65
5.1. Tóm tắt............................................................................................................65
5.2. Web ngữ nghĩa và Ontology...........................................................................65
5.3. Logic mô tả là ngôn ngữ Ontology ................................................................67
5.4. Logic mô tả SHIQ ..........................................................................................68
5.4.1. Cú pháp và ngữ nghĩa vai trò SHIQ........................................................68
5.4.2. Cú pháp và ngữ nghĩa khái niệm SHIQ..................................................69
5.5. Mô tả Ontology bằng ngôn ngữ SHIQ ...........................................................71
5.6. SHIQ và DAML+OIL ....................................................................................72
5.7. Suy diễn trong SHIQ ......................................................................................76
5.8. Công cụ tạo Ontology Protégé 4.0 .................................................................77
5.8.1. Giới thiệu.................................................................................................77
5.8.2. Protégé 4.0...............................................................................................78
5.9. Triển khai ứng dụng thử nghiệm....................................................................79
5.9.1. Công cụ thực hiện ...................................................................................79
5.9.2. Triển khai ứng dụng................................................................................79
5.9.2.1 Cơ sở dữ liệu và các phương thức cơ bản.......................................80
5.9.2. 2 Các giao diện chương trình..............................................................81
5.10. Tống kết chương...........................................................................................86
KẾT LUẬN . ........................................................................................................87
TÀI LIỆU THAM KHẢO.....................................................................................89
Tóm tắt luận văn .................................................................................................90
Abstract ................................................................................................................91
i
LỜI CẢM ƠN
Con xin gửi lời thành kính ñến bố mẹ ñã suốt ñời chăm lo và tiếp thêm sức mạnh
cho con học tập. Xin dành tặng luận văn này cho người mẹ thân yêu và người cha
ñáng kính ñã hết lòng lo cho gia ñình và tận tụy nuôi con ăn học .
Tôi xin ñược gửi lời cảm ơn sâu sắc ñến PGS.TS. Trần ðình Khang. Người ñã
tận tình huớng dẫn, trực tiếp chỉ bảo tôi trong quá trình làm ñồ án tốt nghiệp.
Tôi cũng xin ñược gửi lời cảm ơn tới các thầy cô giáo trong khoa Công nghệ
Thông tin trường ðại học Bách Khoa Hà Nội ñã tận tình giảng dạy, truyền ñạt cho
tôi những kiến thức và kinh nghiệm quý báu trong 2 năm học tập vừa qua.
Và cuối cùng, tôi xin ñược gửi lời cảm ơn tới bạn bè ñồng nghiệp ñã hết lòng
giúp ñỡ, tạo ñiều kiện và ñóng góp ý kiến trong quá trình học tập, nghiên cứu và
hoàn thành ñồ án tốt nghiệp.
Hà Nội, tháng 11/2009
ii
THUẬT NGỮ TIẾNG ANH
DL Logic mô tả (Descripion Logic)
AL Ngôn ngữ thuộc tính (Attributive language)
DL-KRSs Hệ thống mô tả thức dựa trên DL (Knowledge
representation system based on Description Logic)
XML Ngôn ngữ ñánh dấu (eXtensible Markup Language)
NNF Dạng chuẩn bù (Negation Normal Form )
AI Trí tuệ nhân tạo
Terminology Thuật ngữ
Knowledge base Cơ sở tri thức
Assertional (box) Bộ khẳng ñịnh ABox
Terminological (box) Bộ thuật ngữ TBox.
Concept equivalence Tương ñương khái niệm
Concept inclusion Bao hàm khái niệm
(Un)Satisfiability Bài toán không/ thỏa khái niệm.
Disjointness Bài toán khái niệm không giao nhau
Model Mô hình.
DAML Darpa Agent Markup Language
OIL Ontology Interface Layer
RDF Resource Description Framework
RDFS RDF Schema.
iii
DANH MỤC CÁC HÌNH
Hình 1.1. Kiến trúc của hệ thống mô tả tri thức....................................................... 7
Hình 2.1. Minh họa ngữ nghĩa ALC ....................................................................... 13
Hình 2.2. Bộ thuật ngữ TBox với các khái niệm về quan hệ gia ñình ................... 17
Hình 3.1. Luật chuyển về dạng chuẩn phủ ñịnh..................................................... 32
Hình 3.2. Luật lan truyền của bài toán thỏa khái niệm cho ALC........................... 36
Hình 3.3. Nguyên tắc hoạt ñộng của thuật toán tableau......................................... 37
Hình 3.4. Mở rộng thuật toán tableau tới các bài toán và ngôn ngữ khác ............. 46
Hình 4.1. Mạng ngữ nghĩa mô tả ñộng vật............................................................. 52
Hình 4.2. Quan hệ giữa ALC và logic vị từ cấp I có hai biến................................ 56
Hình 4.3 . Hai tài liệu XML mô tả khác hàng và dịch vụ ...................................... 61
Hình 4.4. Phần DTD Service tương ứng với tài liệu XML trong hình 4.3 ............ 61
Hình 4.5. Cây nhị phân tương ứng với tài liệu CML mô tả khách hàng................ 62
Hình 4.6. Phần mã hóa DTDs thành cơ sở tri thức DL .......................................... 63
Hình 5.1. Giao diện màn hình tạo các lớp và ñịnh nghĩa các khái niệm................ 82
Hình 5.2 Giao diện màn hình tạo các thuộc tính cho các lơp................................. 82
Hình 5.3 Giao diện màn hình tạc thể hiện cho các lớp .......................................... 83
Hình 5.4 Chọn bộ suy diễn từ Menu Reasoner của Protégé 4.0............................. 84
Hình 5.5 Ontolgogy sau khi phân loại bằng Pellet................................................. 85
Hình 5.6 Minh họa tìm kiếm cá thể của một lớp.................................................... 86
iv
DANH MỤC CÁC BẢNG
Bảng 2.1. Cú pháp mô tả của ngôn ngữ thuộc tính AL...........................................11
Bảng 2.2. Các cú pháp bổ sung ..............................................................................12
Bảng 2.3 Ngữ nghĩa của các khái niệm họ ngôn ngữ AL ......................................14
Bảng 5.1 Cú pháp tương ứng của DAML+OIL và DLs.........................................73
Bảng 5.2 Các tiên ñề DAML+OIL.........................................................................75
Bảng 5.3 Cú pháp của Protégé 4.0 tương ứng với DLs..........................................80
v
MỞ ðẦU
Lôgic mô tả (DL) là một họ các ngôn ngữ ñược dùng ñể biểu diễn tri thức của
một miền ứng dụng và các suy diễn về nó. Cái tên lôgic mô tả ngụ ý nói ñến các mô
tả về các khái niệm ñược dùng ñể mô tả một miền dựa trên ngữ nghĩa logic.
Logic mô tả có nhiều ứng dụng, ñặc biệt là trong các hệ thống ứng dụng thông
minh. Ngày nay, lôgic mô tả ñã trở thành nền móng của Web ngữ nghĩa (Semantic
Web). Việc sử dụng nó trong các bản thể (Ontology) nhằm mục ñích bổ sung ngữ
nghĩa, tăng khả năng liên kết giữa các trang Web… ñã thu hút ñược sự quan tâm
của rất nhiều nhà nghiên cứu.
Với lòng yêu thích bộ môn khoa học máy tính và ñứng trước một lĩnh vực ñã và
ñang phát triển, tôi ñã chọn ñề tài này. Nhưng do thời gian ngắn ngủi và khả năng
tìm hiểu về logic mô tả còn nhiều hạn chế, trong quá trình thực hiện luận văn, ñề
cương có nhiều chỗ thay ñổi so với trước. Tuy nhiên những thay ñổi này là không
nhiều, chủ yếu ñể ñiều chỉnh tính ñúng ñắn do trước khi tiến hành chọn ñề tài tôi
chưa hiểu rõ và cũng không có một tài liệu nào ñề tìm hiểu; một phần cũng nhằm
giới hạn lại phạm vi nghiên cứu ñể phù hợp với thời gian cho phép.
Về bộ cục, luận văn bao gồm 5 chương. Nhưng nội dung chủ yếu có 2 phần
chính, ñó là : Cơ sở lý thuyết (tổng qua về logic mô tả, bao gồm 4 chương ñầu) và
ứng dụng (trình bày một ứng dụng cụ thể trong chương 5) như sau :
Chương 1: Tổng quan về logic mô tả. Trình bày cơ chế biểu diễn ngôn ngữ ñể
giải quyết nhu cầu của các miền ứng dụng. Trước tiên tập trung vào mối quan hệ
giữa logic mô tả với các hệ thống mạng ngữ nghĩa trước ñây. Sau ñó, trình bày kiến
trúc của một hệ thống mô tả và các dịch vụ suy diễn liên quan.
Chương 2 : Biểu diễn tri thức bằng ngôn ngữ mô tả. Chương này tập trung thảo
luận về ngôn ngữ logic mô tả AL và họ ngôn ngữ mở rộng của nó. Trình bày cú
pháp và ngữ nghĩa của AL và của ngôn ngữ S. Dựa trên kiến trúc của một hệ mô tả
(ñã ñược giới thiệu trong chương 1), chương này ñề cập ñến cơ sở tri thức bên trong
của nó, ñó là bộ thuật ngữ TBox T và bộ khẳng ñịnh ABox A. ðịnh nghĩa các bài
vi
toán suy diễn, các phép biến ñổi tương ñương giữa các bài toán này và mô tả một
vài cách tiếp cận khác nhau ñể giải quyết các bài toán ñó.
Chương 3: Thuật toán suy diễn tableau. Chương này trình bày chi tiết thuật toán
tableau ñể xác ñịnh tính thỏa khái niệm của ngôn ngữ ALC của họ logic mô tả. Lấy
một vài ví dụ minh họa. Tính ñộ phức tạp của thuật toán, và giới thiệu một hệ thống
suy diễn tiêu biểu (FaCT++, Pellet, RACER) dựa trên giải thuật này. Cuối cùng mở
rộng giải thuật tableau tới các bài toán và ngôn ngữ khác.
Chương 4 : Mối quan hệ giữa logic mô tả với các ngôn ngữ hình thái khác .
Chương này trình bày mối quan hệ giữa logic mô tả với các ngôn ngữ hình thái
khác mà không tập trung vào việc chúng có ñược thiết kế ñể mô tả tri thức hay
không ? Chúng ta sẽ tìm hiểu các ngôn ngữ hoặc là (1) có sức ảnh hưởng rất lớn ñến
logic mô tả, hoặc là (2) có quan hệ gần gũi với các bài toán suy diễn , hoặc là (3) có
khả năng biểu diễn giống nhau.
Chương 5: Ứng dụng logic mô tả hỗ trợ công cụ tạo Web ngữ nghĩa. Chương này
trình bày về ứng dụng của logic mô tả và các dịch vụ suy diễn của nó trong việc
thiết kế các Ontology. Trình bày khái quát về Web ngữ nghĩa. Tìm hiểu ngôn ngữ
mô tả SHIQ, DAML+OIL, công cụ tạo Ontology Protégé 4.0 và cuối cùng là triển
khai ứng dụng, ñưa ra một vài kết quả thử nghiệm minh họa.
1
Chương 1 TỔNG QUAN VỀ LOGIC MÔ TẢ
1.1. Giới thiệu.
Biểu diễn tri thức là một lĩnh vực của trí tuệ nhân tạo (AI) tập trung vào việc thiết
kế một cách hình thức ñể mô tả tri thức về một miền ứng dụng bằng cách mô tả ñặc
ñiểm các lớp ñối tượng và các mối quan hệ giữa chúng. Việc tổ chức thành các lớp
dùng ñể mô tả miền ứng dụng dựa trên cấu trúc tuần tự không chỉ mang lại hiệu quả
trong việc biểu diễn thông tin mà còn cho phép công việc suy diễn thực thi một cách
tốt hơn.
Nghiên cứu logic mô tả [1],[4] bao gồm: cơ sở lý thuyết, thực thi các hệ thống
mô tả tri thức và sử dụng các hệ thống này ñể phát triển các ứng dụng trong nhiều
lĩnh vực.
1.1.1. Lịch sử phát triển.
- Năm 1970, tiếp cận lĩnh vực biểu diễn tri thức và áp dụng ñầu tiên vào mạng
ngữ nghĩa (semantic network) và các hệ thống khung (frame systems)[1]. Tuy nhiên,
các hệ thống này không có các ñịnh nghĩa rõ ràng, các công cụ suy diễn chủ yếu
dựa vào chiến lược thực hiện hệ thống. ðến khi hệ thống KL-ONE ra ñời, nó cung
cấp cơ sở logic ñể phiên dịch các lớp ñối tượng (các khái niệm) và các mối quan hệ
(các vai trò) thì hướng tiếp cận mô tả tri thức mới thật sự hình thành.
Ban ñầu, logic mô tả (DL) ñược biết ñến dưới cái tên là “các hệ thống thuật ngữ”
(terminological systems) hoặc là “ngôn ngữ khái niệm” (concept lunguages). Về
sau, khi sự chú ý chuyển hướng vào các tính chất của hệ thống logic thì cái tên
“logic mô tả” (description logic) mới trở nên phố biến.
- Từ năm 1989, hội thảo về logic mô tả ñược duy trì mỗi hai năm một lần. Nhưng
ñến năm 1994 thì ñược tổ chức hằng năm. Và ñến năm 1997, mọi khía cạch về logic
mô tả bao gồm: lý thuyết, sự thực hiện và các ứng dụng ñã ñược ñề xuất ñầy ñủ.
2
1.1.2 Phân loại.
Tiếp cận lĩnh vực biểu diễn tri thức ñược chia ra làm hai loại: Logic hình thức
(suy diễn thông qua phép tính vị từ) và phi logic dựa trên sự mô tả (phát triển trên
cơ sở các khái niệm liên quan ñến nhận thức).
Trong cách tiếp cận thứ nhất, ngôn ngữ mô tả thường là một biến của phép tính
vị từ cấp một (First-Order-Predicate calculus) và suy diễn chung qui là kiểm tra kết
quả logic. Còn cách tiếp cận phi logic thì tri thức ñược biểu diễn bằng ngữ nghĩa
của cấu trúc dữ liệu ñặc biệt, và suy diễn ñược hoàn thành bằng các thủ tục ñặc biệt,
thao tác trên cấu trúc dữ liệu ñó .
Sự phân loại này giúp chúng ta nhận dạng ñược các mạng ngữ nghĩa và các hệ
thống khung. Mặc dù có sự khác nhau giữa hai loại hệ thống này, nhưng cả hai ñều
ñược xem như là các mạng có cấu trúc, ñó là biểu diễn một tập các cá thể và các
mối liên hệ của nó. Vì vậy người ta dùng thuật ngữ “mạng cấu trúc” (network-
based- structures) ñể chỉ các mạng ngữ nghĩa và các hệ thống khung.
Do nhu cầu của con người ngày một nhiều, từ quan ñiểm thực tế cho thấy các
mạng cấu trúc có sức thu hút và tầm ảnh hưởng nhiều hơn các hệ thống logic.
Nhưng chúng không ñủ sức làm thỏa nhu cầu người dùng vì sự thông dụng của nó
thiếu tính ñúng ñắn khi mô tả ngữ nghĩa. Trong nhiều trường hợp hầu như ñồng
nhất các thành phần và thậm chí ñồng nhất tên các quan hệ. Vậy làm thế nào cung
cấp ñược ngữ nghĩa ñể mô tả tri thức trong các mạng cấu trúc?
ðể trả lời cho câu hỏi này, người ta ñã tiến hành khai thác các khái niệm cấu trúc
một cách có thứ tự, cả trong các thuật ngữ không bị ràng buộc về mặt mô tả và các
thuật ngữ có tầm ảnh hưởng ñến khả năng suy diễn.
Cụ thể hơn, ñể nhận dạng ñược một hệ thống mạng ngữ nghĩa, ít nhất là các ñặc
ñiểm ñặc trưng của nó là dựa vào logic vị từ cấp một [Hayes, 1979]. Các thành phần
cơ bản trong mô tả ñược biểu diễn là vị từ một ngôi, biểu thị bằng một tập các cả
thể, và vị từ hai ngôi, biểu thị bằng các mối quan hệ giữa các cá thể.
3
1.1.3. Các bước xây dựng một hệ thống logic mô tả.
Logic mô tả ñược phát triển từ cái gọi là mạng kế thừa cấu trúc (structured
inheritance network)[1], nó ñược ñưa ra chủ yếu nhằm mục ñích khắc phục tính
nhập nhằng tối nghĩa của các hệ thống mạng ngữ nghĩa trước ñây, và ñược thực
hiện lần ñầu tiên trong hệ thống KL-ONE [Brachman và Schmolze, 1985].
ðể xây dựng một hệ thống logic mô tả, thông thường phải thực hiện các bước sau
ñây ([1] trang 45) :
Xây dựng bộ cú pháp cơ bản là các khái niệm nguyên tố, các vai trò nguyên
tố và các cá thể (các thể hiện).
Xây dựng các khái niệm và vai trò phức tạp dựa vào sức mạnh diễn ñạt của
ngôn ngữ mô tả.
Sử dụng các thủ tục suy diễn làm sáng tỏ tri thức tìm ẩn về các khái niệm và
các cá thể. ðặc biệt là quan hệ bao hàm giữa hai khái niệm và thể hiện quan
hệ giữa các cá thể và khái niệm.
1.1.4. ðặc ñiểm của logic mô tả.
ðặc ñiểm tiêu biểu của Logic mô tả là khả năng biểu diễn các loại quan hệ khác
nhau giữa các khác niệm trong một miền ứng dụng mà trong ñó các biểu thức ñược
xây dựng từ các khái niệm nguyên tố và các vai trò nguyên tố. Nó khác với các
ngôn ngữ logic khác ở chỗ, DL ñược trang bị cơ sở logic dựa trên ngữ nghĩa. Do ñó,
các hệ thống biểu diễn tri thức dựa trên DLs cung cấp cho người sử dụng nó các
khả năng suy diễn khác nhau ñể tìm ñược tri thức tìm ẩn từ các tri thức ñược mô tả.
1.1.5. Các miền ứng dụng.
Logic mô tả ngày càng ñược phát triển và ứng dụng rộng rãi trong nhiều hệ thống
ứng dụng ở rất nhiều lĩnh vực. Chúng ta có thể kể ra ñây một vài miền ứng dụng
của nó, chẳng hạn như :
Xây dựng phần mềm (Software engineering).
4
ðây là miền ứng dụng ñầu tiên của Logic mô tả. Ý tưởng cơ bản là dùng DL ñể
thực hiện hệ thống thông tin phần mềm (software infomation system). Một hệ thống
hỗ trợ phát triển phần mềm bằng cách tìm kiếm thông tin trong một hệ thống phần
mềm rộng lớn.
Một trong những ứng dụng mới nhất của logic mô tả là hệ thống LASSIE
[Devambu, 1991], cho phép người dùng khả năng xây dựng, phân loại các khái
niệm có liên quan trong một lĩnh vực ñể viết mã (code) thực thi chúng. Hệ thống
này ñã mang lại thành công to lớn. Tuy nhiên cuối cùng cũng vấp phải nhiều trở
ngại do khó duy trì ñược cơ sở tri thức trong nền công nghệ phần mềm luôn luôn
biến ñổi một cách tự nhiên.
Thiết lập hệ thống (configuration)
Một miền ứng dụng khác cũng rất thành công là xây dựng các ứng dụng dựa trên
tri thức bao gồm nhiều ứng dụng hỗ trợ thiết kế, kiến tạo các hệ thống phức tạp
bằng cách kết nối nhiều thành phần với nhau.
Y khoa.
ðây cũng là một miền ứng dụng ñược các hệ chuyên gia phát triển từ những năm
1980. Tuy nhiên ñộ phức tạp thuộc lĩnh vực này là nguyên nhân dẫn tới sự ña dạng
của các hệ thống mô tả tri thức dựa trên logic mô tả (DL-KRS) [1]. Chẳng hạn, hỗ
trợ ra quyết ñịnh ñể chẩn ñoán y khoa chỉ là một trong nhiều tác vụ mang tính tự
ñộng.
Như cầu giải quyết ñược các cơ sở tri thức rộng lớn có tính co giãn (large – scale
knowledge bases) (có hàng trăm ngàn khái niệm) ñã dẫn ñến sự phát triển các hệ
thống chuyên dùng như hệ thống GALEN [Rector, 1993] chẳng hạn. ðể giải quết
ñược tính giãn nở của tri thức, ngôn ngữ DL trong các ứng dụng này thường bị giới
hạn lại nhằm mục ñích làm ñơn giản hóa vấn ñề (ngôn ngữ chỉ có một vài bộ xây
dựng cơ bản), không có sự phân loại ra thành nhiều mức ñộ khái niệm nhỏ hơn từ
một khái niệm ñỉnh. Tuy nhiên có một vài hệ thống rất hữu dụng trong việc mô tả
cơ sở tri thức thuộc lĩnh vực y khoa như kiến trúc PART-OF. Hơn nữa, các thành
