ngôn ngữ biểu diễn ontology OWL

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