Tổng quan về luận án

Sự bùng nổ của không gian mạng toàn cầu đã đưa Web trở thành trung tâm lưu trữ và luân chuyển tri thức của nhân loại. Theo ghi nhận chính thức từ World Wide Web Consortium (W3C), "thông tin được cung cấp bởi các trang web chiếm gần 70% lượng thông tin trao đổi trên toàn thế giới." Tuy nhiên, đại đa số nguồn tài nguyên dữ liệu hiện hành vẫn tồn tại dưới dạng cấu trúc truyền thống trong các hệ quản trị cơ sở dữ liệu quan hệ và hướng đối tượng, vốn hoạt động dựa trên các mô hình mức khái niệm (Conceptual Data Models). Nhược điểm cốt tử của kiến trúc này là máy tính không thể tự động hiểu ngữ nghĩa để xử lý, tích hợp và suy diễn tri thức. Web ngữ nghĩa (Semantic Web) cùng ngôn ngữ bản thể học OWL (Web Ontology Language) ra đời nhằm giải quyết bài toán này. Mặc dù vậy, việc chuyển đổi từ các hệ thống thông tin kế thừa (legacy systems) sang ontology đang gặp rào cản lớn: các nghiên cứu quốc tế trước đây chỉ dừng lại ở các trường hợp chuyển đổi tổng quát, làm thất thoát đáng kể các cấu trúc ngữ nghĩa phức tạp.

Luận án tiến sĩ khoa học máy tính "Nghiên cứu phương pháp chuyển đổi giữa mô hình mức khái niệm và Ontology" của nghiên cứu sinh Võ Hoàng Liên Minh (người hướng dẫn: PGS. Hoàng Hữu Hạnh và PGS. Hoàng Quang, Đại học Khoa học – Đại học Huế, 2021, chuyên ngành Khoa học máy tính, Mã ngành: 9.01 / 9480101) đã giải quyết triệt để điểm nghẽn học thuật này. Nghiên cứu xác lập khung chuyển đổi hai chiều toàn diện giữa các mô hình mức khái niệm (ER, EER, TimeER, UML Class Diagram) và OWL2 Ontology.

Nghiên cứu tập trung giải quyết 3 câu hỏi nghiên cứu (Research Questions) và kiểm chứng 3 giả thuyết tương ứng:

  1. RQ1: Làm thế nào để chuyển đổi toàn vẹn ngữ nghĩa các thành phần nâng cao trong mô hình ER/EER và mô hình dữ liệu thời gian TimeER sang OWL2 ontology?
    • H1: Việc thiết lập các tiên đề hình thức về lớp phân ly (DisjointClasses), thuộc tính hàm nghịch đảo (InverseFunctionalProperty) và ontology thời gian cơ sở sẽ bảo toàn 100% ngữ nghĩa của các thực thể yếu, thuộc tính lồng nhau và các chiều thời gian LS, VT, TT, BT.
  2. RQ2: Cơ chế nào cho phép ánh xạ chính xác các quan hệ cấu trúc phức tạp của Biểu đồ lớp UML (UML Class Diagram) sang OWL2 mà vẫn giải quyết được xung đột giữa Giả thiết thế giới đóng (CWA) và Giả thiết thế giới mở (OWA)?
    • H2: Ứng dụng các cấu trúc định hạn bản số nâng cao (minQualifiedCardinality, maxQualifiedCardinality) kết hợp với phân loại quan hệ phản xạ đối xứng/bất đối xứng sẽ triệt tiêu hoàn toàn sự sai lệch ngữ nghĩa khi ánh xạ UML sang OWL2.
  3. RQ3: Liệu có thể xây dựng thuật toán trích xuất ngược (reverse extraction) mô hình EER và biểu đồ lớp UML từ một ontology OWL2 cho trước mà không làm mất mát cấu trúc gốc?
    • H3: Xây dựng hệ thống giải thuật phân tích cú pháp tiên đề OWL2 kết hợp bảng ánh xạ ngữ nghĩa ngược cho phép tái tạo chính xác mô hình dữ liệu mức khái niệm ban đầu.

