NHỮNG NGUYÊN LÝ VÀ THỰC TIỄN CỦA SUY DIỄN SEMATIC WEB Principles and Practices of Semantic Web Reasoning Tiểu luận môn: Sematic Web Thực hiện: Lê Bá Minh Phong Nguyễn Thị Thanh Tâm Trần Thị Thành Nguyễn Vũ Cát Tường Trần Như Đăng Tuyên Nội dung tiểu luận … … … ERDF EFGT net Mô tả quy tắc nhập Xcerpt ERDF Ontology suy diễn tự động khối kết cấu Web ngữ nghĩa Quy tắc dẫn xuất gồm ontology để xác định khái niệm có nguồn gốc dựa khái niệm sở Ngồi ra, cịn bao gồm thông tin phủ định negation-as-failure thông tin phủ định rõ ràng Các mơ hình ngữ nghĩa ổn định ERDF khung mở rộng (Extended RDF) định nghĩa mở rộng ngữ nghĩa RDF(S) Được dựa phần logic, phần mở rộng chân lý biến đổi thuộc tính, lớp Hỗ trợ hai suy diễn closed-world open-world thông qua giả thuyết closed-world ontology ERDF tổng thuộc tính tổng lớp EFGT net Các tên mục (thực thể) phổ biến văn web loại văn khác Các thông tin liên kết người dùng thông qua tên mục thường xuyên xuất văn đại diện cho thông tin đa dạng, đầy đủ văn Để sử dụng hình thức thông tin xử lý văn tự động, tài nguyên cần thiết để dùng làm cho thông tin thực mục đặt tên rõ ràng, thức hóa cách thích hợp EFGT net… EFGT net đại diện cho nguồn tài nguyên tập trung vào lĩnh vực chuyên đề (F), vị trí địa lý (G) thời gian thời gian (T) kết hợp với thực thể (E) Tên mục bốn loại bố trí khơng gian điều hướng (tức mạch hở) Cấu tạo mạch hở nhằm mục đích hỗ trợ cho nhiệm vụ phân loại lập mục Mỗi mục kèm với định danh mô tả vai trò mục nhập vào Phiên EFGT net chứa 20.000 mục Sau thêm mục mới, vị trí hệ thống phân cấp tính tốn cách hồn tồn tự động EFGT net… Tính quan trọng hệ thống sau thêm mục mới, vị trí hệ thống phân cấp tính tốn cách hồn toàn tự động Quan hệ gồm chuyên đề, địa lý thời gian, đưa vào tài khoản Các chế tương tự sử dụng để tìm kiếm văn lập mục ngữ nghĩa EFGT net giai đoạn nay, tập trung vào ứng dụng thực tiễn tài nguyên để duyệt web Một nguyên mẫu EFGT cho phép duyệt web trình bày thẻ trang web với liệu ngữ nghĩa từ EFGT net môi trường đa ngôn ngữ Mô tả quy tắc nhập Xcerpt Các quy tắc cung cấp mơ tả kiểu hệ thống: nhập chương trình kết gần với ngữ nghĩa Các quy tắc xem hình thức trừu tượng kiểu suy luận thuật toán giai đoạn việc chứng minh tính đắn thuật tốn Các hạn chế là, cần giải với thuật ngữ liệu tương ứng với (thay đồ thị nói chung) khơng giải với chuỗi quy tắc Xcerpt Cám ơn thầy giáo bạn quan tâm lắng nghe!