Tổng quan về luận án

Sự bùng nổ của mạng toàn cầu đã biến không gian số thành một đại dương dữ liệu khổng lồ nhưng phần lớn tồn tại dưới dạng phi cấu trúc hoặc cấu trúc đóng. Trích dẫn nguyên văn nhận định nền tảng từ W3C: "Theo 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, phần lớn tri thức cốt lõi của các tổ chức vẫn bị khóa chặt trong các hệ thống cơ sở dữ liệu truyền thống được mô hình hóa ở mức khái niệm, trong khi kỷ nguyên Web ngữ nghĩa (Semantic Web) đòi hỏi tri thức phải được biểu diễn hình thức bằng Ontology (OWL/OWL2) để máy móc có thể suy luận tự động.

Khoảng trống học thuật (Research Gap) lớn nhất hiện nay nằm ở tính thiếu toàn vẹn và bất đối xứng của các phương pháp chuyển đổi hiện hành. Như luận án đã chỉ rõ: "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." Các công trình quốc tế tiên phong như Sujatha & Kumar (2005), Fahad (2008) hay Myroshnichenko & Murphy (2009) chỉ mới xử lý được các cấu trúc thực thể - quan hệ cơ bản và bỏ qua các yếu tố nâng cao như chuyên biệt hóa chồng lấp (overlapping specialization), thuộc tính đa trị phức hợp lồng nhau, quan hệ phản xạ phân loại và đặc biệt là chiều kích thời gian (temporal dimensions). Ở chiều ngược lại, việc trích xuất ngược mô hình khái niệm từ Ontology gần như chưa có một bộ quy tắc hình thức toàn diện.

Luận án của nghiên cứu sinh Võ Hoàng Liên Minh dưới sự hướng dẫn khoa học của PGS. Hoàng Quang và PGS. Hoàng Hữu Hạnh tại Đại học Khoa học – Đại học Huế (2021) thuộc ngành Khoa học Máy tính (mã ngành: 9.01) tập trung giải quyết 3 câu hỏi nghiên cứu cốt lõi:

  1. RQ1: Làm thế nào để thiết lập bộ quy tắc chuyển đổi ngữ nghĩa đầy đủ từ mô hình thực thể mở rộng (EER) và mô hình có yếu tố thời gian (TimeER) sang OWL2 mà không làm thất thoát ngữ nghĩa hay vi phạm tính nhất quán lôgic?
  2. RQ2: Làm thế nào để chuyển đổi trọn vẹn các cấu trúc hướng đối tượng nâng cao trong Biểu đồ lớp UML (UML Class Diagram) sang OWL2, giải quyết triệt để các trường hợp quan hệ kết tập chia sẻ, quan hệ kết hợp có yếu tố hạn định và quan hệ đệ quy?
  3. RQ3: Bằng cơ chế hình thức nào có thể thiết kế thuật toán trích xuất ngược (reverse mapping) từ một cấu trúc OWL2 Ontology bất kỳ về lại mô hình dữ liệu mức khái niệm (EER/UML) tương ứng?

Luận án dựa trên khung lý thuyết vững chắc gồm Kiến trúc hướng mô hình (Model Driven Architecture - MDA của tổ chức OMG), Lý thuyết Logic mô tả (Description Logics $\mathcal{SROIQ}^{(D)}$ làm nền tảng cho W3C OWL2 DL), Mô hình thực thể liên kết EER của Peter Chen (1976) và Elmasri & Navathe (2015), Mô hình TimeER của Gregersen & Jensen (1999) cùng Chuẩn mô hình hóa UML 2.0 của Booch, Rumbaugh & Jacobson (2005). Nghiên cứu mang lại đóng góp mang tính đột phá khi giải quyết triệt để 100% các thành phần ngữ nghĩa phức tạp trên các tập dữ liệu chuẩn thức, cho phép bảo tồn nguyên vẹn các ràng buộc toàn vẹn dữ liệu trong quá trình nâng cấp hệ thống kế thừa sang Web ngữ nghĩa.

Literature Review và Positioning

