Truy vấn dữ liệu thông qua Ontology

Trần Văn An tavistu@gmail.com Bài 3.2: Truy vấn dữ liệu thông qua Ontology Nội dung • Khái niệm • Ngôn ngữ truy vấn logic • Truy vấn dữ liệu thông qua Ontology • Ánh xạ lược đồ • Mô tả lập luận logic • Truy vấn cơ sở dữ liệu tích hợp • RDF and SPARQL 05.07.15 2 Semantic web 05.07.15 3    !"# $%&'(% )(%"* Semantic web 05.07.15 4  +" ,- ." /#0!1$ 2"3#4$56016 %"17%8 Semantic web 05.07.15 5  +'(%9008:%2" ."%;  9008< 5%=  >?@AB!1$C =%&D!#2"." %!E1$:%*  F!:%G""%@ 0H0008%" Ontology 05.07.15 6  9ntology 1$C= tập từ vựng để mô hình hóa thế giới bên ngoài, nó đưa ra các khái niệm cơ bản và định nghĩa quan hệ giữa các khái niệm đó trong một miền lĩnh vực*  9008<% # %I6&-HJ2"05 ." =* Cấu trúc của một Ontology 05.07.15 7  900817!",K L>(M0%51$ 02I0&% L>)H."2I0&% Ví dụ về Ontology 05.07.15 8 Concept : Các thực thể khái niệm của miền. Attribute  Thuộc tính của các concept Relation Quan hệ giữa các concept hoặc thuộc tính Axiom Mô tả mạch lạc giữa các Concept/Attribute/Relation qua các biểu thức logic holds(Professor, Lecture) ⇒ Lecture.topic ∈ Professor.researchField Các phần tử của Ontology 05.07.15 9  F0&?"&&&AL"8  F00&?&0&N"&A  O08&0&?8#"("8# (0"A  P"0&0&?(&Q0# G"8A  R&"& Các bước xây dựng Ontology 05.07.15 10  Xác định domain và giới hạn  Liệt kê các term quan trọng  Định nghĩa các class và phân cấp của chúng  Định nghĩa các slot  Định nghĩa các ràng buộc [...]... các tuyến đường Các câu hỏi có thể: Khoảng cách giữa hai thành phố? Những đường nào nối giữa 2 thành phố? Trong đó đất nước là một thành phố? Có bao nhiêu đường giao nhau? 11 05.07.15 Liệt kê các term quan trọng city capital Connection_on_land border country Connection_on_water currency road railway Connection_in_air connection 12 05.07.15 Định nghĩa các class và phân cấp của chúng 13 05.07.15 Định . class và phân cấp của chúng 05. 07. 15 13 Định nghĩa các slot của class 05. 07. 15 14 Định nghĩa các ràng buộc 05. 07. 15 15  Ràng buộc giữa các tính chất  S:KT0(&Umultiple#+"U0 single  Ràng. ." /#0!1$ 2"3#4$ 5 6016 %"17%8 Semantic web 05. 07. 15 5  +'(%9008:%2" ."%;  9008<  5 %=  >?@AB!1$C =%&D!#2"." %!E1$:%*  F!:%G""%@ 0H0008%" Ontology 05. 07. 15 6  9ntology. # %I6&-HJ2"0 5  ." =* Cấu trúc của một Ontology 05. 07. 15 7  900817!",K L>(M0% 5 1$ 02I0&% L>)H."2I0&% Ví