cơ sở logic đặc tả của owl hệ CSTT

Nhắc lại † OWL dựa logic đặc tả „ Với ngữ nghĩa hình thức dạng frame † OWL tương thích với đặc tính RDF(S) † dạng: „ OWL Lite CƠ SỞ LOGIC ĐẶC Ặ TẢ CỦA OWL † Ngôn ngữ ontology đơn giản với chế suy diễn hiệu † Không có liệu dạng lớp (class) „ OWL DL † Ngôn ngữ ontology với chế suy diễn mạnh phép p tham chiếu đến kiểu liệu, URI, bao † cho p gồm ả tên ê từ RDF, RDFS kiểu ể ữ liệu ệ lược đồ XML „ OWL full † Ngôn ngữ ontology mạnh † Không có kế thừa Hanoi University of Technology – Master 2006 Hệ CSTT First Order Logic Extracts from slides of Bruijn † Các hệ thống dựa phương pháp kỹ thuật TTNT † Để thao th tác tá với ới CSTT „ Biểu diễn CSTT dựa logic không † Các hệ thống không dựa logic sử dụng cấu trúc 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 logic dựa biến thể logic vị từ cấp (first-order logic) logic khác để thao tác „ Định nghĩa ngữ nghĩa tốt để suy luận FOL syntax (1) FOL syntax (2) FOL semantics (1) FOL semantics (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, true vậy, I mô hình A † Nếu chọn I’ giống I manI’ = {b,d}, A có giá trị false, I’ không mô hình A Logic mô tả - Description Logics Các khái niệm DL † Dựa khái niệm (concept) vai trò (role) † Concepts (classes) „ Khái niệm tập đối tượng „ Vai trò quan hệ nhị phân đối tượng † Roles (properties) 10 „ vd., Person, Doctor, Parent † DL cho phép xây dựng khái niệm vai trò phức tạp từ đơn giản hơn, bao gồm „ Conjunction, disjunction, negation ộ số dạng g lượng ợ g từ „ Một † Là tập First Order Logic „ vd., hasChild, hasName, hasAncestor † Individuals (objects) „ vd., John, Mary, Italy † Constructors „ Để tạo khái niệm: niệm vd., d cộng gộp, gộp kết nối, nối tách, … „ Để tạo vai trò (axiom): vd., đảo, đối xứng, … 11 12 Các tầng ngôn ngữ OWL Ví dụ cú pháp ngữ nghĩa DL † OWL DL „ Có cách biểu diễn chuẩn DL „ Tương đương với SHOIN † OWL Lite „ Là tập “dễ cài đặt” OWL DL „ Tương đương với SHIN † OWL Full „ hợp OWL DL RDFS „ Ngữ nghĩa RDF mở rộng với điều kiện ngữ nghĩa liên quan biểu diễn dạng ba 13 OWL Constructs 14 OWL Axioms 15 16 OWL and DL OWL Species † OWL Full for users who want maximum expressiveness and the syntactic freedom of RDF „ E.g., Classes as instances † Every legal OWL Lite ontology is a legal OWL DL ontology † Every legal OWL DL ontology is a legal OWL Full ontology † Every OWL (Lite (Lite, DL, DL Full) document is an RDF document, and every RDF document is an OWL Full document † But only some RDF documents will be a legal OWL Lite or OWL DL document 17 18 Syntaxes of OWL OWL Abstract syntax † Abstract syntax † DL syntax „ associateProfessor ⊆ academicStaffMember „ fullProfessor f ll f ⊆ academicStaffMember d ff b „ fullProfessor ⊆ ¬associateProfessor „ facultyMember ≡ academicStaffMember † OWL Abstract syntax „ Class( associateProfessor partial academicStaffMember) „ Class( fullProfessor partial academicStaffMember) „ DisjointClasses ( fullProfessor associateProfessor ) „ Class( facultyMember complete academicStaffMember) „ Human readable „ Not defined for OWL Full † RDF/XML „ Official exchange syntax (for the Semantic Web) „ Harder for human reading 19 20 RDF/XML syntax More example † < l Cl df ID "f lt M b "> † † In DL Wine ⊆ PotableLiquid ∩ ∀hasMaker.Winery In abstract syntax Class (Wine partial intersectionOf (PotableLiquid restriction (hasMaker allValuesFrom (Winery ) ) )) In RDF/XML 21 22 Bài tập Further reading † "Tác giả" bao gồm tất người viết sách phần sách † Tacgia, nguoi, viet, sach, motphancua.sach † Jos de Bruijn: Using Ontologies Enabling Knowledge Sharing and Reuse on the Semantic Web DERI Technical Report DERI-2003-10-29, 2003 http://www.deri.org/publications/techpapers/d ocuments/DERI-TR-2003-10-29.pdf † OWL Guide: http://www.w3.org/TR/owl-guide/ † OWL Reference: http://www.w3.org/TR/owlref/ † OWL Abstract syntax and Semantics: http://www.w3.org/TR/owl-semantics/ † Tacgia = nguoi ∩ ∀viet.(sach ∪∃motphancua.sach) † Happy parent is a person all of whose children are either Doctors or have a child who is a Doctor † {Doctor ⊆ Person, HappyParent ≡ Person ∩ ∀hasChild.(Doctor h hild ( ∪ ∃hasChild.Doctor)} h hild )} 23 24 ... Enabling Knowledge Sharing and Reuse on the Semantic Web DERI Technical Report DERI-200 3-1 0-2 9, 2003 http://www.deri.org/publications/techpapers/d ocuments/DERI-TR-200 3-1 0-2 9.pdf † OWL Guide:... ocuments/DERI-TR-200 3-1 0-2 9.pdf † OWL Guide: http://www.w3.org/TR /owl- guide/ † OWL Reference: http://www.w3.org/TR/owlref/ † OWL Abstract syntax and Semantics: http://www.w3.org/TR /owl- semantics/ † Tacgia = nguoi ∩ ∀viet.(sach... )) In RDF/XML