Khảo cứu lược sử phát triển của các phương pháp ánh xạ ngữ nghĩa cho thấy hai dòng tư tưởng chính trong biểu diễn tri thức:

  • Dòng nghiên cứu chuyển đổi EER sang OWL: Mở đầu với công trình của Sujatha & Kumar (2005) đề xuất các quy tắc ánh xạ cấu trúc EER sang OWL DL. Tuy nhiên, nhóm tác giả xem tập thực thể yếu và tập thực thể mạnh tương đương nhau, đồng thời biến mọi thuộc tính phức hợp thành các lớp mới làm bùng nổ số lượng Object Property không cần thiết. Fahad (2008) cố gắng khắc phục bằng cách thiết lập tính chất hàm (Functional) và hàm nghịch đảo (Inverse-Functional) cho khóa chính, nhưng lại mắc lỗi lôgic mô tả khi gán thuộc tính hàm nghịch đảo lên Datatype Property (điều bị cấm trong chuẩn OWL DL). Myroshnichenko & Murphy (2009) tự động hóa ánh xạ sang OWL Lite nhưng lại đưa ra khái niệm "thuộc tính khóa phức hợp" vốn không tồn tại trong lý thuyết cơ sở dữ liệu chuẩn và bỏ qua hoàn toàn mô hình EER. Pasapitch Chujai (2014) cũng chỉ dừng lại ở các chuyển đổi quan hệ bảng cơ bản mà chưa xử lý được các cấu trúc lồng nhau.
  • Dòng nghiên cứu chuyển đổi UML sang OWL: Dragan Gašević và cộng sự (2004, 2005) cùng Sara Brockmans et al. (2006) khởi xướng việc ánh xạ UML Profile (OUP) và MOF-metamodel sang OWL thông qua XMI và XSLT. Tuy nhiên, các quy tắc này thiếu tính chặt chẽ về mặt ngữ nghĩa hình thức. Gherabi & Bahaj (2012) cố gắng toán học hóa biểu đồ lớp UML nhưng lại bỏ sót các cấu trúc then chốt như thuộc tính có kiểu dữ liệu là lớp và quan hệ kết hợp có lớp kết hợp (Association Class). Jesper Zedlitz et al. (2012, 2014) áp dụng ngôn ngữ chuyển đổi OMG QVT trên meta-model UML và OWL2 nhưng chưa xử lý được quan hệ kết tập chia sẻ (shared aggregation) và đa thừa kế phức tạp. Gần đây nhất, Oussama et al. (2016) đã bao phủ nhiều khía cạnh nhưng vẫn bỏ ngỏ quan hệ kết hợp có yếu tố hạn định (qualified association) và phân loại thuộc tính đối xứng/bất đối xứng trong quan hệ đệ quy.
       [Mô hình EER / TimeER / UML] (CWA, Schema tĩnh)
                      │
           (Bi-directional Mapping)
                      │
                      ▼
         [W3C OWL2 Ontology] (OWA, Description Logics SROIQ(D))

Bản chất của cuộc tranh luận học thuật nằm ở sự xung đột nền tảng giữa Giả thiết thế giới đóng (Closed World Assumption - CWA) của các mô hình cơ sở dữ liệu truyền thống (những gì không được lưu trữ được mặc định là sai) và Giả thiết thế giới mở (Open World Assumption - OWA) cùng việc không thừa nhận tên duy nhất (Non-Unique Name Assumption - Non-UNA) của Web ngữ nghĩa (những gì chưa được tuyên bố đều có thể đúng).

Vị thế học thuật của luận án được xác lập thông qua việc bổ sung toàn diện các quy tắc bị khiếm khuyết trong các công trình quốc tế nói trên, đồng thời thiết lập cơ chế ánh xạ ngược hai chiều hình thức đầu tiên có khả năng xử lý đầy đủ các thành phần thời gian và các cấu trúc đệ quy phân loại.

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

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

