Resumen
Trong bài báo này, chúng tôi d? xu?t mô hình ontology m? và mô hình hóa ontology m? b?ng cách tích h?p t?p m? và logic mô t? m? vào ontology nh?m h? tr? các mô hình suy lu?n m? và tích h?p ontology m?. Nhu các nghiên c?u tru?c dây, các thành ph?n c?a ontology m? du?c m? hóa b?ng cách s? d?ng m?t hàm thành viên d?a trên lý thuy?t t?p m?. Ði?m khác bi?t so v?i các nghiên c?u tru?c dây, chúng tôi d?nh nghia thêm t?p khái ni?m m?. V?n d? này nh?m gi?i quy?t các bài toán suy lu?n hay d? báo cung nhu h? tr? trong các thu?t toán máy h?c hay h?c sâu. Ngoài ra, chúng tôi làm rõ t?p Z b?ng cách s? d?ng logic mô t? m? d? d?i di?n cho các ràng bu?c gi?a các thành ph?n ontology mà các nghiên c?u tru?c dây chua d? c?p. Bài báo này cung th?c hi?n mô hình hóa ontology m? du?c d? xu?t, du?c c? th? hóa trong ngôn ng? OWL2. Trong ph?n th?c nghi?m có thi?t k? ontology m? s? d?ng Protégé áp d?ng cho th?i ti?t.