Nghiên Cứu Phương Pháp Chuyển Đổi Mô Hình Cơ Sở Dữ Liệu Sang Ontology Trong Khoa Học Máy Tính

Nghiên cứu chuyển đổi mô hình cơ sở dữ liệu sang ontology trong khoa học máy tính là một lĩnh vực quan trọng, đặc biệt trong… 159 trang · Đại học Huế · 2021.

• Tác giả: Võ Hoàng Liên Minh
• Người hướng dẫn: PGS. TS Hoàng Quang
• Trường học: Đại học Huế
• Chuyên ngành: Khoa học máy tính
• Đề tài: Nghiên Cứu Phương Pháp Chuyển Đổi Mô Hình Cơ Sở Dữ Liệu Sang Ontology
• Loại tài liệu: Luận án tiến sĩ
• Năm xuất bản: 2021
• Địa điểm: Huế

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• MỤC LỤC
• DANH MỤC CHỮ VIẾT TẮT
• DANH MỤC THUẬT NGỮ
• DANH MỤC KÝ HIỆU
• DANH MỤC HÌNH ẢNH
• DANH MỤC BẢNG BIỂU
• 1. CHƯƠNG 1: TỔNG QUAN VỀ MÔ HÌNH CƠ SỞ DỮ LIỆU MỨC KHÁI NIỆM VÀ ONTOLOGY
• 1.1. Giới thiệu các mô hình cơ sở dữ liệu mức khái niệm
• 1.1.1. Mô hình ER
• 1.1.2. Mô hình ER mở rộng
• 1.1.3. Giới thiệu mô hình TimeER
• 1.1.4. Biểu đồ lớp UML
• 1.2. Giới thiệu về Web ngữ nghĩa và Ontology
• 1.2.1. Ngôn ngữ của ontology
• 1.2.2. Ngôn ngữ OWL
• 1.2.3. Trình soạn thảo ontology
• 1.3. Tổng quan về các nghiên cứu chuyển đổi các mô hình
• 1.3.1. Các kết quả đề xuất chuyển đổi mô hình thực thể - mối quan hệ sang OWL
• 1.3.2. Các kết quả đề xuất chuyển đổi biểu đồ lớp UML sang OWL
• 1.3.3. Các kết quả đề xuất trích xuất mô hình cơ sở dữ liệu mức khái niệm từ OWL
• 1.3.4. Tổng kết chương 1
• 2. CHƯƠNG 2: CHUYỂN ĐỔI MÔ HÌNH THỰC THỂ - MỐI QUAN HỆ SANG OWL
• 2.1. Các nghiên cứu đề xuất trước đây
• 2.1.1. Chuyển đổi tập thực thể
• 2.1.2. Chuyển đổi mối quan hệ kế thừa (Is-A)
• 2.1.3. Chuyển đổi thuộc tính
• 2.1.4. Chuyển đổi mối quan hệ
• 2.2. Các quy tắc chuyển đổi bổ sung
• 2.2.1. Chuyển đổi thực thể yếu và mối quan hệ định danh
• 2.2.2. Chuyển đổi thuộc tính đa trị phức hợp lồng nhau
• 2.2.3. Chuyển đổi mối quan hệ phản xạ
• 2.2.4. Chuyển đổi mô hình TimeER sang OWL
• 2.2.4.1. Tạo ontology ban đầu biểu diễn yếu tố thời gian
• 2.2.4.2. Chuyển đổi tập thực thể có yếu tố thời gian
• 2.2.4.3. Chuyển đổi thuộc tính có yếu tố thời gian
• 2.2.4.4. Chuyển đổi mối quan hệ có yếu tố thời gian
• 2.2.4.5. Chuyển đổi thuộc tính có yếu tố thời gian của mối quan hệ
• 2.3. Kết quả thực nghiệm
• 2.4. Tổng kết chương 2
• 3. CHƯƠNG 3: CHUYỂN ĐỔI BIỂU ĐỒ LỚP UML SANG OWL
• 3.1. Các nghiên cứu trước đây
• 3.1.1. Chuyển đổi lớp
• 3.1.2. Chuyển đổi thuộc tính
• 3.1.3. Chuyển đổi quan hệ giữa các lớp
• 3.2. Các quy tắc chuyển đổi bổ sung
• 3.2.1. Chuyển đổi thuộc tính có cấu trúc
• 3.2.2. Chuyển đổi quan hệ kết hợp phản xạ
• 3.2.3. Chuyển đổi quan hệ kết tập chia sẻ
• 3.2.4. Chuyển đổi quan hệ kết hợp có yếu tố hạn định
• 3.3. Kết quả thực nghiệm
• 3.4. Tổng kết chương 3
• 4. CHƯƠNG 4: TRÍCH XUẤT MÔ HÌNH CƠ SỞ DỮ LIỆU MỨC KHÁI NIỆM TỪ OWL ONTOLOGY
• 4.1. Trích xuất mô hình EER từ OWL
• 4.1.1. Các quy tắc trích xuất đã đề xuất
• 4.1.2. Các quy tắc trích xuất bổ sung
• 4.1.3. Thuật toán trích xuất mô hình EER
• 4.1.4. Ví dụ minh họa
• 4.2. Trích xuất biểu đồ lớp UML từ OWL
• 4.2.1. Trích xuất lớp
• 4.2.2. Trích xuất thuộc tính
• 4.2.3. Trích xuất quan hệ giữa các lớp
• 4.2.4. Ví dụ minh họa
• 4.3. Tổng kết chương 4
• KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
• DANH MỤC CÁC CÔNG TRÌNH KHOA HỌC CỦA TÁC GIẢ
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng Quan Nghiên Cứu Chuyển Đổi Mô Hình Cơ Sở Dữ Liệu

Nghiên cứu chuyển đổi mô hình cơ sở dữ liệu sang ontology trong khoa học máy tính là một lĩnh vực quan trọng, đặc biệt trong bối cảnh semantic web và nhu cầu tích hợp dữ liệu ngày càng tăng. Bài toán này tập trung vào việc ánh xạ cấu trúc và ngữ nghĩa từ các mô hình cơ sở dữ liệu truyền thống (như ER, UML) sang ontology, thường được biểu diễn bằng các ngôn ngữ như OWL (Web Ontology Language) và RDF (Resource Description Framework). Mục tiêu là cho phép máy tính hiểu và xử lý thông tin một cách hiệu quả hơn, hỗ trợ suy luận, lập luận tự động, và tìm kiếm ngữ nghĩa. Việc chuyển đổi mô hình dữ liệu này mở ra nhiều cơ hội cho các ứng dụng trong tích hợp dữ liệu, data warehousing, và knowledge discovery.

1.1. Tại Sao Chuyển Đổi Mô Hình Dữ Liệu Sang Ontology Lại Cần Thiết

Việc chuyển đổi mô hình dữ liệu từ các hệ thống truyền thống sang ontology cho phép tận dụng các ưu điểm của semantic web. Điều này bao gồm khả năng biểu diễn tri thức một cách tường minh, khả năng suy luận dựa trên logic hình thức, và khả năng tích hợp dữ liệu từ nhiều nguồn khác nhau. Theo W3C, gần 70% thông tin trao đổi trên toàn thế giới được cung cấp bởi các trang web. Vì vậy, việc tích hợp các ứng dụng web hiện tại vào semantic web đang trở nên là vấn đề cấp thiết. Từ đó, mô hình hóa tri thức hiệu quả hơn.

