tailieunhanh - Xây dựng luật trong ontology mờ

Bài báo trình bày ngôn ngữ biểu diễn tri thức logic mô tả mờ (Fuzzy description logics), xây dựng luật mờ dựa trên ngôn ngữ f-SWRL, sử dụng bộ truy vấn Fuzzy description logics query trong plugin fuzzy OWL 2 và xây dựng một hệ thống ứng dụng trong tư vấn chọn nghề cho học sinh phổ thông. | JOURNAL OF SCIENCE OF HNUE FIT. 2013 Vol. 58 pp. 70-78 This paper is available online at http XÂY DỰNG LUẬT TRONG ONTOLOGY MỜ Huỳnh Thị Thanh Hương1 Phạm Thị Anh Lê2 1 Trường THPT Lê Quý Đôn Đăk Lăk 2 Khoa CNTT Trường Đại học Sư phạm Hà Nội 2 E-mail lepta@ Tóm tắt. Ontology mờ fuzzy ontology là sự kết hợp của công nghệ ontology và lí thuyết tập mờ nhằm biểu diễn các tri thức mơ hồ không chắc chắn và lập luận trên các tri thức đó thông qua hệ thống các luật. Trong bài báo này chúng tôi đề xuất một phương pháp biểu diễn luật mờ nhằm hỗ trợ công cụ fuzzy Protégé thực hiện truy vấn trên ontology mờ. Bài báo trình bày ngôn ngữ biểu diễn tri thức logic mô tả mờ Fuzzy description logics xây dựng luật mờ dựa trên ngôn ngữ f-SWRL sử dụng bộ truy vấn Fuzzy description logics query trong plugin fuzzy OWL 2 và xây dựng một hệ thống ứng dụng trong tư vấn chọn nghề cho học sinh phổ thông. Từ khóa Ontology mờ logic mô tả mờ ngôn ngữ f-SWRL. 1. Mở đầu Ontology mờ được Straccia giới thiệu trong 1 nhằm biểu diễn tri thức trong những miền ứng dụng có các thông tin mơ hồ không chắc chắn. Ontology mờ có nền tảng là logic mô tả mờ 2 3 trong đó các khái niệm và vai trò được biểu diễn như các tập mờ. Theo cách đó một thể hiện có thể thuộc hay không thuộc một khái niệm mờ hay vai trò mờ cho trước dựa vào một mức độ thành viên cụ thể. Một trong những ngôn ngữ biểu diễn tri thức trong ontology mờ là logic mô tả mờ fuzzy DL . Giống như logic mô tả logic mô tả mờ bao gồm một hệ thống các kí hiệu biểu diễn các khái niệm và vai trò các tạo tử mang ngữ nghĩa khác nhau và hỗ trợ các thuật toán lập luận. Cơ sở tri thức trong logic mô tả mờ được biểu diễn và lập luận với hai mức độ fuzzy Tbox hộp thuật ngữ mờ và fuzzy Abox hộp khẳng định mờ . Lập luận trên ontology mờ chủ yếu dựa vào việc biểu diễn luật tiên đề axiom và truy vấn dựa trên cơ sở các luật và tiên đề đó bằng các công cụ lập luận và truy vấn cụ thể. 2. Nội dung nghiên cứu . Ngôn ngữ logic mô tả mờ Logic mô