Luận án mở rộng trực tiếp lý thuyết mô hình hóa dữ liệu của Peter Chen (1976), lý thuyết EER của Elmasri & Navathe (2015) và mô hình TimeER của Gregersen & Jensen (1999) bằng cách chuẩn hóa hình thức các quy tắc ánh xạ tương đương sang đại số lôgic mô tả $\mathcal{SROIQ}^{(D)}$ của OWL2:

  1. Mở rộng lý thuyết quan hệ kế thừa và ràng buộc phân lớp: Thiết lập cơ chế mô tả chính xác giữa hai trạng thái phân ly (disjoint) bằng tiên đề DisjointClasses ($C_1 \sqcap C_2 \sqsubseteq \bot$) và chồng lấp (overlap) thông qua giao của các lớp con trên cùng một siêu lớp ($C_{sub1} \sqsubseteq C_{super} \wedge C_{sub2} \sqsubseteq C_{super}$ mà không có ràng buộc phân ly).
  2. Hình thức hóa thuộc tính đa trị phức hợp lồng nhau: Giải quyết bài toán cấu trúc lồng đa tầng bằng cách tạo ra các lớp ẩn danh/lớp phụ trợ kết hợp với các cặp thuộc tính đối tượng và dữ liệu định lượng (owl:minQualifiedCardinality, owl:maxQualifiedCardinality), loại bỏ hoàn toàn hiện tượng mất mát cấu trúc dữ liệu.
  3. Phân loại và hình thức hóa quan hệ phản xạ (Recursive Relationships): Phân biệt rõ ràng 4 trường hợp dựa trên đặc tính đồ thị: Phản xạ đối xứng không thuộc tính (dùng SymmetricObjectProperty), Phản xạ đối xứng có thuộc tính (chuyển thành lớp trung gian kèm cặp quan hệ đối xứng), Phản xạ bất đối xứng không thuộc tính (dùng AsymmetricObjectProperty hoặc IrreflexiveObjectProperty) và Phản xạ bất đối xứng có thuộc tính.
  4. Khung biểu diễn không-thời gian TimeER: Tích hợp trọn vẹn 4 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 - giao tác ($LT$) và Thời gian lưỡng hợp (BiTemporal - $BT$) thông qua việc xây dựng một Temporal Base Ontology trung gian kết hợp các thuộc tính dữ liệu thời gian bắt đầu ($VTs, TTs, LSs$) và thời gian kết thúc ($VTe, TTe, LSe$).

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

Khung phân tích của nghiên cứu là sự tích hợp chặt chẽ giữa 3 lý thuyết nền tảng: Kiến trúc hướng mô hình (MDA/QVT), Lý thuyết cơ sở dữ liệu quan hệ/hướng đối tượng và Logic mô tả (Description Logics). Tiếp cận này xác định rõ các điều kiện biên (Boundary Conditions): quá trình chuyển đổi chỉ bảo toàn ngữ nghĩa khi và chỉ khi mô hình đầu vào tuân thủ đầy đủ các ràng buộc toàn vẹn chuẩn (chuẩn hóa dạng 3NF/BCNF đối với EER và tính hợp lệ của sơ đồ lớp UML 2.0).

+-------------------------------------------------------------------------------+
|                           KHUNG PHÂN TÍCH CHUYỂN ĐỔI                          |
+-------------------------------------------------------------------------------+
|  EER / TimeER / UML Models      <── (Thuật toán trích xuất ngược) ───+        |
|  (CWA, Ràng buộc khóa, Bản số)                                       |        |
|               │                                                      │        |
|               ▼ (Bộ quy tắc chuyển đổi đề xuất)                      │        |
|  Trung gian: Temporal Base Ontology & Metamodel Transformation       │        |
|               │                                                      │        |
|               ▼                                                      │        |
|  W3C OWL2 DL Ontology          ─── (Kiểm chứng HermiT Reasoner) ─────+        |
|  (OWA, SROIQ(D), Tiên đề logic)                                               |
+-------------------------------------------------------------------------------+

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

Thiết kế nghiên cứu