Phạm vi nghiên cứu bao quát các tập chuẩn mô hình hóa dữ liệu kinh điển quốc tế (như lược đồ Elmasri-Navathe EER, Purchase Order UML) và được thẩm định tính nhất quán logic thông qua bộ suy diễn HermiT 1.3.8 trên môi trường Protégé.

Literature Review và Positioning

Khung cảnh học thuật về chuyển đổi mô hình dữ liệu và ontology ghi nhận sự giao thoa sâu sắc giữa lý thuyết thiết kế cơ sở dữ liệu và công nghệ tri thức. Kế thừa nền tảng mô hình thực thể - mối quan hệ do P. Chen (1976) khởi xướng cùng các mở rộng EER của Elmasri và Navathe, kiến trúc hướng mô hình MDA (Model Driven Architecture) của Object Management Group (OMG) đã đặt nền móng cho việc chuyển dịch từ mô hình độc lập nền tảng sang mô hình cài đặt cụ thể.

                             TIẾN TRÌNH TIẾP CẬN VÀ POSITIONING
                             
    [ P. Chen (1976) / Elmasri & Navathe ]          [ W3C / OMG Standard ]
         Mô hình ER / EER kinh điển                   MDA, UML, OWL2 DL, XMI

Tổng hợp các dòng nghiên cứu lớn cho thấy nhiều khoảng trống lý thuyết và sự xung đột trong quan điểm giải pháp:

  • Hướng chuyển đổi ER/EER sang OWL: R. Kumar (2007, 2011) tập trung biểu diễn tập thực thể và ràng buộc bản số nhưng lại xem thực thể yếu tương đương thực thể mạnh và hoàn toàn bỏ qua thuộc tính đa trị. M. Fahad (2008) đề xuất ánh xạ quan hệ Is-A và quan hệ phản xạ, tuy nhiên lại mắc sai lầm hình thức nghiêm trọng khi gán tính chất hàm nghịch đảo (inverse-functional) cho thuộc tính kiểu dữ liệu (DatatypeProperty) – một điều mà chuẩn cú pháp OWL2 nghiêm cấm. Myroshnichenko và cộng sự (2013) xây dựng công cụ chuyển đổi tự động sang OWL Lite nhưng bỏ qua thuộc tính đa trị phức hợp lồng nhau và cấu trúc chuyên biệt hóa chồng lấp (overlap).
  • Hướng chuyển đổi UML Class Diagram sang OWL: Dragan Gašević và cộng sự (2007), David de Almeida Ferreira và Silva (2009) tiếp cận qua chuẩn XMI và XSLT nhưng thiếu vắng các quy tắc hình thức chi tiết. Jesper Zedlitz và cộng sự (2012, 2013) dùng QVT biến đổi siêu mô hình UML sang OWL2 nhưng bỏ qua quan hệ kết hợp có lớp kết hợp (Association Class) và quan hệ có yếu tố hạn định (Qualified Association). Oussama và cộng sự (2016) xử lý kế thừa và kết tập nhưng chưa hoàn thiện các biến thể quan hệ đệ quy bất đối xứng có thuộc tính.
  • Hướng trích xuất ngược từ OWL sang mô hình mức khái niệm: Sikha Bagui (2009) chỉ thiết lập 11 quy tắc cơ bản trên nền OWL1 cũ, bỏ sót toàn bộ thuộc tính phức hợp và quan hệ phản xạ; Olegas Vasilecas và cộng sự (2016) chỉ dừng ở bảng ánh xạ tĩnh mức khái niệm mà không xây dựng được thuật toán phân tích cú pháp thực thi.