1.2. Các Ngôn Ngữ Ontology Phổ Biến OWL và RDF

OWL (Web Ontology Language) và RDF (Resource Description Framework) là hai ngôn ngữ chính được sử dụng để biểu diễn ontology. OWL cung cấp các constructs để định nghĩa các lớp, thuộc tính, và mối quan hệ giữa các đối tượng. RDF là một framework để mô tả các tài nguyên trên web. Cả hai ngôn ngữ này đều hỗ trợ biểu diễn tri thức một cách tường minh và có thể suy luận được. W3C thiết kế OWL là một ngôn ngữ mô tả các lớp, các thuộc tính và các mối quan hệ giữa các đối tượng theo cách mà máy có thể hiểu được nội dung web.

II. Vấn Đề Thách Thức Trong Chuyển Đổi Mô Hình Dữ Liệu

Quá trình chuyển đổi mô hình cơ sở dữ liệu sang ontology không phải lúc nào cũng đơn giản. Một số thách thức chính bao gồm sự khác biệt về biểu diễn dữ liệu, ngữ nghĩa, và khả năng suy luận giữa các mô hình cơ sở dữ liệu truyền thống và ontology. Việc ánh xạ dữ liệu từ các cấu trúc dữ liệu quan hệ sang biểu diễn tri thức trong ontology có thể phức tạp, đặc biệt khi xử lý các ràng buộc phức tạp và các mối quan hệ nhiều-nhiều. Ngoài ra, đảm bảo chất lượng ontology và tính nhất quán của dữ liệu sau khi chuyển đổi là một thách thức lớn.

2.1. Sự Khác Biệt Giữa Mô Hình Dữ Liệu Quan Hệ và Ontology

Các mô hình cơ sở dữ liệu quan hệ thường tập trung vào cấu trúc dữ liệu và tính toàn vẹn, trong khi ontology tập trung vào biểu diễn tri thức và suy luận. Sự khác biệt này đòi hỏi các phương pháp ánh xạ dữ liệu cẩn thận để đảm bảo rằng thông tin được chuyển đổi một cách chính xác và đầy đủ. Việc thiết kế cơ sở dữ liệu cho các ứng dụng hiện tại thường được thiết kế từ mô hình dữ liệu mức khái niệm, trong khi web ngữ nghĩa lại chủ yếu được xây dựng trên các ontology được biểu diễn bằng OWL.

2.2. Duy Trì Chất Lượng và Tính Nhất Quán Của Ontology

Đảm bảo chất lượng ontology là rất quan trọng để đảm bảo tính chính xác và tin cậy của thông tin được biểu diễn. Điều này bao gồm việc kiểm tra tính nhất quán, tính đầy đủ, và tính phù hợp của ontology. Các công cụ ontology như Protégé và TopBraid Composer có thể được sử dụng để hỗ trợ quá trình này. Vì vậy, việc nâng cấp một hệ thống thông tin bằng cách chuyển đổi các mô hình cơ sở dữ liệu mức khái niệm sang ontology cho phép kế thừa các cấu trúc dữ liệu trên các hệ thống cũ nhằm giảm chi phí trong việc thiết kế là có ý nghĩa khoa học và ứng dụng thực tiễn.

III. Phương Pháp Chuyển Đổi Mô Hình ER Sang Ontology OWL

Việc chuyển đổi mô hình thực thể - mối quan hệ (ER) sang ontology OWL là một phương pháp phổ biến để tích hợp dữ liệu từ các hệ thống cơ sở dữ liệu truyền thống vào semantic web. Các phương pháp chuyển đổi thường bao gồm việc ánh xạ các thực thể thành các lớp trong ontology, các thuộc tính thành các thuộc tính dữ liệu, và các mối quan hệ thành các thuộc tính đối tượng. Các quy tắc ánh xạ có thể được định nghĩa để tự động hóa quá trình chuyển đổi, nhưng việc điều chỉnh thủ công có thể cần thiết để đảm bảo tính chính xác và đầy đủ.

3.1. Ánh Xạ Thực Thể Thuộc Tính và Mối Quan Hệ trong Mô Hình ER

Các thực thể trong mô hình ER được ánh xạ thành các lớp trong ontology. Các thuộc tính của thực thể được ánh xạ thành các thuộc tính dữ liệu của lớp tương ứng. Các mối quan hệ giữa các thực thể được ánh xạ thành các thuộc tính đối tượng, cho phép liên kết các đối tượng từ các lớp khác nhau. Kế thừa các quy tắc chuyển đổi từ mô hình ER sang OWL ontology đã đề xuất như chuyển đổi tập thực thể, thuộc tính và mối quan hệ, từ đó luận án đã đề xuất bổ sung các quy tắc chuyển đổi phân lớp chồng lấp, tổng quát hợp nhất, thuộc tính đa trị phức hợp lồng nhau, quan hệ phản xạ.

3.2. Xử Lý Các Ràng Buộc và Cardinality trong Mô Hình ER

Các ràng buộc và cardinality trong mô hình ER cần được ánh xạ một cách chính xác để đảm bảo tính toàn vẹn của dữ liệu sau khi chuyển đổi. Ví dụ, các mối quan hệ một-nhiều có thể được biểu diễn bằng cách sử dụng các thuộc tính đối tượng với cardinality tương ứng trong ontology. Việc sử dụng các constructs của OWL như owl:FunctionalProperty và owl:InverseFunctionalProperty có thể giúp đảm bảo tính nhất quán của dữ liệu.

IV. Hướng Dẫn Chuyển Đổi Biểu Đồ Lớp UML Sang Ontology OWL

Tương tự như mô hình ER, biểu đồ lớp UML cũng có thể được chuyển đổi sang ontology OWL. Quá trình chuyển đổi bao gồm việc ánh xạ các lớp UML thành các lớp trong ontology, các thuộc tính thành các thuộc tính dữ liệu, và các mối quan hệ (association, aggregation, composition) thành các thuộc tính đối tượng. Một số công cụ hỗ trợ tự động hóa quá trình chuyển đổi, nhưng việc điều chỉnh thủ công có thể cần thiết để đảm bảo tính chính xác và đầy đủ.

4.1. Ánh Xạ Lớp Thuộc Tính và Quan Hệ Giữa Các Lớp trong UML

Các lớp trong biểu đồ lớp UML được ánh xạ thành các lớp trong ontology. Các thuộc tính của lớp được ánh xạ thành các thuộc tính dữ liệu của lớp tương ứng. Các mối quan hệ giữa các lớp được ánh xạ thành các thuộc tính đối tượng, cho phép liên kết các đối tượng từ các lớp khác nhau. Chương 3 tổng hợp và phân tích kết quả chuyển đổi giữa biểu đồ lớp UML và OWL ontology của một số công trình nghiên cứu, quy tắc hóa thống nhất các quy tắc chuyển đổi theo quy ước của luận án; đề xuất bổ sung các quy tắc chuyển đổi một biểu đồ lớp UML sang OWL ontology dựa vào các đặc điểm tương đồng giữa biểu đồ lớp UML và OWL ontology; kết quả thực nghiệm cũng được kiểm chứng trên Protégé và các bộ suy luận.