Luận án áp dụng thế giới quan Khoa học Thiết kế (Design Science Research - DSR) kết hợp phương pháp luận diễn dịch - thực chứng (Positivism/Formal Verification). Thiết kế nghiên cứu là sự kết hợp đa tầng giữa:

  • Tầng hình thức hóa lý thuyết (Theoretical Formalization): Xây dựng các quy tắc ánh xạ toán học giữa tập các khái niệm của mô hình nguồn $\mathcal{M}_S$ và tập các tiên đề của ontology đích $\mathcal{O}_T$.
  • Tầng thuật toán hóa (Algorithmic Implementation): Cài đặt các thuật toán chuyển đổi xuôi và trích xuất ngược dưới dạng các module phần mềm tự động hóa xử lý tệp XML/XMI.
  • Tầng kiểm chứng thực nghiệm (Empirical Validation): Thực hiện đo lường độ chính xác và tính nhất quán ngữ nghĩa thông qua các bộ suy luận chuẩn quốc tế.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ 4 bước nghiêm ngặt:

  1. Đặc tả mô hình nguồn: Trích xuất cấu trúc siêu dữ liệu từ tệp XML/XMI (fileER, fileUML).
  2. Áp dụng các hàm chuyển đổi: Thực thi ánh xạ theo bảng quy tắc định sẵn cho từng phần tử (Lớp, Thuộc tính đơn/phức/đa trị, Quan hệ kết hợp/phụ thuộc/kế thừa/phản xạ).
  3. Sinh mã và cấu trúc hóa OWL2: Xuất bản tài liệu fileOWL chứa các khai báo lớp, thuộc tính dữ liệu (owl:DatatypeProperty), thuộc tính đối tượng (owl:ObjectProperty) và các ràng buộc tiên đề (owl:Restriction, owl:someValuesFrom, owl:cardinality).
  4. Triangulation & Verification: Thực hiện kiểm chứng tam giác (Triangulation) về cấu trúc, ngữ nghĩa và khả năng suy luận trên phần mềm biên tập Protégé cùng bộ suy luận HermiT 1.3.8 và công cụ trực quan hóa OntoGraf.

Data và phân tích

Nghiên cứu kiểm chứng trên 4 bộ dữ liệu và mô hình chuẩn mực kinh điển trong khoa học máy tính:

  • Mô hình EER Elmasri Company/University Benchmark: Mô hình chuẩn quốc tế của Elmasri (gồm đầy đủ thực thể mạnh/yếu, quan hệ đệ quy manages, chuyên biệt hóa phân ly và chồng lấp EMPLOYEE -> SECRETARY, TECHNICIAN, ENGINEER).
  • Mô hình Thư mục trích dẫn (Citation Directory): Mô hình quan hệ xuất bản học thuật phức tạp với thuộc tính đa trị lồng nhau.
  • Biểu đồ lớp UML Purchase Order Application: Mô hình chuẩn của OMG phục vụ quản lý thương mại điện tử với quan hệ kết hợp có yếu tố hạn định và quan hệ kết tập chia sẻ.
  • Biểu đồ lớp UML Elmasri: Mô hình chuyển dịch tương đương nhằm kiểm tra tính đối xứng của thuật toán trích xuất ngược.

Toàn bộ các mô hình sau khi chuyển đổi sang OWL2 đều được kiểm tra tính phi mâu thuẫn (Consistency check) bằng bộ suy luận HermiT 1.3.8. Kết quả đạt 100% tính nhất quán (không có lớp nào rơi vào owl:Nothing ngoại trừ các lớp mâu thuẫn chủ định để kiểm tra ràng buộc phân ly).

+------------------------------------+---------------+---------------+-----------------+
| Mô hình thực nghiệm                | Số phần tử    | Thời gian xử  | Tính nhất quán  |
|                                    | cấu trúc      | lý (ms)       | (HermiT Reasoner)
+------------------------------------+---------------+---------------+-----------------+
| EER Elmasri Benchmark              | 42 thực thể/qt| 124 ms        | 100% Consistent |
| Thư mục trích dẫn (Citation)       | 28 cấu trúc   | 89 ms         | 100% Consistent |
| UML Purchase Order Application     | 35 phần tử    | 112 ms        | 100% Consistent |
| Biểu đồ lớp UML Elmasri            | 48 phần tử    | 145 ms        | 100% Consistent |
+------------------------------------+---------------+---------------+-----------------+

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

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

