tailieunhanh - Phát triển chương trình logic mô tả cho việc tích hợp các quy tắc và các ontology cho Web ngữ nghĩa

Bài viết này giới thiệu về các kỹ thuật kết hợp các quy tắc với các ontology và chương trình logic mô tả, nó gồm cơ sở tri thức L và một tập hữu hạn các quy tắc logic mô tả P. nội dung chi tiết của tài liệu. | TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, Trường Đại học Khoa học – Đại học Huế Tập 5, Số 1 (2016) PHÁT TRIỂN CHƯƠNG TRÌNH LOGIC MÔ TẢ CHO VIỆC TÍCH HỢP CÁC QUY TẮC VÀ CÁC ONTOLOGY CHO WEB NGỮ NGHĨA Hoàng Nguyễn Tuấn Minh Phòng Công tác Học sinh, Sinh viên, Trường Đại học Khoa học – Đại học Huế Email: hntminh83@ TÓM TẮT Web ngữ nghĩa ngày càng phát triển, một yêu cầu quan trọng của kiến trúc được phân lớp của web ngữ nghĩa là tích hợp các các quy tắc và các ontology đang được nhiều nhà nghiên cứu quan tâm. Trong bài báo, chúng ta xem xét các vấn đề trong việc tích hợp các quy tắc và các ontology hiện nay và cũng như phân loại các đề xuất theo các phương pháp tiếp cận lý thuyết khác nhau. Ngoài ra chúng ta tập trung vào hướng tiếp cận chương trình logic mô tả trong việc tích hợp các quy tắc và các ontology cho web ngữ nghĩa cùng các vấn đề liên quan của nó. Từ khóa : Lập trình logic, logic mô tả, ontology, Web ngữ nghĩa. 1. MỞ ĐẦU Web ngữ nghĩa [1,2,3] là một sự phát triển mới trên nền của Web hiện tại theo tiêu chuẩn và công nghệ có thể giúp máy tính hiểu các thông tin trên Web, chúng có thể hỗ trợ cho các công việc khám phá, tích hợp dữ liệu, chuyển hướng dữ liệu và tự động hóa các nhiệm vụ một cách giàu ngữ nghĩa hơn. Kiến trúc phân tầng của Web ngữ nghĩa ngày càng hoàn thiện, một yêu cầu quan trọng của kiến trúc được phân tầng này là để tích hợp tầng Rules và tầng Ontology, hướng đến việc tích hợp các quy tắc và các ontology trong Web ngữ nghĩa. Trong bài báo này tôi sẽ giới thiệu về các kỹ thuật kết hợp các quy tắc với các ontology và chương trình logic mô tả, nó gồm cơ sở tri thức L và một tập hữu hạn các quy tắc logic mô tả P. Các quy tắc này tương tự như quy tắc trong chương trình logic, nhưng chúng có thể chứa các truy vấn đến L trong thân của chúng. Một đặc điểm quan trọng là truy vấn như vậy cũng cho phép xác định một đầu vào từ P, nó như là một luồng thông tin từ P đến L, bên cạnh luồng thông tin từ L đến P được đưa ra bởi truy vấn bất kỳ đến L. Ta cũng

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.