9/30/2011 Các hạn chế RDFS Ngôn ngữ biểu ể diễn ễ Ontology OWL RDFS yếu khả mô tả chi tiết Range domain cục hóa Ví dụ thuộc tính hasChild Person Elephant Không thực ràng buộc tính lực ực lượng ượ g tồn Bất thực thể lớp người có mẹ - (cũng người) có người cha mẹ Các hạn chế RDFS Cần ngôn ngữ Không định nghĩa tính Truyền T ề ứ ứng Đối xứng Nghịch đảo Mở rộng chuẩn Web XML, XML Dễ hiểu, dễ dùng VD: part of , hasPart – isPartOf, touches Hỗ trợ suy diễn chưa thực hoàn hảo RDF RDF, RDFS Dựa ngôn ngữ biểu diễn tri thức phổ biến Hình thức Khả diễn đạt Tự động hỗ trợ suy diễn 9/30/2011 OWL Sự phát triển ngôn ngữ Ontology Xây dựng RDF/XML Ba B phiên hiê bả Lite DL Full OWL-DL Logic mô tả Dựa Logic mô tả Công Cô cụ hình hì h thứ thức biểu biể diễ diễn ngữ ữ nghĩa hĩ Mô hình đối tượng phân lớp khái niệm khái niệm iệ (concept): ( t) tập tậ cá thể vai trò (role): quan hệ nhị phân cá thể concept role: Tbox cá thể thể: Abox Ab Các thuật toán suy diễn Luật Giả định thu kết luận thời gian hữu hạn Được hỗ trợ nhiều hệ thống Suy diễn 9/30/2011 OWL Lớp Khai báo ontology Lớp owl: Thing Định Đị h nghĩa hĩ bởi: owl:Class l Cl ...9/30/2011 OWL Sự phát triển ngôn ngữ Ontology Xây dựng RDF/XML Ba B phiên hiê bả Lite DL Full OWL- DL Logic mô tả Dựa Logic mô tả Công Cô cụ hình hì h thứ thức biểu biể diễ diễn ngữ ữ... Lớp tương đương: owl: equivalentClass < /owl: Class> < /owl: Class> owl: Class Man owl: disjointWith j Woman Courses and staff members are disjoint < owl: disjointWith