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. Mời các bạn cùng tham khảo nội dung chi tiết của tài liệu.