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

Trần Văn An

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
Xác định domain và giới hạn
05.07.15
11
Linh vực: Địa lý

Ứng dụng: Quy hoạch 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?
Liệt kê các term quan trọng
05.07.15
12
country
city
capital
border
connection
Connection_on_land
Connection_in_air
Connection_on_water
road
railway
currency
Định nghĩa các 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 buộc về kiểu

S:KT0(&UVCountry
Định nghĩa các ràng buộc
05.07.15
16

Ràng buộc giữa các tính chất

S:KT0(&Umultiple#+"U0
single

Ràng buộc về kiểu

S:KT0(&UVCountry
RDF and RDFS
05.07.15
17

RDFS mở rộng RDF với " schema vocabulary",
ví dụ như:
•
Class, Property

•
type, subClassOf, subPropertyOf
•
range, domain
RDF Data Model
05.07.15
18
•
Khai báo <subject, predicate, object> là bộ 3 (triples):
<A,hasColleague,B> Có thể được biểu diễn
dưới dạng:
•
Một tài nguyên bất kì là một object, có
thể được trỏ đến như một URI
•
Các thuộc tính cũng là các tài nguyên.
A
B
hasColleague
Khai báo RDF
05.07.15
19

KNN*:"*0N(:*"&"
"0 0&"& W0+
Khai báo RDF
05.07.15
20

+QK,8:%%C

%!H?0("A#
1$X.*

O("K,8:% 
"8Y1.".."
%:%?17/0#8/0#
"80(8A#1$X
=*

9QK,8:%%."
 #1$XZ*
Khai báo RDF
05.07.15
21

F.K[P\
KNN*:"*0N(:**

]=K"0*

>ZKW0+*
Khai báo RDF
05.07.15
22

P^&'([PR1HI%
6_."!:%.#
=Z0%*

F.K

KNN*:"*0N(:**

]=K
KNN*0N(N&N`*`N"0*

>ZK
KNN*:"*0N&"a(Nbcdef*
Khai báo RDF
05.07.15
23

>@% "$//0gP^*
F%;0g!%.
Z0 "%0
g=*
Khai báo RDF
05.07.15
24
Khai báo RDF
05.07.15
25