4.2. Xử Lý Các Ràng Buộc và Cardinality trong Biểu Đồ Lớp UML

Các ràng buộc và cardinality trong biểu đồ lớp UML cần được ánh xạ một cách chính xác để đảm bảo tính toàn vẹn của dữ liệu sau khi chuyển đổi. Ví dụ, các mối quan hệ aggregation và composition có thể được biểu diễn bằng cách sử dụng các thuộc tính đối tượng với cardinality tương ứng trong ontology. Các ràng buộc OCL (Object Constraint Language) có thể được chuyển đổi thành các axioms trong ontology để đảm bảo tính nhất quán.

V. Ứng Dụng Thực Tế và Kết Quả Nghiên Cứu Chuyển Đổi Ontology

Các phương pháp chuyển đổi mô hình cơ sở dữ liệu sang ontology có nhiều ứng dụng thực tế trong các lĩnh vực như xử lý ngôn ngữ tự nhiên (NLP), information retrieval, và knowledge discovery. Ví dụ, ontology có thể được sử dụng để biểu diễn tri thức trong một lĩnh vực cụ thể, cho phép máy tính hiểu và xử lý thông tin một cách hiệu quả hơn. Các kết quả nghiên cứu trong lĩnh vực này đã chứng minh tính khả thi và hiệu quả của việc chuyển đổi mô hình dữ liệu sang ontology.

5.1. Ứng Dụng Ontology Trong Tìm Kiếm Thông Tin Ngữ Nghĩa

Ontology có thể được sử dụng để cải thiện khả năng tìm kiếm thông tin bằng cách cho phép máy tính hiểu ngữ nghĩa của các truy vấn và tài liệu. Ví dụ, một ontology về lĩnh vực y tế có thể được sử dụng để tìm kiếm các tài liệu liên quan đến một bệnh cụ thể, ngay cả khi các tài liệu đó không chứa chính xác các từ khóa trong truy vấn.

5.2. Ontology và Khai Phá Tri Thức Từ Dữ Liệu Knowledge Discovery

Ontology có thể được sử dụng để hỗ trợ quá trình khai phá tri thức từ dữ liệu bằng cách cung cấp một khung ngữ nghĩa để biểu diễn và phân tích dữ liệu. Ví dụ, một ontology về lĩnh vực tài chính có thể được sử dụng để phát hiện các mô hình và xu hướng trong dữ liệu giao dịch tài chính.

VI. Kết Luận Hướng Phát Triển Tương Lai Của Chuyển Đổi

Nghiên cứu chuyển đổi mô hình cơ sở dữ liệu sang ontology là một lĩnh vực quan trọng và đang phát triển nhanh chóng. Các phương pháp chuyển đổi đã được đề xuất và áp dụng trong nhiều ứng dụng thực tế. Tuy nhiên, vẫn còn nhiều thách thức cần được giải quyết, chẳng hạn như việc tự động hóa quá trình chuyển đổi và đảm bảo chất lượng ontology. Hướng phát triển tương lai của lĩnh vực này bao gồm việc phát triển các phương pháp chuyển đổi hiệu quả hơn, hỗ trợ các loại mô hình cơ sở dữ liệu khác nhau, và tích hợp học máy để tự động hóa quá trình ánh xạ dữ liệu.

6.1. Tự Động Hóa Quá Trình Chuyển Đổi Dữ Liệu sang Ontology

Tự động hóa quá trình chuyển đổi dữ liệu từ các mô hình cơ sở dữ liệu truyền thống sang ontology là một hướng phát triển quan trọng. Điều này có thể được thực hiện bằng cách sử dụng các thuật toán học máy để tự động phát hiện các ánh xạ giữa các cấu trúc dữ liệu khác nhau.

6.2. Tích Hợp Học Máy Machine Learning Để Cải Thiện Chuyển Đổi

Việc tích hợp học máy vào quá trình chuyển đổi dữ liệu có thể giúp cải thiện tính chính xác và hiệu quả của quá trình này. Ví dụ, các thuật toán học máy có thể được sử dụng để dự đoán các ánh xạ giữa các cấu trúc dữ liệu khác nhau, hoặc để phát hiện các lỗi trong ontology.

Nội dung chính

Tổng quan luận án

Đề tài luận án tiến sĩ "Nghiên cứu phương pháp chuyển đổi giữa mô hình mức khái niệm và Ontology" do nghiên cứu sinh Võ Hoàng Liên Minh thực hiện thuộc ngành Khoa học máy tính (mã ngành: 9.01), dưới sự hướng dẫn khoa học của PGS. TS Hoàng Hữu Hạnh tại Trường Đại học Khoa học – Đại học Huế (năm 2021).

Tính cấp thiết và khoảng trống nghiên cứu

Trong quy trình phát triển phần mềm theo kiến trúc hướng mô hình (Model Driven Architecture - MDA), các hệ thống thông tin truyền thống chủ yếu được phân tích và thiết kế ở mức khái niệm thông qua mô hình thực thể - mối quan hệ (ER), mô hình thực thể - mối quan hệ mở rộng (EER) hoặc biểu đồ lớp UML (Unified Modeling Language). Dữ liệu sau đó được ánh xạ và lưu trữ trong các hệ quản trị cơ sở dữ liệu quan hệ hoặc hướng đối tượng.

Sự phát triển của Web ngữ nghĩa (Semantic Web) đòi hỏi dữ liệu và tri thức phải được biểu diễn hình thức bằng ngôn ngữ bản thể học (Ontology), cụ thể là chuẩn Web Ontology Language (OWL/OWL2) do W3C khuyến nghị, nhằm giúp máy tính có thể hiểu, suy luận và xử lý tự động. Để tích hợp và nâng cấp các hệ thống thông tin sẵn có lên nền tảng Web ngữ nghĩa, giải pháp hiệu quả là tái sử dụng các mô hình khái niệm đã có thông qua các quy tắc chuyển đổi ngữ nghĩa sang OWL.

Tuy nhiên, các công trình công bố trước đây chỉ tập trung vào các trường hợp chuyển đổi cơ bản, bỏ qua nhiều thành phần phức tạp trong thực tế như: thuộc tính đa trị phức hợp lồng nhau, tập thực thể yếu và mối quan hệ định danh, các dạng quan hệ phản xạ phân loại, yếu tố thời gian (TimeER), cũng như các thuộc tính có cấu trúc, quan hệ kết tập chia sẻ hay quan hệ hạn định trong UML. Đồng thời, bài toán trích xuất ngược mô hình dữ liệu mức khái niệm từ OWL ontology cũng chưa được giải quyết toàn diện.

Mục tiêu nghiên cứu

Luận án xác định mục tiêu tổng quát là nghiên cứu và phát triển các phương pháp chuyển đổi hai chiều giữa mô hình dữ liệu mức khái niệm và ngôn ngữ OWL. Mục tiêu cụ thể được đánh số trong văn bản gồm:

1. Chuyển đổi mô hình thực thể - mối quan hệ (ER/EER/TimeER) sang OWL ontology.
2. Chuyển đổi biểu đồ lớp UML sang OWL ontology.
3. Trích xuất mô hình dữ liệu mức khái niệm từ OWL ontology.

Đối tượng và phạm vi nghiên cứu

• Đối tượng nghiên cứu: Các mô hình dữ liệu mức khái niệm (mô hình ER, mô hình EER, mô hình TimeER, biểu đồ lớp UML) và ngôn ngữ biểu diễn tri thức Web ngữ nghĩa OWL/OWL2.
• Phạm vi nghiên cứu:
  • Về lý thuyết: Xây dựng tập quy tắc ánh xạ ngữ nghĩa hai chiều (chuyển đổi xuôi và trích xuất ngược) giữa các cấu trúc mô hình khái niệm và OWL2.
  • Về thực nghiệm: Cài đặt các thuật toán chuyển đổi, kiểm chứng tính khả thi và tính nhất quán ngữ nghĩa bằng công cụ Protégé, công cụ trực quan hóa OntoGraf và các bộ suy luận tự động (như HermiT 1.3.8) trên các tập dữ liệu mẫu chuẩn (mô hình Elmasri, ứng dụng Purchase Order Application, mô hình thư mục trích dẫn).

---

Tổng quan tài liệu và vị trí của luận án

Luận án đã tổng hợp và phân loại các công trình nghiên cứu trong nước và quốc tế liên quan đến ba hướng tiếp cận chính:

1. Các nghiên cứu chuyển đổi mô hình ER/EER sang OWL

• R. Kumar (2015) [6]: Đề xuất chuyển đổi mô hình EER sang OWL dựa trên việc ánh xạ tập thực thể, thuộc tính và ràng buộc cấu trúc; tuy nhiên chưa xử lý thuộc tính đa trị, coi thuộc tính phức hợp như một lớp mới làm phát sinh thêm thuộc tính đối tượng, và chưa phân biệt cơ chế chuyển đổi giữa thực thể mạnh và thực thể yếu ngoại trừ việc gán ràng buộc bản số bằng 1.
• M. Fahad (2008) [7]: Xây dựng tập quy tắc chuyển đổi ER sang OWL, đề cập đến quan hệ Is-A và quan hệ phản xạ; tuy nhiên chưa phân loại quan hệ phản xạ và gặp lỗi khi gán tính chất hàm nghịch đảo (inverse-functional) cho thuộc tính kiểu dữ liệu (Data property), vốn là điều không hợp lệ trong cú pháp OWL.
• Myroshnichenko và cộng sự (2016) [8]: Đề xuất giải pháp ánh xạ tự động ER sang OWL Lite; chuyển đổi thuộc tính phức hợp thành lớp mới nhưng giả định sự tồn tại của thuộc tính khóa phức hợp (không có trong thực tế) và chưa áp dụng trên mô hình EER.
• Ashok và cộng sự (2014) [9]: Đề xuất ánh xạ mô hình ER sang OWL-S để mô tả dịch vụ web ngữ nghĩa, nhưng mới dừng lại ở mức khảo sát sơ lược.
• Pasapitch Chujai (2013) [10]: Nghiên cứu xây dựng OWL từ cơ sở dữ liệu quan hệ dựa trên mô hình ER bằng phần mềm Protégé, nhưng chưa bao phủ hết các trường hợp mở rộng của EER.

2. Các nghiên cứu chuyển đổi biểu đồ lớp UML sang OWL

• Dragan Gašević và cộng sự (2007) [11], [12]: Ứng dụng kiến trúc MDA và hồ sơ UML Ontology (OUP), sử dụng công cụ Poseidon xuất ra tài liệu XMI và xử lý qua XSLT để thu được OWL, nhưng thiếu quy tắc biến đổi cụ thể cho từng trường hợp biên.
• Sara Brockmans và cộng sự (2006) [13], [14]: Đề xuất MOF-base UML Profile cho OWL DL và OWL Full.
• David de Almeida Ferreira và Alberto Manuel Rodrigues da Silva (2009) [15]: Phân tích khả năng mô hình hóa ontology bằng các công cụ UML CASE qua quy trình XMI/XSLT.
• Noreddine Gherabi và Mohamed Bahaj (2012) [16]: Sử dụng mô hình toán học để chuyển đổi UML sang OWL nhưng bỏ sót các trường hợp thuộc tính có cấu trúc, quan hệ kết hợp có lớp kết hợp.
• Belghiat và cộng sự (2012) [17]: Tiếp cận bằng mô hình Meta-model và đồ thị ngữ pháp.
• Imants Zarembo và Sergejs Kodors (2013) [18]: Chuyển đổi tự động OWL2 từ sơ đồ lớp UML ISO 19103, chỉ ra các xung đột ngữ nghĩa nhưng mới áp dụng cho các cấu trúc cơ bản.
• Jesper Zedlitz và cộng sự (2012) [19], [20], [21]: Phân tích sự khác biệt giữa UML và OWL2 bằng ngôn ngữ chuyển đổi mô hình OMG QVT; tuy nhiên chưa giải quyết quan hệ kết tập, đa kế thừa, kiểu dữ liệu phức hợp và lớp kết hợp.
• Oussama và cộng sự (2017) [22]: Đề xuất quy trình chuyển đổi tự động bảo toàn ngữ nghĩa cho nhiều thành phần UML, nhưng vẫn chưa xét đến thuộc tính có kiểu dữ liệu là lớp, quan hệ kết hợp có lớp kết hợp và các dạng quan hệ đệ quy chi tiết.

3. Các nghiên cứu trích xuất mô hình cơ sở dữ liệu mức khái niệm từ OWL

• Sikha Bagui (2009) [24]: Xây dựng 11 quy tắc ánh xạ các thành phần OWL1 thành mô hình ER/EER; bỏ qua các cấu trúc thuộc tính phức hợp, quan hệ phản xạ và các đặc tả mới trong OWL2.
• Olegas Vasilecas và cộng sự (2012) [25]: Đưa ra bảng đối sánh sơ bộ giữa ontology và mô hình khái niệm nhưng chưa chi tiết hóa thành quy tắc thuật toán.

Khoảng trống nghiên cứu được luận án giải quyết

Luận án tập trung giải quyết các thành phần bị thiếu hụt trong các nghiên cứu trước, bao gồm:

1. Mô hình EER: Phân lớp chồng lấp (overlap), chuyên biệt hóa/tổng quát hóa, thuộc tính đa trị phức hợp lồng nhau, thực thể yếu, phân loại quan hệ phản xạ (đối xứng, bất đối xứng, có/không có thuộc tính), và mô hình thời gian TimeER.
2. Biểu đồ lớp UML: Thuộc tính có cấu trúc, thuộc tính có kiểu dữ liệu là lớp, quan hệ kết hợp có lớp kết hợp, quan hệ kết hợp phản xạ, quan hệ kết tập chia sẻ, quan hệ kết hợp có yếu tố hạn định và quan hệ phụ thuộc.
3. Trích xuất ngược: Xây dựng thuật toán và các quy tắc nhận dạng đầy đủ từ OWL ontology sang mô hình EER và biểu đồ lớp UML.

