9/30/2011
1
Ngôn ng bi
u di
n
Ontology OWL
Các hn chế ca RDFS
RDFS còn khá yếu trong kh năng mô t chi
tiết
tiết
Range và domain không th được cc b
hóa
Ví d thuc tính hasChild ca Person và Elephant
Không thc hin được ràng buc trên tính
t
n t
i v
à
l
c
l
ượ
n
g
àcượ g
Bt c thc th nào ca lp người ch có mt và
ch mt m -(cũng là người) và có đúng 2 người
là cha m
2
Các hn chế ca RDFS
Không định nghĩa được tính
T
T
ruy
n
ng
Đối xng
Nghch đảo
VD: part of , hasPart – isPartOf, touches
Htrsuy dinchưathcshoàn ho
H
tr
suy
din
chưa
thc
s
hoàn
ho
3
Cn ngôn ng mi
M rng các chun Web hin ti
XML RDF RDFS
XML
,
RDF
,
RDFS
D hiu, d dùng
Da trên ngôn ng biu din tri thc ph
biến
Kh năng din đạt
T động h tr suy din
4
9/30/2011
2
S phát trin các ngôn ng Ontology
5
OWL
Xây dng trên RDF/XML
Bhiêb
B
a p
hiê
n
b
n
Lite
DL
Full
6
OWL-DL
Da trên Logic mô t
h thbidi hĩ
ng c
n
h
th
c
bi
u
di
n ng
ng
hĩ
a
Lut
Gi định
Các thut toán suy din
thu đượckếtlun trong thigianhuhn
thu
được
kết
lun
trong
thi
gian
hu
hn
Được h tr bi nhiu h thng Suy din
7
Logic mô t
Mô hình đối tượng phân lp các khái nim
khái i(t)tááth
khái
n
i
m
(
concep
t)
:
t
p c
á
c c
á
th
vai trò (role): quan h nh phân gia các
cá th
concept và role: Tbox
áthAb
c
á
th
:
Ab
o
x
8
9/30/2011
3
OWL
Khai báo ontology
Ontology metadata
<rdf:RDF xmlns:owl =http://www.w3.org/2002/07/owl#"
xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:xsd ="http://www.w3.org/2001/XMLSchema#">
9
<l iV i <owl:priorVersion
rdf:resource="http://www.mydomain.org/uni-ns-old"/>
<owl:imports
rdf:resource="http://www.mydomain.org/persons"/>
Lp
Lp con ca owl: Thing
Đị hhĩbilCl
Đị
n
h
ng
hĩ
a
bi
: ow
l
:
Cl
ass
<owl:Class rdf:ID="Vehicle"/>
Lp tương đương: owl:equivalentClass
1 0
<owl:Class rdf:ID="Car">
<owl:equivalentClass rdf:resource="#Automobile"/>
</owl:Class>
Lp tha kế
owl:subClassOf
<owl:Class rdf:ID="2-Wheel-Drive">
<rdfs:subClassOf rdf:resource="#Car"/>
</owl:Class>
1 1
Lp tách ri
owl:disjointWith
<owl:Class rdf:about="#2-Wheel-Drive">
<owl:disjointWith
rdf:resource="#4-Wheel-Drive"/>
<
/owl:Class
>
1 2
/owl:Class
9/30/2011
4
Thuc tính
Thuc tính d liu
kidliXSD
ki
u
d
li
u
XSD
Th h đốit
<owl:DatatypeProperty rdf:ID="age">
<rdfs:domain rdf:resource="#Person"/>
<rdfs:range rdf:resource="http://www.w3.org/2001/
XMLSchema#nonNegativeInteger"/>
</owl:DatatypeProperty>
Th
u
c
n
h
đối
t
ượng
1 3
<owl:ObjectProperty rdf:ID="isTaughtBy">
<rdfs:domain rdf:resource="#course"/>
<rdfs:range rdf:resource="#academicStaffMember"/>
<rdfs:subPropertyOf rdf:resource="#involves"/>
</owl:ObjectProperty>
Th hin
<rdf:Description rdf:ID="949353">
<
rdf:type rdf:resource
="
#academicStaffMember
"
/
>
rdf:type
rdf:resource #academicStaffMember /
</rdf:Description>
Tương đương
<academicStaffMember rdf:ID="949353"/>
<academicStaffMember rdf:ID="949352">
<uni:age rdf:datatype="&xsd;integer">
39
</uni:age>
</academicStaffMember>
1 4
OWL
Khái nim nguyên thy
Khái nim định nghĩa
1 5
Khái nim gc
owl:Thing
l N thi
o
w
l
:
N
o
thi
ng
1 6
9/30/2011
5
Lp
ex:Human rdf:type owl:Class
owl:Class rdfs:subClassOf
rdfs:Class
1 7
Lp được định nghĩa
Mt người s có cha m là người :
Human(x) (parent(x, y) Human(y))
Human : all parent Human
1 8
allValuesFrom
hn chế : định nghĩa mt lp classe vô danh
owl:Class Human
rdfs:subClassOf
owl:Restriction
owl:onProperty parent
owl:allValuesFrom Human
1 9
<owl:Class rdf:about="#firstYearCourse">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#isTaughtBy"/>
<owl:allValuesFrom rdf:resource="#Professor"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#mathCourse">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#isTaughtBy"/>
<owl:hasValue rdf:resource="#949352"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>