Nghiên cứu mang lại 5 phát hiện cốt lõi:

  1. Đột phá về thuộc tính đa trị phức hợp lồng nhau: Khẳng định việc chuyển đổi thuộc tính đa trị lồng nhau không thể áp dụng trực tiếp owl:DatatypeProperty mà bắt buộc phải chuyển đổi thành một lớp trung gian có liên kết hai chiều, kèm theo các ràng buộc bản số cực tiểu/cực đại chính xác, giúp giải quyết triệt để vấn đề mất mát dữ liệu vốn tồn tại trong nghiên cứu của Fahad (2008).
  2. Phát hiện về chuyển đổi thuộc tính khóa: Chứng minh rằng thuộc tính khóa trong mô hình ER chỉ có thể ánh xạ thành owl:DatatypeProperty kết hợp với owl:FunctionalProperty hoặc quy tắc nhận dạng khóa owl:hasKey trong OWL2, hoàn toàn bác bỏ đề xuất gán Inverse-Functional cho Datatype Property của Sujatha (2005).
  3. Phân hóa chính xác 4 dạng quan hệ phản xạ: Xác lập rằng việc quy chụp mọi quan hệ phản xạ về quan hệ nhị nguyên thông thường là nguyên nhân gây suy luận sai lệch trong các hệ thống trước đây. Bằng việc phân tách thành quan hệ đối xứng (Symmetric) và bất đối xứng (Asymmetric/Irreflexive), hệ thống cho phép công cụ lập luận tự động phát hiện các chu trình phân cấp bất hợp lệ.
  4. Khả thi hóa ánh xạ ngược (Reverse Engineering): Bằng việc phân tích cấu trúc bộ ba RDF/OWL và các ràng buộc tiên đề owl:Restriction, thuật toán của luận án có khả năng nhận dạng và tái tạo lại chính xác 100% các cấu trúc EER và UML gốc từ ontology mà không cần siêu dữ liệu bổ trợ.
  5. Giải quyết hoàn hảo chiều kích thời gian TimeER: Việc sử dụng Temporal Base Ontology cho phép biểu diễn các khoảng thời gian hợp lệ và giao tác mà không làm phá vỡ cấu trúc của các bộ suy luận mô tả chuẩn.

Implications đa chiều

  • Ý nghĩa lý thuyết: Cầu nối hoàn chỉnh giữa lý thuyết cơ sở dữ liệu quan hệ (CWA) và biểu diễn tri thức Web ngữ nghĩa (OWA), mở rộng khả năng diễn đạt của ngôn ngữ OWL2 DL trong việc tiếp nhận các mô hình dữ liệu kinh điển.
  • Ý nghĩa phương pháp luận: Cung cấp bộ thuật toán và công thức chuyển đổi chuẩn hóa có khả năng áp dụng cho mọi công cụ CASE và nền tảng MDA thế hệ mới.
  • Ý nghĩa thực tiễn và công nghệ: Cho phép các doanh nghiệp và cơ quan nhà nước tự động hóa quá trình "ngữ nghĩa hóa" các cơ sở dữ liệu kế thừa (legacy relational databases) lên đồ thị tri thức (Knowledge Graphs) mà không cần thiết kế lại từ đầu, tiết kiệm từ 60% đến 80% chi phí kỹ thuật tri thức.
  • Ý nghĩa chính sách chuyển đổi số: Cung cấp nền tảng kỹ thuật vững chắc để xây dựng các trung tâm dữ liệu mở liên thông ngữ nghĩa (Semantic Interoperability) cấp quốc gia trong giáo dục, y tế và quản lý đô thị thông minh.

Limitations và Future Research

Luận án thừa nhận một cách khách quan các giới hạn nghiên cứu:

  1. Ràng buộc bản số N-ngôi: Luận án chủ yếu tập trung vào các quan hệ nhị nguyên và các dạng mở rộng đặc biệt; việc ánh xạ tự động các mối quan hệ đa nguyên bậc cao ($N$-ary relationships với $N \ge 4$) có kèm ràng buộc bản số phức tạp vẫn đòi hỏi can thiệp thủ công để tái cấu trúc thành các lớp liên kết trung gian.
  2. Ràng buộc toàn vẹn nâng cao trên OCL: Một số ràng buộc nghiệp vụ phức tạp biểu diễn bằng Ngôn ngữ ràng buộc đối tượng (OCL) trên biểu đồ UML chưa thể ánh xạ toàn vẹn sang các tiên đề OWL2 DL nếu không sử dụng thêm ngôn ngữ luật ngữ nghĩa như SWRL (Semantic Web Rule Language).
  3. Quy mô tập dữ liệu siêu lớn: Thực nghiệm mới tập trung vào tính đúng đắn ngữ nghĩa và tính phi mâu thuẫn trên các mô hình benchmark chuẩn mức độ phức tạp cao, chưa đo lường thời gian suy luận trên các Ontology chứa hàng chục triệu cá thể (instances/Aالات).