Tranh luận cốt lõi trong y văn nằm ở hai giả định nền tảng trái ngược: "UML sử dụng giả thiết thế giới đóng (Closed-World Assumption - CWA)... Ngược lại, OWL2 lại sử dụng giả thiết thế giới mở (Open-World Assumption - OWA)." Tương tự, UML áp dụng Giả thiết tên duy nhất (Unique Name Assumption - UNA), trong khi OWL2 không mặc định UNA. Nghiên cứu của Võ Hoàng Liên Minh định vị chuẩn xác tại điểm giao thoa này, bổ sung toàn bộ các quy tắc hình thức còn thiếu để giải quyết xung đột ngữ nghĩa CWA/OWA và lấp đầy các khoảng trống cấu trúc nâng cao.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án tạo ra bước tiến quan trọng cho lý thuyết Biểu diễn tri thức (Knowledge Representation) và Kỹ nghệ dữ liệu (Data Engineering) qua 4 mũi đột phá:

  1. Mở rộng lý thuyết mô hình hóa dữ liệu thời gian sang logic mô tả: Tích hợp thành công lý thuyết mô hình TimeER của Gregersen và Jensen (1999) vào ngôn ngữ bản thể học OWL2. Luận án xây dựng bản thể học thời gian gốc (Base Temporal Ontology) chuẩn hóa 5 chiều thời gian: 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 hai chiều (BiTemporal - BT).
  2. Hình thức hóa chuyển đổi thuộc tính đa trị phức hợp lồng nhau: Giải quyết triệt để bài toán biến đổi các cấu trúc phân cấp thuộc tính đa tầng bằng phương pháp sinh lớp trung gian kết hợp cặp thuộc tính đối tượng và thuộc tính dữ liệu, bảo toàn tính toàn vẹn thông tin.
  3. Mô hình hóa hoàn chỉnh quan hệ phản xạ (Recursive Relationships): Phân loại và hình thức hóa thành công 4 phân lớp quan hệ phản xạ: phản xạ đối xứng không có thuộc tính, phản xạ đối xứng có thuộc tính, phản xạ bất đối xứng không có thuộc tính, và phản xạ bất đối xứng có thuộc tính thông qua các tiên đề SymmetricObjectProperty và AsymmetricObjectProperty.
  4. Xây dựng lý thuyết ánh xạ ngược hai chiều (Bidirectional Model Transformation): Định nghĩa cấu trúc ánh xạ ngược chính quy, cho phép từ các tiên đề owl:Class, owl:ObjectProperty, owl:DatatypeProperty và các ràng buộc bản số (owl:minQualifiedCardinality, owl:maxQualifiedCardinality) tái tạo chính xác mô hình EER và UML ban đầu.
       CẤU TRÚC ÁNH XẠ NGỮ NGHĨA HAI CHIỀU TRONG LUẬN ÁN

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp chặt chẽ 3 trụ cột lý thuyết:

  • Lý thuyết Logic mô tả (Description Logics $\mathcal{SROIQ}^{(\mathcal{D})}$): Đảm bảo tính nhất quán và khả năng quyết định (decidability) của các tiên đề OWL2.
  • Kiến trúc hướng mô hình (MDA/MOF): Làm kim chỉ nam cho việc ánh xạ siêu mô hình (Metamodel Mapping).
  • Lý thuyết Cơ sở dữ liệu thời gian (Temporal Database Theory): Định lượng hóa các biến động trạng thái lịch sử và giao tác.
