Nhắc lại † OWL dựa trên logic đặc tả „ Với ngữ nghĩa hình thức ở dạng frame † OWL tương thích với các đặc tính của RDF(S) † 3 dạng: „ OWL Lite CƠ SỞ LOGIC ĐẶC TẢ CỦA OWL † Ngôn ngữ ontology đơn giản với cơ chế suy diễn hiệu quả † Không có dữ liệu ở dạng lớp (class) „ OWL DL † Ngôn ngữ ontology với cơ chế suy diễn mạnh hơn † cho phép tham chiếu đến các kiểu dữ liệu, các URI, bao gồm cả tên từ RDF, RDFS và kiểu dữ liệu lược đồ XML. „ OWL full † Ngôn ngữ ontology mạnh nhất † Không có sự kế thừa Hanoi University of Technology – Master 2006 2 Hệ CSTT First Order Logic Extracts from slides of Bruijn † Các hệ thống dựa trên các phương pháp và kỹ thuật của TTNT † Để thao tác với CSTT „ Biểu diễn CSTT dựa trên logic hoặc không † Các hệ thống không dựa trên logic sử dụng các cấu trúc dữ liệu để thao tác với tri thức „ Các hệ thống Frame „ Mạng ngữ nghĩa † Các hệ thống dựa trên logic dựa trên biến thể của logic vị từ cấp 1 (first-order logic) hoặc logic khác để thao tác „ Định nghĩa ngữ nghĩa tốt để suy luận 3 4 fb.com/groups/ 1 FOL syntax (1) FOL syntax (2) 5 FOL semantics (1) FOL semantics (2) 7 6 8 fb.com/groups/ 2 FOL semantics (3) Ví dụ Biểu thức A = ∀x.man(x) → person(x) † Miền Δ = {b, h, c, d, e} † Cho phép dich I sau: „ billI = b, hillaryI = h, chelseaI = c „ personI = {b, h, c} „ manI = {b} † Theo phép dịch đó, biểu thức A có giá trị true, vì vậy, I là một mô hình của A 9 † Nếu chọn I’ giống I nhưng manI’ = {b,d}, khi đó A có giá trị false, I’ không là một mô hình của A Logic mô tả - Description Logics Các khái niệm cơ bản của DL † Dựa trên khái niệm (concept) và vai trò (role) † Concepts (classes) „ Khái niệm là tập các đối tượng „ Vai trò là các quan hệ nhị phân trên các đối tượng † Roles (properties) „ vd., Person, Doctor, Parent † DL cho phép xây dựng các khái niệm và vai trò phức tạp từ những cái đơn giản hơn, bao gồm „ Conjunction, disjunction, negation „ Một số dạng của lượng từ † Là

Lire le document entier