Chương trình nghiên cứu tương lai (Future Agenda) gồm 4 hướng:

  • Mở rộng quy tắc ánh xạ tự động cho các luật suy diễn phức tạp sử dụng kết hợp OWL2 và SWRL/RIF.
  • Nghiên cứu cơ chế đồng bộ hóa dữ liệu hai chiều thời gian thực (Real-time Bidirectional Synchronization) giữa CSDL vật lý và OWL Ontology.
  • Phát triển plugin tự động tích hợp trực tiếp vào các môi trường mô hình hóa phổ biến như MagicDraw, Visual Paradigm và Protégé.
  • Ứng dụng mô hình chuyển đổi vào các bài toán tích hợp dữ liệu lớn y tế và liên thông hồ sơ bệnh án điện tử.

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

  • Tác động học thuật: Công trình tạo nền móng vững chắc cho các nghiên cứu tiếp theo về Semantic Data Engineering tại Việt Nam và khu vực, đóng góp các bài báo chất lượng trên các tạp chí và kỷ yếu hội thảo chuyên ngành Khoa học Máy tính.
  • Chuyển đổi công nghiệp: Ứng dụng trực tiếp trong các ngành công nghiệp phần mềm, dịch vụ tài chính - ngân hàng và thương mại điện tử, nơi hàng nghìn cơ sở dữ liệu quan hệ cần được chuyển đổi thành Enterprise Knowledge Graph để phục vụ hệ thống gợi ý và tìm kiếm ngữ nghĩa thông minh.
  • Lợi ích xã hội: Thúc đẩy tiến trình xây dựng Chính phủ điện tử và Đô thị thông minh thông qua việc chuẩn hóa và liên thông dữ liệu giữa các bộ ngành mà không phụ thuộc vào nền tảng công nghệ cơ sở dữ liệu bên dưới.

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

  • Nghiên cứu sinh và học viên cao học ngành KHMT/CNTT: Kế thừa bộ quy tắc toán học hình thức và thuật toán ánh xạ để phát triển các đề tài chuyên sâu về Web ngữ nghĩa và Trí tuệ nhân tạo.
  • Các nhà khoa học cao cấp và giảng viên: Sử dụng các phát hiện của luận án như một tài liệu tham khảo chuẩn mực trong giảng dạy môn Kiến trúc Dữ liệu nâng cao và Kỹ thuật Tri thức.
  • Kỹ sư R&D và Kiến trúc sư giải pháp phần mềm: Ứng dụng các thuật toán chuyển đổi để tự động hóa quy trình tái cấu trúc hệ thống phần mềm cũ sang kiến trúc hướng ngữ nghĩa.
  • Các nhà hoạch định chính sách CNTT: Có cơ sở khoa học để ban hành các quy chuẩn kỹ thuật về cấu trúc dữ liệu liên thông phục vụ Chuyển đổi số quốc gia.

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

1. Đóng góp lý thuyết độc đáo và đột phá nhất của luận án là gì? Đó là việc chuẩn hóa hình thức và giải quyết triệt để bài toán biểu diễn yếu tố thời gian từ mô hình TimeER và cấu trúc thuộc tính đa trị phức hợp lồng nhau sang đại số Logic mô tả của W3C OWL2 DL. Nghiên cứu đã mở rộng lý thuyết của Peter Chen (1976) và Gregersen & Jensen (1999) bằng cách tích hợp mô hình không-thời gian vào Ontology thông qua Temporal Base Ontology mà không làm phá vỡ khả năng suy luận tự động của các Reasoner chuẩn.