Khái niệm mô hình nguồn Thành phần mở rộng đề xuất Cấu trúc ánh xạ đích trong OWL2
Thực thể yếu (EER) Khóa bộ phận + Quan hệ định danh Lớp OWL kết hợp owl:minQualifiedCardinality = 1 trên thuộc tính đối tượng xác định
Thuộc tính đa trị phức hợp Thuộc tính phân cấp lồng nhau Lớp độc lập bổ sung + Cặp thuộc tính ObjectProperty / DatatypeProperty
Mô hình TimeER Thực thể/Quan hệ có thẻ VT, TT, BT Tích hợp Base Temporal Ontology (LSs, LSe, VTs, VTe, TTs, TTe)
Quan hệ hạn định (UML) Biểu đồ lớp có Qualifier $Q$ Thuộc tính dữ liệu nhận diện gắn kèm miền giá trị cục bộ trên lớp đích
Kết tập chia sẻ (UML) Shared Aggregation Thuộc tính đối tượng không mang tính hàm nghịch đảo (InverseFunctional)

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ chặt chẽ lập trường thực chứng luận hình thức (Formal Positivism) kết hợp với phương pháp luận Khoa học thiết kế (Design Science Research - DSR) trong Khoa học máy tính:

                            QUY TRÌNH THỰC NGHIỆM VÀ ĐÁNH GIÁ
  1. Giai đoạn 1 - Hình thức hóa lý thuyết: Xây dựng hệ thống ký hiệu toán học biểu diễn ánh xạ giữa các phần tử $E, attE, R, U, attU, Q$ và các phần tử $C(E), DP(attE), OP(R), C(U), DP(attU)$.
  2. Giai đoạn 2 - Thiết kế thuật toán: Phát triển các giải thuật chuyển đổi trực tiếp từ định dạng XML/XMI của mô hình EER và UML sang định dạng chuẩn cú pháp OWL2/XML.
  3. Giai đoạn 3 - Cài đặt thực nghiệm: Xây dựng phần mềm chuyển đổi tự động độc lập, kết nối với công cụ Protégé và sử dụng bộ suy luận HermiT 1.3.8 để kiểm chứng tính phi mâu thuẫn (consistency) của ontology tạo ra.

Quy trình nghiên cứu rigorous

Quy trình thu thập và xử lý mô hình kiểm thử được thực hiện qua các giao thức nghiêm ngặt:

  • Tiêu chuẩn chọn mẫu (Sampling Strategy): Lựa chọn các bộ lược đồ cơ sở dữ liệu mẫu kinh điển quốc tế làm chuẩn so sánh (Benchmark Datasets), bao gồm: Lược đồ EER công ty của Elmasri-Navathe, Hệ thống thông tin Thư mục trích dẫn (Citation Directory), và Hệ thống xử lý Đơn đặt hàng (Purchase Order Application UML).
  • Công cụ và Môi trường thực nghiệm:
    • Phần mềm biên tập Ontology: Stanford Protégé.
    • Bộ suy luận logic mô tả (Reasoner): HermiT 1.3.8.
    • Công cụ trực quan hóa mô hình: OntoGraf.
    • Định dạng trao đổi siêu dữ liệu: XML/XMI, OWL2/XML.
  • Tiêu chí thẩm định tính hợp thức (Validity & Reliability): Tính bảo toàn ngữ nghĩa được kiểm chứng qua khả năng vượt qua kiểm tra logic của Reasoner (không phát sinh xung đột owl:Nothing hoặc mâu thuẫn tiên đề logic), bảo đảm tính đúng đắn 100% trong suy luận phân cấp và suy diễn quan hệ bắc cầu, đối xứng.

Phát hiện đột phá và implications

Những phát hiện then chốt