---

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khung phân tích

Luận án dựa trên các nền tảng lý thuyết và chuẩn công nghệ chính sau:

• Mô hình ER/EER (Peter Chen, 1976; Ramez Elmasri): Tập thực thể (mạnh/yếu), thuộc tính (đơn, phức hợp, đơn trị, đa trị, khóa, khóa bộ phận), mối quan hệ (nhị nguyên, đa nguyên, phản xạ, Is-a, định danh), bản số tham gia (tối thiểu, tối đa). Các ràng buộc chuyên biệt hóa/tổng quát hóa gồm tính đầy đủ (toàn phần/riêng phần) và tính phân ly (phân ly - disjoint / chồng lấp - overlap).
• Mô hình TimeER: Mở rộng mô hình ER để quản lý thông tin có yếu tố thời gian gồm: Thời gian sống (LifeSpan - LS), Thời gian hợp lệ (Valid Time - VT), Thời gian giao tác (Transaction Time - TT), Thời gian sống và giao tác (LT), Thời gian hợp lệ và giao tác (BiTemporal - BT).
• Biểu đồ lớp UML: Lớp đối tượng, các mức độ truy cập (Public +, Private -, Protected #), bản số (lượng số), quan hệ kết hợp (Association), quan hệ kết tập thông thường (Aggregation), quan hệ kết tập chia sẻ (Shared Aggregation), quan hệ kết tập hợp thành (Composition), quan hệ tổng quát hóa (Generalization) và quan hệ phụ thuộc (Dependency).
• Web ngữ nghĩa và Ngôn ngữ OWL2:
  • Mô hình bộ ba RDF Triple: Chủ thể (Subject), Vị từ (Predicate), Đối tượng (Object). Lược đồ RDFS mở rộng.
  • Phân loại OWL: OWL Lite, OWL DL (Description Logic), OWL Full.
  • OWL2: Cung cấp các cấu trúc biểu diễn lớp (owl:Class, owl:disjointWith, owl:equivalentClass, owl:unionOf, owl:intersectionOf), thuộc tính kiểu dữ liệu (owl:DatatypeProperty), thuộc tính đối tượng (owl:ObjectProperty), và các đặc tính vị từ (owl:TransitiveProperty, owl:SymmetricProperty, owl:FunctionalProperty, owl:InverseFunctionalProperty, owl:InverseOf, AsymmetricObjectProperty, ReflexiveObjectProperty, IrreflexiveObjectProperty).
  • Các ràng buộc cục bộ (owl:Restriction): owl:someValuesFrom, owl:allValuesFrom, owl:hasValue, owl:cardinality, owl:minQualifiedCardinality, owl:maxQualifiedCardinality.

Ngôn ngữ / Mô hình	Giả thiết thế giới	Giả thiết tên	Không gian định danh thuộc tính	Cơ chế truy cập & Phương thức
UML	Thế giới đóng (CWA)	Tên duy nhất (UNA)	Cục bộ theo lớp/gói	Có (Public, Private, Protected; Operations)
EER	Thế giới đóng (CWA)	Tên duy nhất (UNA)	Cục bộ theo thực thể	Không có phương thức
OWL2	Thế giới mở (OWA)	Không mặc định UNA	Toàn cục (rdfs:domain, rdfs:range)	Không hỗ trợ kiểm soát truy cập & phương thức

Phương pháp nghiên cứu

• Phương pháp nghiên cứu lý thuyết: Phân tích, tổng hợp tài liệu học thuật; so sánh ngữ nghĩa hình thức giữa mô hình dữ liệu mức khái niệm và Description Logic trong OWL2; thiết lập các quy tắc ánh xạ và xây dựng thuật toán trích xuất ngược.
• Phương pháp thực nghiệm: Lập trình cài đặt các thuật toán chuyển đổi và trích xuất bằng ngôn ngữ lập trình; chuyển đổi các mô hình thử nghiệm sang tài liệu định dạng XML/OWL; nhập vào phần mềm Protégé; sử dụng bộ suy luận tự động HermiT để kiểm tra tính nhất quán (consistency), tính thỏa được (satisfiability) và phân cấp lớp suy diễn.
• Nguồn dữ liệu thực nghiệm: Mô hình EER Elmasri chuẩn, lược đồ ứng dụng Purchase Order Application, và mô hình dữ liệu thư mục trích dẫn (Citation Metadata).

---

Nội dung chính theo từng chương

Chương 1: Tổng quan về mô hình cơ sở dữ liệu mức khái niệm và ontology

Chương 1 hệ thống hóa cơ sở lý thuyết về các mô hình CSDL mức khái niệm (ER, EER, TimeER, Biểu đồ lớp UML), công nghệ Web ngữ nghĩa, các chuẩn ngôn ngữ RDF, RDFS, OWL, OWL2 và công cụ biên soạn Protégé. Chương này phân tích chi tiết sự tương đồng và khác biệt về mặt bản chất ngữ nghĩa giữa mô hình khái niệm và OWL.

Luận án tổng hợp bảng đối sánh các bản số trong UML và các cấu trúc cú pháp của OWL:

Bản số trong UML	Diễn giải ý nghĩa	Cú pháp ràng buộc tương ứng trong OWL
0..* (hoặc *)	Từ không đến nhiều (tùy chọn)	Không áp dụng ràng buộc số lượng tối thiểu
1..*	Từ một đến nhiều (bắt buộc)	owl:minQualifiedCardinality = 1 (hoặc owl:someValuesFrom)
0..1	Không hoặc một (đơn trị tùy chọn)	owl:maxQualifiedCardinality = 1
1 (hoặc 1..1)	Đúng một (đơn trị bắt buộc)	owl:qualifiedCardinality = 1 (hoặc kết hợp min=1 và max=1)

Về cú pháp lớp và thuộc tính đối tượng trong OWL2, chương 1 trình bày các bảng quy chuẩn:

• Cú pháp áp dụng cho lớp: owl:Thing ($\top$), owl:Nothing ($\bot$), owl:oneOf (lớp liệt kê), rdfs:subClassOf ($A \sqsubseteq B$), owl:equivalentClass ($A \equiv B$), owl:intersectionOf ($A \sqcap B$), owl:unionOf ($A \sqcup B$), owl:disjointWith ($A \sqcap B \equiv \bot$).
• Đặc tính thuộc tính đối tượng: owl:TransitiveProperty (bắc cầu), owl:SymmetricProperty (đối xứng), owl:FunctionalProperty (hàm), owl:InverseFunctionalProperty (hàm nghịch đảo), owl:InverseOf (nghịch đảo), AsymmetricObjectProperty (không đối xứng), ReflexiveObjectProperty (phản xạ), IrreflexiveObjectProperty (không phản xạ).

Phần cuối chương 1 khảo sát chi tiết các công trình của R. Kumar, M. Fahad, Myroshnichenko, Gašević, Zedlitz, Oussama, Bagui,... chỉ rõ các điểm hạn chế để làm định hướng bổ sung quy tắc cho các chương tiếp theo.

---

Chương 2: Chuyển đổi mô hình thực thể - mối quan hệ sang OWL

Chương 2 quy tắc hóa các chuyển đổi cơ bản và đề xuất các tập quy tắc bổ sung để chuyển đổi toàn diện mô hình EER và mô hình TimeER sang OWL2 ontology.

Tập quy tắc chuyển đổi mô hình EER và TimeER sang OWL2:

Các quy tắc chuyển đổi bổ sung cụ thể:

1. Tập thực thể yếu và mối quan hệ định danh: Chuyển đổi tập thực thể yếu $W$ thành lớp $C(W)$, quan hệ định danh thành thuộc tính đối tượng với ràng buộc bản số chính xác tham gia vào thực thể chủ; khóa bộ phận kết hợp với thuộc tính đối tượng định danh để xác định tính duy nhất.
2. Thuộc tính đa trị phức hợp lồng nhau: Được chuyển đổi bằng cách tạo một lớp phụ trợ đại diện cho cấu trúc phức hợp, kết nối với lớp thực thể cha bằng thuộc tính đối tượng, và ánh xạ các thuộc tính thành phần thành các thuộc tính dữ liệu của lớp phụ trợ đó.
3. Mối quan hệ phản xạ: Phân loại rõ thành quan hệ phản xạ đối xứng (sử dụng SymmetricObjectProperty) và bất đối xứng (sử dụng AsymmetricObjectProperty), có hoặc không có thuộc tính đi kèm.
4. Mô hình TimeER: Xây dựng ontology thời gian cơ sở để ánh xạ các thuộc tính thời gian hợp lệ (VT), thời gian giao tác (TT), thời gian sống (LS) của thực thể và mối quan hệ thành các thuộc tính dữ liệu kiểu thời gian (xsd:dateTime) hoặc lớp khoảng thời gian liên kết qua thuộc tính đối tượng:

Yếu tố thời gian trong TimeER	Ký hiệu	Thuộc tính thời gian ánh xạ sang OWL
Thời gian sống	LS	hasLifeSpanStart (LSs), hasLifeSpanEnd (LSe)
Thời gian hợp lệ	VT	hasValidTimeStart (VTs), hasValidTimeEnd (VTe)
Thời gian giao tác	TT	hasTransactionTimeStart (TTs), hasTransactionTimeEnd (TTe)
Thời gian sống & giao tác	LT	Kết hợp bộ thuộc tính của LS và TT
Thời gian hai chiều	BT	Kết hợp bộ thuộc tính của VT và TT

Chương 2 trình bày kết quả thực nghiệm chuyển đổi lược đồ EER Elmasri và mô hình thư mục trích dẫn. Ontology đầu ra được kiểm chứng trên Protégé và suy luận tính nhất quán bằng bộ suy luận HermiT 1.3.8.

---

Chương 3: Chuyển đổi biểu đồ lớp UML sang OWL

Chương 3 xây dựng các quy tắc ánh xạ từ biểu đồ lớp UML sang OWL2, giải quyết các trường hợp phức tạp trong mô hình hóa hướng đối tượng.

Nội dung quy tắc hóa và bổ sung:

• Lớp và thuộc tính: Mỗi lớp UML $U$ ánh xạ thành một owl:Class $C(U)$. Thuộc tính đơn trị kiểu nguyên thủy ánh xạ thành owl:DatatypeProperty. Thuộc tính kiểu liệt kê (Enumeration) ánh xạ thành lớp với cú pháp owl:oneOf.
• Thuộc tính có cấu trúc (Structured Attribute): Chuyển đổi thành một lớp trung gian trong OWL, lớp sở hữu liên kết với lớp trung gian qua thuộc tính đối tượng, các thành phần con chuyển thành thuộc tính dữ liệu của lớp trung gian.
• Thuộc tính có kiểu dữ liệu là lớp: Ánh xạ trực tiếp thành thuộc tính đối tượng owl:ObjectProperty trỏ từ lớp nguồn tới lớp kiểu dữ liệu.
• Quan hệ kết hợp có lớp kết hợp (Association Class): Chuyển đổi lớp kết hợp thành một lớp trong OWL, đồng thời tạo hai thuộc tính đối tượng hai chiều nối lớp kết hợp tới hai lớp tham gia với ràng buộc bản số tương ứng.
• Quan hệ kết hợp phản xạ/đệ quy: Phân loại thành quan hệ phản xạ đối xứng (SymmetricObjectProperty) và bất đối xứng (AsymmetricObjectProperty).
• Quan hệ kết tập chia sẻ (Shared Aggregation): Ánh xạ thành thuộc tính đối tượng nhưng không ràng buộc tính độc quyền cá thể của phần bộ phận đối với phần tổng thể.
• Quan hệ kết hợp có yếu tố hạn định (Qualified Association): Yếu tố hạn định $Q$ được chuyển đổi thành thuộc tính dữ liệu xác định phân định trong quan hệ kết hợp giữa lớp tổng thể và lớp bộ phận.
• Quan hệ phụ thuộc (Dependency): Biểu diễn bằng thuộc tính đối tượng giữa lớp phụ thuộc và lớp độc lập nhằm duy trì liên kết ngữ nghĩa.

Thực nghiệm được thực hiện trên biểu đồ lớp UML của ứng dụng Purchase Order Application và mô hình Elmasri, trực quan hóa cây phân cấp và đồ thị quan hệ qua OntoGraf, kiểm tra suy luận bằng HermiT.

---

Chương 4: Trích xuất mô hình cơ sở dữ liệu mức khái niệm từ OWL Ontology

Chương 4 giải quyết bài toán ánh xạ ngược: tái tạo mô hình dữ liệu mức khái niệm (mô hình EER và biểu đồ lớp UML) từ một OWL ontology cho trước.

Quy trình trích xuất mô hình khái niệm từ OWL2 Ontology:

Chi tiết các thuật toán trích xuất:

1. Thuật toán trích xuất mô hình EER từ OWL:
   • Quét danh sách các owl:Class để tạo các tập thực thể.
   • Nhận diện các lớp phụ trợ (lớp không có khóa riêng, chỉ liên kết qua ObjectProperty) để tái tạo thành thuộc tính đa trị hoặc thuộc tính phức hợp.
   • Phân tích các phát biểu rdfs:subClassOf kết hợp với owl:disjointWith để xác định cấu trúc chuyên biệt hóa phân ly (disjoint) hoặc chồng lấp (overlap).
   • Phân tích các thuộc tính đối tượng có miền xác định và phạm vi giống nhau (Domain = Range) để trích xuất thành quan hệ phản xạ đối xứng hoặc bất đối xứng.
2. Thuật toán trích xuất biểu đồ lớp UML từ OWL:
   • Chuyển đổi các owl:Class thành các lớp UML.
   • Trích xuất các thuộc tính dữ liệu thành danh sách thuộc tính của lớp.
   • Trích xuất các thuộc tính đối tượng thành các đường quan hệ kết hợp, quan hệ kết tập hoặc quan hệ phụ thuộc dựa trên các tiên đề ràng buộc bản số.
   • Nhận diện quan hệ kế thừa đơn và kế thừa bội từ các tiên đề rdfs:subClassOf.

Các ví dụ minh họa và sơ đồ cây phân tích quyết định trích xuất được cung cấp chi tiết, chứng minh thuật toán có thể tái tạo chính xác mô hình khái niệm gốc từ tập tin OWL2.

---

Kết quả và những đóng góp mới

Luận án đã đạt được các kết quả khoa học cụ thể, được tác giả tổng kết ở phần đóng góp mới:

1. Về chuyển đổi từ mô hình ER/EER sang OWL ontology:

   • Kế thừa và chuẩn hóa các quy tắc chuyển đổi tập thực thể, thuộc tính và mối quan hệ; khắc phục các sai sót cú pháp của các nghiên cứu trước (như việc áp đặt sai tính chất nghịch đảo cho thuộc tính kiểu dữ liệu).
   • Đề xuất bổ sung các quy tắc chuyển đổi: phân lớp chồng lấp (overlap), tổng quát hợp nhất, thực thể yếu kèm mối quan hệ định danh, thuộc tính đa trị phức hợp lồng nhau, và các dạng quan hệ phản xạ (đối xứng và bất đối xứng).
   • Xây dựng phương pháp chuyển đổi hoàn chỉnh cho mô hình có yếu tố thời gian TimeER sang OWL ontology, bao gồm: yếu tố thời gian của tập thực thể, thuộc tính có yếu tố thời gian, mối quan hệ có yếu tố thời gian, và thuộc tính có yếu tố thời gian của mối quan hệ (dựa trên các loại thời gian LS, VT, TT, LT, BT).

2. Về chuyển đổi từ biểu đồ lớp UML sang OWL ontology:

   • Bổ sung hệ thống quy tắc chuyển đổi chi tiết cho các thành phần nâng cao trong biểu đồ lớp UML: thuộc tính có cấu trúc, thuộc tính có kiểu dữ liệu là lớp, quan hệ kết hợp có lớp kết hợp, quan hệ kết hợp đệ quy, quan hệ kết tập chia sẻ, quan hệ kết hợp có yếu tố hạn định, và quan hệ phụ thuộc.

3. Về trích xuất mô hình mức khái niệm từ OWL ontology:

   • Xây dựng phương pháp và thuật toán trích xuất ngược từ OWL ontology sang mô hình EER, giải quyết việc khôi phục thuộc tính phức hợp và mối quan hệ phản xạ.
   • Đề xuất phương pháp trích xuất các lớp, thuộc tính và cấu trúc quan hệ (kết hợp, kết tập, tổng quát hóa, kế thừa bội, phụ thuộc) của biểu đồ lớp UML từ OWL ontology.

4. Ý nghĩa thực tiễn:

   • Cho phép tự động hóa quy trình tái sử dụng và nâng cấp các hệ thống cơ sở dữ liệu cũ lên nền tảng Web ngữ nghĩa mà không làm suy giảm hoặc sai lệch ngữ nghĩa gốc, giảm thiểu chi phí và thời gian thiết kế hệ thống mới.

---

Hạn chế và hướng nghiên cứu tiếp

Dựa trên các phân tích đặc trưng ngôn ngữ trong văn bản luận án, các hạn chế và hướng phát triển được xác định:

Hạn chế

• Phương thức và quyền truy cập trong UML: Do OWL2 là ngôn ngữ biểu diễn tri thức tĩnh dựa trên logic mô tả (Description Logic), nó không hỗ trợ cơ chế điều khiển truy cập (Public, Private, Protected) và không hỗ trợ mô hình hóa các phương thức/hành vi (Operations/Methods) của lớp UML. Do đó, các thành phần này bị loại bỏ trong quá trình chuyển đổi.
• Khái niệm Lớp trừu tượng và Profiles: OWL2 không thể biểu diễn trực tiếp khái niệm abstract class trong UML mà phải dùng giải pháp thay thế thông qua khai báo DisjointUnion.

Hướng nghiên cứu tiếp

• Tiếp tục mở rộng các quy tắc chuyển đổi cho các mô hình dữ liệu phi quan hệ, mô hình dữ liệu hướng tài liệu hoặc đồ thị tri thức quy mô lớn.
• Phát triển các công cụ phần mềm tích hợp hoàn chỉnh (plugin) trên các môi trường thiết kế CSDL và biên soạn ontology để tự động hóa toàn bộ quy trình chuyển đổi hai chiều trong các hệ thống thông tin thực tế.

---

Giá trị tham khảo

Luận án mang lại giá trị tham khảo chuyên môn cho các đối tượng:

• Nghiên cứu sinh, học viên cao học và giảng viên ngành Khoa học máy tính, Hệ thống thông tin: Có thể sử dụng luận án làm tài liệu tham khảo chuyên sâu về lý thuyết Web ngữ nghĩa, Logic mô tả (Description Logic), kiến trúc hướng mô hình (MDA) và kỹ thuật biểu diễn tri thức bằng OWL2.
• Kỹ sư phần mềm, kiến trúc sư hệ thống dữ liệu: Có thể áp dụng trực tiếp các tập quy tắc ánh xạ và thuật toán trong Chương 2, Chương 3 và Chương 4 để xây dựng công cụ chuyển đổi dữ liệu, di chuyển hệ thống thông tin kế thừa (legacy systems) sang các nền tảng ontology và đồ thị tri thức (Knowledge Graph).
• Phần đáng tham khảo nhất: Hệ thống bảng quy tắc chuyển đổi mô hình TimeER (Chương 2), quy tắc chuyển đổi quan hệ hạn định/lớp kết hợp của UML (Chương 3) và thuật toán nhận dạng trích xuất ngược mô hình EER từ OWL (Chương 4).

---

Câu hỏi thường gặp

1. Luận án xử lý chuyển đổi thuộc tính đa trị phức hợp lồng nhau từ mô hình EER sang OWL2 như thế nào?

Luận án giải quyết bằng cách không ánh xạ trực tiếp thuộc tính phức hợp lồng nhau thành thuộc tính dữ liệu đơn lẻ (vì sẽ làm mất cấu trúc khái niệm khi chuyển đổi ngược), mà tạo ra một lớp phụ trợ trung gian trong OWL. Lớp thực thể cha liên kết với lớp phụ trợ này thông qua một thuộc tính đối tượng (owl:ObjectProperty), và các thuộc tính con thành phần được ánh xạ thành các thuộc tính dữ liệu (owl:DatatypeProperty) thuộc lớp phụ trợ đó.

2. Tại sao phương pháp chuyển đổi biểu đồ lớp UML sang OWL không chuyển đổi các phương thức và quyền truy cập?

Vì OWL2 là ngôn ngữ mô tả tri thức dựa trên logic tính toán để suy luận về cấu trúc và mối quan hệ giữa các khái niệm trong thế giới thực, không phải là ngôn ngữ thực thi mã nguồn. OWL2 không hỗ trợ cơ chế đóng gói, giới hạn phạm vi truy cập (public, private, protected) và không có cú pháp để định nghĩa các phương thức (methods/operations) xử lý của đối tượng.

3. Mô hình TimeER được chuyển đổi sang OWL dựa trên những loại yếu tố thời gian nào?

Luận án chuyển đổi dựa trên 5 loại yếu tố thời gian chuẩn của mô hình TimeER:

• Thời gian sống (LifeSpan - LS): thời gian thực thể tồn tại trong thực tế.
• Thời gian hợp lệ (Valid Time - VT): thời gian sự kiện được xem là đúng trong thực tế.
• Thời gian giao tác (Transaction Time - TT): thời gian sự kiện được ghi nhận hiện thời trong CSDL.
• Thời gian sống và giao tác (LT).
• Thời gian hợp lệ và giao tác (BiTemporal - BT).

4. Sự khác biệt giữa giả thiết thế giới đóng (CWA) của UML/EER và giả thiết thế giới mở (OWA) của OWL được xử lý ra sao?

UML và EER áp dụng giả thiết thế giới đóng (CWA - Closed-World Assumption), coi những gì không được phát biểu là sai. Ngược lại, OWL áp dụng giả thiết thế giới mở (OWA - Open-World Assumption), coi thông tin chưa đề cập là chưa xác định. Để bảo toàn ngữ nghĩa gốc khi chuyển đổi từ UML/EER sang OWL, luận án đã bổ sung tường minh các ràng buộc phủ định, ràng buộc phân ly (owl:disjointWith) và ràng buộc bản số cụ thể (như owl:cardinality, owl:maxQualifiedCardinality) vào ontology.

5. Khái niệm "trích xuất mô hình cơ sở dữ liệu mức khái niệm từ OWL" trong luận án được định nghĩa như thế nào?

Bài toán trích xuất được định nghĩa là việc xác định một ánh xạ ngược của quy trình chuyển đổi xuôi. Thuật toán sẽ phân tích cú pháp và các tiên đề logic trong tài liệu OWL ontology để "điều tra", nhận dạng và tái tạo lại lược đồ mô hình mức khái niệm gốc (mô hình EER hoặc biểu đồ lớp UML) tương ứng đã được dùng để thiết kế ontology đó.

---

Kết luận

Luận án tiến sĩ của tác giả Võ Hoàng Liên Minh đã giải quyết trọn vẹn bài toán chuyển đổi hai chiều giữa các mô hình cơ sở dữ liệu mức khái niệm (mô hình ER, EER, TimeER, biểu đồ lớp UML) và ngôn ngữ bản thể học OWL2. Bằng phương pháp kết hợp nghiên cứu lý thuyết Description Logic và thực nghiệm kiểm chứng trên Protégé cùng bộ suy luận HermiT, luận án đã đề xuất hệ thống quy tắc bổ sung toàn diện cho các cấu trúc dữ liệu phức tạp và xây dựng thuật toán trích xuất ngược hiệu quả. Công trình cung cấp giải pháp kỹ thuật có cơ sở khoa học để phục vụ việc tích hợp, nâng cấp các hệ thống thông tin kế thừa lên môi trường Web ngữ nghĩa.

Trích đoạn nội dung tài liệu

Chương 1 trình bày tổng quan về các mô hình cơ sở dữ liệu mức khái niệm như mô hình thực thể - mối quan hệ, biểu đồ lớp UML, khái niệm web ngữ nghĩa và ngôn ngữ OWL ontology; khảo sát, phân tích một số công trình nghiên cứu liên quan đến bài toán chuyển đổi giữa mô hình cơ sở dữ liệu mức khái niệm và OWL ontology; phân tích chi tiết các đặc điểm tương đương giữa mô hình cơ sở dữ liệu mức khái niệm và OWL ontology; Từ đó luận án định hướng bổ sung các quy tắc chuyển đổi giữa một mô hình cơ sở dữ liệu mức khái niệm và OWL ontology. Chương 2 tổng hợp và phân tích kết quả chuyển đổi giữa mô hình ER, EER và OWL ontology của một số công trình nghiên cứu, quy tắc hóa thống nhất các quy tắc chuyển đổi theo quy ước của luận án; đề xuất các quy tắc bổ sung chuyển đổi các thành phần của mô hình EER sang OWL ontology; trình bày kết quả thực nghiệm được kiểm chứng trên phần mềm Protégé và các bộ suy luận HermiT 1. Chương 3 tổng hợp và phân tích kết quả chuyển đổi giữa biểu đồ lớp UML và OWL ontology của một số công trình nghiên cứu, quy tắc hóa thống nhất các quy tắc 3 chuyển đổi theo quy ước của luận án; đề xuất bổ sung các quy tắc chuyển đổi một biểu đồ lớp UML sang OWL ontology dựa vào các đặc điểm tương đồng giữa biểu đồ lớp UML và OWL ontology; kết quả thực nghiệm cũng được kiểm chứng trên Protégé và các bộ suy luận. Chương 4 đề xuất các quy tắc trích xuất một mô hình dữ liệu mức khái niệm từ một ontology cho trước; trích xuất các thành phần của mô hình mức khái niệm bằng cách phân tích cấu trúc thành phần của ngôn ngữ OWL ontology.

Vấn đề trích xuất một mô hình cơ sở dữ liệu mức khái niệm từ OWL ontology được xem là việc xác định một ánh xạ ngược của ánh xạ chuyển đổi từ mô hình cơ sở dữ liệu mức khái niệm sang ontology, cho phép "điều tra" một mô hình dữ liệu mức khái niệm có thể đã được sử dụng để thiết kế một ontology. Mỗi phương pháp trích xuất đều được minh họa để kiểm chứng kết quả. Đóng góp của luận án Đóng góp chính trong luận án là bổ sung các quy tắc nhằm cho phép thực hiện việc chuyển đổi giữa một mô hình cơ sở dữ liệu mức khái niệm và OWL ontology. Các đóng góp cụ thể bao gồm: - Kế thừa các quy tắc chuyển đổi từ mô hình ER sang OWL ontology đã đề xuất như chuyển đổi tập thực thể, thuộc tính và mối quan hệ, từ đó luận án đã đề xuất bổ sung các quy tắc chuyển đổi phân lớp chồng lấp, tổng quát hợp nhất, thuộc tính đa trị phức hợp lồng nhau, quan hệ phản xạ.

Luận án đề xuất bổ sung phương pháp chuyển đổi mô hình có yếu tố thời gian TimeER gồm các trường hợp, như yếu tố thời gian của tập thực thể, thuộc tính có yếu tố thời gian, mối quan hệ có yếu tố thời gian, thuộc tính có yếu tố thời gian của mối quan hệ. - Đề xuất bổ sung một số quy tắc chuyển đổi biểu đồ lớp UML sang OWL ontology, cụ thể là chuyển đổi thuộc tính có cấu trúc, thuộc tính có kiểu dữ liệu là lớp, các mối quan hệ kết hợp có lớp kết hợp, quan hệ kết hợp đệ quy, quan hệ kết hợp có yếu tố hạn định, quan hệ phụ thuộc. - Xây dựng phương pháp trích xuất OWL ontology thành mô hình cơ sở dữ liệu mức khái niệm. Cụ thể là bổ sung phương pháp trích xuất thuộc tính phức hợp, mối 4 quan hệ phản xạ của mô hình ER từ OWL ontology.