2. Điểm cải tiến phương pháp luận so với các nghiên cứu quốc tế trước đây? So với công trình của Fahad (2008) và Sujatha (2005), luận án đã sửa đổi lỗi lôgic căn bản về việc gán tính chất Inverse-Functional trên thuộc tính dữ liệu, đồng thời phân tách chi tiết 4 loại quan hệ phản xạ thay vì xem chúng như quan hệ nhị nguyên đơn giản. So với Oussama et al. (2016) và Zedlitz et al. (2014), luận án là công trình đầu tiên bổ sung đầy đủ các quy tắc cho quan hệ kết hợp có yếu tố hạn định và quan hệ kết tập chia sẻ trên biểu đồ lớp UML, đồng thời cung cấp thuật toán trích xuất ngược hoàn chỉnh từ OWL2 về lại EER và UML.

3. Phát hiện bất ngờ nhất trong quá trình thực nghiệm là gì? Quá trình thực nghiệm chứng minh rằng việc chuyển đổi ngược từ OWL2 sang EER/UML không thể thực hiện đơn thuần bằng việc đảo chiều các bảng quy tắc ánh xạ. Do tính chất OWA của OWL2, thuật toán trích xuất ngược buộc phải tích hợp cơ chế phân tích cấu trúc tiên đề cục bộ (owl:Restriction) kết hợp kiểm tra tính đóng của miền/phạm vi (Domain/Range) mới có thể phục hồi chính xác các mối quan hệ ban đầu.

4. Luận án có cung cấp giao thức tái lặp (Replication Protocol) hoàn chỉnh không? Có. Toàn bộ các bước thuật toán, cấu trúc siêu dữ liệu trung gian XML/XMI, tập tiên đề OWL2 tương ứng và các tập dữ liệu thực nghiệm chuẩn (Elmasri Benchmark, Purchase Order) đều được mô tả chi tiết từng bước trong luận án, cho phép tái lập và kiểm chứng độc lập 100% trên phần mềm Protégé và HermiT Reasoner.

5. Lộ trình nghiên cứu 10 năm tiếp theo được định hình như thế nào? Lộ trình hướng tới việc xây dựng các công cụ dịch chuyển ngữ nghĩa thời gian thực ứng dụng Trí tuệ nhân tạo (AI-driven Semantic Mapping), tích hợp xử lý dữ liệu lớn không đồng nhất (Big Data Graph Integration), tự động phát hiện và vá lỗi bất tương thích ngữ nghĩa giữa các hệ thống dữ liệu phân tán xuyên quốc gia.

Kết luận

Công trình nghiên cứu của NCS. Võ Hoàng Liên Minh đã đạt được 5 đóng góp học thuật và thực tiễn mang tính then chốt:

  1. Xây dựng bộ quy tắc toàn diện chuyển đổi mô hình EER sang OWL2, bổ sung đầy đủ các trường hợp phân lớp chồng lấp, thuộc tính đa trị phức hợp lồng nhau và phân loại 4 dạng quan hệ phản xạ.
  2. Đề xuất phương pháp tiên phong chuyển đổi mô hình có yếu tố thời gian TimeER sang OWL2 thông qua Temporal Base Ontology, bảo toàn trọn vẹn 4 chiều thời gian sống và giao tác.
  3. Hoàn thiện bộ quy tắc ánh xạ biểu đồ lớp UML sang OWL2, giải quyết triệt để các cấu trúc quan hệ kết tập chia sẻ, quan hệ kết hợp có yếu tố hạn định và quan hệ đệ quy.
  4. Phát triển thành công thuật toán trích xuất ngược hai chiều từ OWL2 Ontology về mô hình EER và biểu đồ lớp UML với độ chính xác tuyệt đối trên các tập benchmark chuẩn.
  5. Kiểm chứng thực nghiệm toàn diện trên công cụ chuẩn quốc tế Protégé và bộ suy luận HermiT, khẳng định 100% tính phi mâu thuẫn và bảo toàn ngữ nghĩa của phương pháp đề xuất.

Công trình tạo ra bước tiến quan trọng trong kỹ thuật tri thức và công nghệ phần mềm, mở ra các hướng nghiên cứu mới về tích hợp đồ thị tri thức doanh nghiệp và bảo toàn ngữ nghĩa dữ liệu trong kỷ nguyên số hóa toàn diện.