Quá trình chuyển đổi và thẩm định thực nghiệm mang lại 4 phát hiện then chốt:

                      SO SÁNH ĐỘ ĐẦY ĐỦ NGỮ NGHĨA CHUYỂN ĐỔI
                      
          Kumar (2007)   Fahad (2008)   Zedlitz (2012)   Luận án (2021)
  1. Khắc phục triệt để lỗi gán sai bản chất tiên đề trong y văn quốc tế: Chứng minh rằng mô hình của M. Fahad (2008) phát sinh lỗi nghiêm trọng khi áp dụng InverseFunctionalProperty cho DatatypeProperty. Luận án sửa đổi thành công bằng cách chuyển thuộc tính khóa thành thuộc tính hàm (FunctionalObjectProperty) kết hợp ràng buộc bản số chính xác.
  2. Bảo toàn nguyên vẹn 100% ngữ nghĩa cấu trúc thời gian TimeER: Tích hợp thành công 5 dạng thời gian (LS, VT, TT, LT, BT) vào bản thể học mà không làm tăng độ phức tạp tính toán suy diễn của HermiT Reasoner. Bộ suy luận phản hồi kết quả kiểm tra tính nhất quán logic trong thời gian dưới 1,2 giây trên các bộ dữ liệu thử nghiệm.
  3. Phát hiện và xử lý tính không tương thích của lớp trừu tượng (Abstract Class) và phạm vi truy cập (Access Modifiers): Luận án chỉ ra rằng OWL2 hoạt động trên OWA và tên toàn cục nên không thể biểu diễn nguyên bản từ khóa public (+), private (-), protected (#) cũng như lớp trừu tượng của UML. Nghiên cứu đề xuất giải pháp đột phá: sử dụng khai báo DisjointUnion để mô hình hóa hành vi của lớp trừu tượng, đảm bảo mọi cá thể thuộc lớp con đều thuộc lớp cha nhưng không tồn tại cá thể trực tiếp tại lớp cha trừu tượng.
  4. Hiệu suất thuật toán trích xuất ngược vượt trội: Thuật toán trích xuất EER và UML từ OWL2 (Chương 4) phân tích chính xác toàn bộ các tiên đề lớp phức, tái tạo đúng 100% các cấu trúc quan hệ kế thừa bội, quan hệ phụ thuộc và thuộc tính phức hợp từ file ontology nguồn.

Implications đa chiều

  • Về mặt học thuật: Cung cấp bộ quy tắc ánh xạ chuẩn hóa đầy đủ nhất trong y văn tiếng Việt và quốc tế cho bài toán chuyển đổi EER/UML $\leftrightarrow$ OWL2, đặt cơ sở lý thuyết vững chắc cho các nghiên cứu về tích hợp dữ liệu ngữ nghĩa.
  • Về mặt kỹ thuật và công nghệ: Cung cấp công cụ tự động hóa quá trình di chuyển (migration) các hệ thống cơ sở dữ liệu quan hệ truyền thống lên nền tảng Web ngữ nghĩa và Đồ thị tri thức (Knowledge Graphs), giúp tiết kiệm hàng ngàn giờ kỹ nghệ thủ công.
  • Về mặt ứng dụng thực tiễn: Tạo tiền đề nâng cấp các hệ thống thông tin kế thừa trong y tế, quản lý nhân sự, thư viện số và chính quyền điện tử – nơi dữ liệu thời gian và cấu trúc quan hệ phức tạp đóng vai trò cốt lõi.

Limitations và Future Research

Nhìn nhận một cách khách quan, công trình vẫn tồn tại một số giới hạn học thuật xuất phát từ ranh giới biểu đạt của chính ngôn ngữ OWL2:

  • Giới hạn phương thức động (Dynamic Methods): OWL2 thuần túy là ngôn ngữ mô tả tri thức tĩnh, do đó các phương thức xử lý (operations/methods) trong biểu đồ lớp UML không thể ánh xạ sang các tiên đề ontology.
  • Giới hạn kiểm soát truy cập: Các đặc tả che giấu thông tin trong lập trình hướng đối tượng (private, protected) bị triệt tiêu khi đưa lên không gian toàn cục của OWL2.
  • Quy mô thực nghiệm: Thực nghiệm tập trung vào các lược đồ chuẩn kinh điển; chưa triển khai đo lường hiệu năng trên các cơ sở dữ liệu lớn quy mô hàng triệu bảng ghi với cấu trúc phi cấu trúc hỗn hợp.

Chương trình nghiên cứu 5–10 năm tới bao gồm:

  1. Nghiên cứu tích hợp ngôn ngữ quy tắc SWRL (Semantic Web Rule Language) hoặc SHACL (Shapes Constraint Language) để mô hình hóa các ràng buộc OCL (Object Constraint Language) phức tạp từ UML sang Ontology.
  2. Mở rộng khung chuyển đổi sang các mô hình cơ sở dữ liệu NoSQL (Document-based, Graph Databases) và cơ sở dữ liệu không gian - thời gian (Spatio-Temporal Databases).
  3. Phát triển plugin tích hợp trực tiếp giải thuật của luận án vào các nền tảng kỹ nghệ ontology hiện đại như Protégé Desktop và WebProtégé.

Tác động và ảnh hưởng

  • Ảnh hưởng học thuật: Luận án công bố hệ thống công trình trên các tạp chí và kỷ yếu hội thảo chuyên ngành uy tín, trở thành tài liệu tham khảo nền tảng cho các nhóm nghiên cứu về Kỹ nghệ Tri thức (Knowledge Engineering) và Semantic Data Modeling.
  • Tác động chuyển đổi số: Đóng góp giải pháp công nghệ trực tiếp cho các đề án xây dựng Đồ thị tri thức doanh nghiệp (Enterprise Knowledge Graph - EKG), hỗ trợ các tổ chức chuyển đổi hệ thống CSDL quan hệ cũ sang kiến trúc dữ liệu liên kết mở (Linked Open Data).
  • Ý nghĩa kinh tế - xã hội: Tái sử dụng triệt để tài nguyên dữ liệu lịch sử, giảm thiểu chi phí thiết kế lại hệ thống từ đầu ước tính hàng trăm triệu đồng cho mỗi dự án phần mềm quy mô vừa và lớn.

Đối tượng hưởng lợi

                               ĐỐI TƯỢNG HƯỞNG LỢI
  • Nghiên cứu sinh và Giảng viên ngành Khoa học máy tính: Tiếp cận hệ thống quy tắc hình thức chuẩn xác, tường minh để phát triển các đề tài chuyên sâu về biểu diễn tri thức và trí tuệ nhân tạo.
  • Kỹ sư Kỹ nghệ Dữ liệu (Data Engineers) và Kiến trúc sư Phần mềm: Ứng dụng trực tiếp các thuật toán chuyển đổi để tự động hóa quy trình xây dựng Ontology từ mô hình ER/UML có sẵn, rút ngắn chu kỳ phát triển ứng dụng Semantic Web.
  • Các tổ chức quản lý dữ liệu lớn (Thư viện, Y tế, Tài chính): Khai thác khả năng mô hình hóa dữ liệu thời gian TimeER để quản lý chính xác lịch sử biến động dữ liệu và thực hiện truy vấn suy diễn ngữ nghĩa tự động.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc hình thức hóa việc chuyển đổi mô hình dữ liệu thời gian TimeER (mở rộng từ lý thuyết của Gregersen & Jensen, 1999) sang bản thể học OWL2 DL. Bằng cách xây dựng Base Temporal Ontology chuẩn hóa 5 chiều thời gian (LS, VT, TT, LT, BT) và tích hợp qua các ràng buộc thuộc tính, luận án đã mở rộng khả năng biểu đạt của Logic mô tả trong việc kiểm soát các trạng thái động và lịch sử của thực thể – một điều mà các công trình trước đây hoàn toàn bỏ qua.

2. Phương pháp nghiên cứu có điểm gì cải tiến so với ít nhất 2 công trình quốc tế tiêu biểu?

So với công trình của R. Kumar (2007) (vốn đồng nhất thực thể yếu với thực thể mạnh và bỏ sót thuộc tính đa trị) và M. Fahad (2008) (gán sai tiên đề InverseFunctionalProperty cho thuộc tính dữ liệu), phương pháp của luận án:

  • Phân định rõ thực thể yếu thông qua việc phối hợp lớp định danh và ràng buộc minQualifiedCardinality = 1.
  • Xử lý hoàn hảo thuộc tính đa trị phức hợp lồng nhau bằng kỹ thuật tạo lớp trung gian.
  • Chuẩn hóa việc phân loại quan hệ phản xạ thành 4 trường hợp riêng biệt tương thích 100% với chuẩn ngữ nghĩa OWL2 DL.

3. Phát hiện bất ngờ nhất trong quá trình nghiên cứu thực nghiệm là gì?

Phát hiện bất ngờ nhất là sự bất tương thích bản chất giữa cơ chế đóng gói hướng đối tượng của UML và nguyên lý mở của Semantic Web: OWL2 không thể mô hình hóa trực tiếp lớp trừu tượng và các phạm vi truy cập (public/private/protected) do hoạt động trên OWA và tầm vực tên toàn cục. Giải pháp sử dụng tiên đề DisjointUnion để gián tiếp ràng buộc hành vi của lớp trừu tượng là một phát hiện kỹ thuật mang tính đột phá cao.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) hay không?

Có. Luận án cung cấp đầy đủ mã giả thuật toán chuyển đổi hai chiều (Chương 2, 3, 4), cấu trúc lược đồ XMI/XML đầu vào, định nghĩa chi tiết Base Temporal Ontology, và hướng dẫn tái lập quy trình kiểm thử từng bước trên phần mềm Protégé 5.x cùng Reasoner HermiT 1.3.8.

5. Chương trình nghiên cứu 10 năm tới được phác thảo như thế nào?

Chương trình dài hạn định hướng mở rộng khung chuyển đổi sang hệ sinh thái dữ liệu phi quan hệ (NoSQL Document, Graph Databases), tích hợp ngôn ngữ ràng buộc SHACL và SWRL để xử lý toàn diện các biểu thức logic hành vi OCL, đồng thời phát triển công cụ tự động hóa dạng SaaS phục vụ xây dựng Enterprise Knowledge Graphs.

Kết luận

Công trình nghiên cứu tiến sĩ của tác giả Võ Hoàng Liên Minh đã ghi dấu ấn học thuật sâu sắc thông qua 5 đóng góp bản lề:

  1. Xác lập hệ thống quy tắc hoàn chỉnh chuyển đổi từ mô hình ER/EER mở rộng sang OWL2, giải quyết triệt để các ca phức tạp (thực thể yếu, thuộc tính đa trị phức hợp lồng nhau, phân lớp chồng lấp).
  2. Tiên phong đề xuất phương pháp chuyển đổi mô hình cơ sở dữ liệu thời gian TimeER sang OWL2 Ontology với 5 chiều thời gian chuẩn hóa.
  3. Hoàn thiện bộ quy tắc ánh xạ biểu đồ lớp UML sang OWL2, xử lý toàn diện quan hệ kết tập chia sẻ, quan hệ đệ quy, quan hệ phụ thuộc và quan hệ có yếu tố hạn định.
  4. Xây dựng thành công thuật toán trích xuất ngược mô hình EER và biểu đồ lớp UML từ tài liệu OWL2 Ontology.
  5. Kiểm chứng tính đúng đắn và phi mâu thuẫn logic của toàn bộ khung chuyển đổi trên công cụ Protégé và bộ suy luận HermiT.

Luận án đã mở ra 3 nhánh nghiên cứu mới đầy triển vọng: (1) Ánh xạ ràng buộc logic vị từ OCL/SWRL trên Ontology; (2) Tích hợp Đồ thị tri thức từ cơ sở dữ liệu đa mô hình (Multi-model Databases); và (3) Tự động hóa kỹ nghệ đảo ngược dữ liệu ngữ nghĩa. Đây là công trình mẫu mực về tính nghiêm cẩn khoa học, kết hợp nhuần nhuyễn giữa cơ sở lý thuyết hàn lâm và khả năng ứng dụng thực tiễn cao trong kỷ nguyên dữ liệu lớn và trí tuệ nhân tạo.