TE
CH
• Khai báo o n c∀a RDF cho phép ch− ra mt th∋ gì ó (thing) hoàn toàn ! bên ngoài tài liu, hay thm chí ”chia s∗ không gian thông tin” ("shared information space") cng nh Web. T# ó, có th có ý t!ng t ng quan hn nh mt chic xe hi c bit hay là mt con k3 lân thn tho i (a mythical Unicorn).
• Mt ∋ng d(ng tài liu rdf+xml th hin nh mt phng tin trung gian gia các Web truy tìm tài liu (ti thiu là chính nó, hay bt c∋ các trang Web truy tìm URIs khác mà nó s+ d(ng, có th bao gm lc URIs và tham chiu n các tài liu RDF khác), không phi là các thc th
Web mà RDF mô t.
URIrefs và nhng biu hin c∀a nó không ch− phù hp vi mô hình và nguyên lý c∀a RDF và cách s+ d(ng chúng, mà còn phù hp vi cách ho t ng c∀a Web. Mt ∋ng d(ng RDF có kh nng truy tìm các th hin c∀a tài nguyên c khai báo b!i URIs trên th% RDF.
Ví d(:
<rdf:Description ID=”acb”> …
</rdf:Description>
Ví d( này có ý ngh)a rdf:ID dùng %nh ngh)a mt tài nguyên và giá tr% c∀a tài nguyên này là mt khai báo o n không có ký t “#” tài nguyên này không c %nh ngh)a na trong cùng mt tài liu RDF.
II.3. T2ng quan v# OWL (Web Ontology Language)
Các ∋ng d(ng cn x+ lý ni dung thông tin thay vì ch− hin th% thông tin ti ngi dùng thì s+ d(ng OWL (Web Ontology Language). OWL dùng mô t ý ngh)a c∀a các t# và các mi quan h gia các t# trong b t# vng.
OWL có nhiu thun li hn XML, RDF, và RDF Schema (RDF-S) v mt th
ý ngh)a và ng ngh)a. OWL k th#a l i ngôn ng web ontology DAML+OIL.
OWL có 3 ngôn ng con có tính biu di,n tng dn (increasingly- expressive sublanguagies): OWL Lite, OWL DL, và OWL Full.
HU
TE
CH
Web ng ngh)a (Sematic Web) là mt tm nhìn v tng lai c∀a Web trong ó thông tin c th hin ý ngh)a rõ ràng, iu ó làm cho máy tính d, x+ lý t ng và tích hp thông tin có s0n trên Web. Web ng ngh)a s∗ xây dng trên kh nng c∀a XML %nh ngh)a tùy bin các lt th. (th.) và tính linh ng c∀a RDF th hin d liu. Web ng ngh)a là mt ngôn ng ontology có th mô t các thut ng trong các tài liu Web. Nu máy tính (machine) có kh nng suy lun các tác v( trên các tài liu này, thì ngôn ng ontology phi da trên ng ngh)a c bn c∀a lc RDF (RDF Schema).
• XML cung cp mt cú pháp cho nhng tài liu có cu trúc, nhng không áp t s ràng buc ng ngh)a da trên ý ngh)a c∀a tài liu này. • L!∀t XML là mt ngôn ngcho phép gii h n cu trúc các tài liu
XML và có kh nng m! rng các kiu d liu (datatypes).
• RDF là mt mô hình d liu (datamodel) các i tng (objects) (“resources”) và các mi liên h gia chúng, cung cp mt ng ngh)a n gin cho mô hình d liu này, và các mô hình d liu này có th c th hin b&ng cú pháp XML.
• L!∀t RDF là mt t# vng (vocabulary) mô t các thuc tính và các lp c∀a các tài nguyên RDF, vi mt ng ngh)a cho s phân cp khái quát c∀a các lp và các thuc tính.
• OWL b sung nhiu t# vng hn mô t các lp và các thuc tính nh: mi quan h gia các lp (ch1ng h n: disjointness (không kt ni)), bn s (cardinality) (ch1ng h n: “exactly one”), s ngang b&ng (equality), có nhiu kiu thuc tính, các c trng (characteristies) c∀a các thuc tính (ch1ng h n symmetric (tính i x∋ng)), và các lp c lit kê.
II.3.1. Ba ngôn ng% con ca OWL
OWL cung cp 3 ngôn ng con có tính biu di,n tng dn (increasingly expressive sublanguages):
HU
TE
CH
• OWL Lite h tr cho vic chuyên bit hoá h thng th∋ bc và các ràng buc n gin. Ví d(: trong khi nó h tr các ràng buc bn s (cardinality), nó ch− cho phép bn s có các giá tr% 0 hoc 1. Bn s là mt công c( n gin h tr cho các mi quan h trong OWL Lite.
OWL Lite ít ph∋c t p hn OWL DL.
• OWL DL h tr s biu di,n cao trong khi gi c tt c các kt qu c bo m có th tính toán (computational completeness) và tính d, quyt %nh (tt c các tính toán s∗ kt trong thi gian hu h n). OWL
DL bao gm tt c các ngôn ng OWL, nhng chúng có th c ch−
dùng di nhng s h n ch nht %nh (Ví d(: trong khi mt lp có th là mt lp con c∀a nhiu lp, mt lp không th là mt th hin (instance) c∀a lp khác). OWL DL có tên da vào s tng ∋ng c∀a nó vi s mô t lôgic (Description Logic).
• OWL Full c dùng biu di,n y ∀ cú pháp c∀a RDF mà không có s bo m trong vic tính toán. Ví d(: trong OWL Full, mt lp có th x+ lý ng thi nh là mt tp hp c∀a các cá th (individual) và trong khi mt cá th cng là chính nó. OWL Full cho phép mt ontologylàm tng ý ngh)a t# vng c %nh ngh)a trc (RDF hoc OWL). Nó không ging nh bt k3 mt phn mm suy lun có kh nng h tr suy lun trên mi tính nng c∀a OWL Full.
Mi ngôn ng con này là mt s m! rng theo th∋ t OWL Lite, OWL DL và OWL Full. Di ây là mt tp các mi quan h c∀a các ngôn ng OWL. iu ngc l i c∀a chúng thì không úng.
• Mi OWL Lite ontology hp pháp là mt OWL DL ontology hp pháp. • Mi OWL DL ontology hp pháp là mt OWL Full ontology hp pháp.
• Mi kt lun OWL Lite hp l là mt kt lun OWL DL hp l. • Mi kt lun OWL DL hp l là mt kt lun OWL Full hp l.
HU
TE
CH
Nhng ngi phát trin ontology cn phi xem xét ngôn ng con nào thích hp nht mà h cn. S la chn gia OWL Lite và OWL DL ph( thuc vào ph m vi mà nhng ngi dùng yêu cu cách xây dng ng ngh)a có tính biu di,n hn c thì vi OWL DL là thích hp. S la chn gia OWL DL và OWL Full ch∀ yu ph( thuc vào ph m vi mà nhng ngi dùng yêu cu các tin ích siêu mô hình (meta-modeling) c∀a lt RDF (ch1ng h n %nh ngh)a các lp c∀a các lp, hoc gn các thuc tính cho các lp).
OWL Full có th c xem nh là s m! rng c∀a RDF, trong khi ó OWL Lite và OWL DL có thc xem nh là s m! rng v s gii h n c∀a RDF. Mi tài liu OWL (Lite, DL, Full) là mt tài liu RDF, và mi tài liu RDF là mt tài liu OWL Full, nhng ch− mt vài tài liu RDF s∗ là mt tài liu c∀a OWL Lite hoc OWL DL hp l. Do vy, phi thn trng khi chúng ta mun chuyn mt tài liu RDF sang OWL. Khi tính biu di,n c∀a OWL DL hoc OWL Lite c ngh) r&ng thích hp, mt s s phòng phi c dùng n bo m chc chn tài liu RDF nguyên gc tuân theo vi nhng s
ràng buc b sung c áp t b!i OWL DL và OWL Lite. Ngoài ra, mi URI
c s+ d(ng nh mt tên lp thì phi c xác %nh là owl:Class (và tng t cho các thuc tính), mi cá th (individual) phi c xác %nh thuc v ít nht mt lp nào ó, URI c d(ng cho các lp, các thuc tính và các cá th phi liên kt ln nhau.
II.3.2. Bng tóm t3c ngôn ng% OWL
Phn này cung cp mt ch− m(c (index) ti tt c các c tính cho OWL Lite, OWL DL, và OWL Full.
Chú ý: các thut ng in nghiêng là các thut ng trong OWL. Nhng tip u ng rdf: hoc rdfs: c s+ d(ng khi các thut ngã hin hu trong RDF hoc trong lc RDF. Các thut ng khác c gii thiu b!i OWL. Do ó thut ngrdfs:subPropertyOf cho bit r&ng subPropertyOf ã có trong t# vng rdfs ri. Cng vy, thut ng Class nói rõ hn nh là owl:Class là mt thut ng c gii thiu b!i OWL.
HU
TE
CH
II.3.2.1. Bng tóm t3t ca OWL Lite
Danh sách xây dng ngôn ng OWL Lite c cho bên di.
RDF Schema Features:
• Class (Thing, Nothing)
• rdfs:subClassOf • rdf:Property • rdfs:subPropertyOf • rdfs:domain • rdfs:range • Individual (In)Equality: •equivalentClass •equivalentProperty •sameAs •differentFrom •AllDifferent •distinctMembers Property Characteristics: •ObjectProperty •DatatypeProperty •inverseOf •TransitiveProperty •SymmetricProperty •FunctionalProperty •InverseFunctionalProperty Property Restrictions: • Restriction • onProperty • allValuesFrom • someValuesFrom Restricted Cardinality: •minCardinality (only 0 or 1) •maxCardinality (only 0 or 1) •cardinality (only 0 or 1) Header Information: •Ontology •imports Class Intersection: • intersectionOf Datatypes • xsd datatypes Versioning: • versionInfo • priorVersion • backwardCompatibleWith • incompatibleWith • DeprecatedClass • DeprecatedProperty Annotation Properties: • rdfs:label • rdfs:comment • rdfs:seeAlso • rdfs:isDefinedBy • AnnotationProperty • OntologyProperty
II.3.2.2. Bng tóm t3t OWL DL và OWL Full
Danh sách xây dng ngôn ng OWL DL và OWL Full c b sung hoc m! rng t# OWL Lite c cho bên di.
Class Axioms:
• oneOf, dataRange
• disjointWith
• equivalentClass
(applied to class expressions)
• rdfs:subClassOf
(applied to class expressions)
Boolean Combinations of Class Expressions:
• unionOf
• complementOf
HU TE CH Arbitrary Cardinality: • minCardinality • maxCardinality • cardinality Filler Information: • hasValue
II.3.3. Mô t ngôn ng% OWL Lite
OWL Lite ch− s+ d(ng mt sc tính c∀a ngôn ng OWL và có nhiu s thu h4p hn v vic s+ d(ng các c tính nh c∀a OWL DL hoc OWL Full.
II.3.3.1. Các 4c tính ca OWL Lite và l!∀c RDF
Các c tính c∀a OWL Lite di ây có quan h vi lc RDF bao gm: • Class: Mt lp %nh ngh)a mt nhóm các cá th (individuals) mà hp vi
nhau b!i vì chúng chia s∗ mt vài thuc tính. Ví d(: Deborah và Frank c hai là thành viên c∀a lp Person. Các lp có th c t ch∋c trong mt s phân cp chuyên môn hóa s+ d(ng subClassOf . Có mt lp t ng quát nht c xây dng s0n có tên là Thing ngh)a là lp c∀a tt c các cá th và là mt lp cha c∀a tt c các lp trong OWL. Cng có mt lp c bit c xây dng s0n có tên là Nothing ngh)a là lp mà không có các th hin (instances) và mt lp con nào c∀a tt c các lp trong OWL.
• rdfs:subClassOf. S phân cp lp có thc t o ra b&ng cách t o mt hoc nhiu khai báo (statement) mà mt lp là mt lp con c∀a lp khác. Ví d(: lp Person có th c phát biu là mt lp con c∀a lp Mammal (ng vt có vú). T# phát biu này có th suy lun ra r&ng nu mt cá th là mt Person, thì nó cng là mt Mammal.
• rdf:Property. Các thuc tính có th c dùng phát biu các mi quan h gia các cá th hoc t# các cá th ti các giá tr% d liu. Ví d( các thuc tính gm: hasChild, hasRelative, hasSibling, và hasAge. Ba thuc tính u có liên quan mt th hin c∀a lp Person vi mt th hin
HU
TE
CH
thuc tính cui (hasAge) có th liên quan mt th hin c∀a lp Person vi mt th hin c∀a kiu giá tr% s nguyên (và do vy mi có %nh ngh)a
DatatypeProperty). C hai owl:ObjectProperty và owl:DatatypeProperty là lp con c∀a lp RDF rdf:Property.
• rdfs:subPropertyOf. S phân cp thuc tính có th c t o b&ng cách t o mt hoc nhiu khai báo (statements) mt thuc tính là mt thuc tính con (subproperty) c∀a mt hay nhiu thuc tính khác. Ví d(: hasSibling có th c phát biu là mt thuc tính con c∀a hasRelative. T# phát biu này có th suy lun ra r&ng nu mt cá th có liên quan vi cá th khác b!i thuc tính hasSibling, thì nó cng liên quan vi cá thó b!i thuc tính hasRelative.
• rdfs:domain. Mt domain (min) c∀a mt thuc tính gii h n các cá th mà thuc tính có th c ∋ng d(ng. Nu mt thuc tính liên quan mt cá th này vi cá th khác, và thuc tính có mt lp nh là mt min c∀a nó, thì cá th phi thuc v lp ó. Ví d(: thuc tính hasChild có th c phát biu có min là Mammal (ng vt có vú). T# s phát biu này có th suy lun ra r&ng nu Frank hasChild Anna, thì Frank phi là Mammal.
• rdfs:range. Ph m vi (range) c∀a mt thuc tính gii h n các cá th mà thuc tính có th có nh là giá tr% c∀a nó. Nu mt thuc tính liên quan mt cá th vi cá th khác, và thuc tính có mt lp nh là ph m vi (range) c∀a nó, thì cá thó phi thuc v ph m vi lp. Ví d(: thuc tính hasChild có th c phát biu có ph m vi là Mammal. T# phát biu này có th suy lun ra r&ng nu Louise có liên quan vi Deborah b!i thuc tính hasChild (ngh)a là, Deborah là con c∀a Louise), thì Deborah là mt Mammal. Ph m vi cng là mt s gii h n toàn c(c nh min (domain) ! trên.
• individual: Individuals (cá th) là các th hin c∀a các lp, và các thuc tính có th c dùng liên h mt cá th vi mt cá th khác. Ví d(: mt cá th có tên Deborah có thc mô t nh là mt th hin c∀a lp
HU
TE
CH
Person và thuc tính hasEmployer có th c dùng liên h mt cá
th Deborah vi mt cá th StanfordUniversity.
II.3.3.2. Tính cân b/ng và không cân b/ng ca OWL Lite (OWL Lite
Equality và Inequality)
Nhng c tính c∀a OWL Lite di ây liên quan ti equality hoc inequality. • equivalentClass : Hai lp có th c phát biu tng ng nhau.
Các lp tng ng (equivalent) có cùng các các th hin. S cân b&ng có th c s+ d(ng t o các lp cùng ngh)a (synonymous). Ví d(: Car có th phát biu là equivalentClass vi Automobile (xe ô tô). T# s phát biu này có th suy ra r&ng bt k3 cá th nào là mt th hin c∀a Car thì cng là mt th hin c∀a Automobile và ngc l i.
• equivalentProperty : Hai thuc tính có th c phát biu là tng
ng nhau. Các thuc tính tng ng quan h mt cá th vi cùng
mt tp các cá th khác. Equivality có th c dùng t o các thuc
tính tng ng. Ví d(: hasLeader có th c phát biu là
equivalentProperty vi hasHead. T# s phát biu này có th suy ra r&ng nu X quan h vi Y b!i thuc tính hasLeader, thì X cng quan h vi Y b!i thuc tính hasHead và ngc l i. Phát biu này cng suy ra r&ng hasLeader là mt thuc tính con (subproperty) c∀a hasHead và hasHead là mt thuc tính con c∀a hasLeader.
• sameAs: Hai cá th có th c phát biu là ging nhau. Vic xây dng này có thc s+ d(ng t o mt s tên khác nhau mà cp ti cùng mt cá th. Ví d(: cá th Deborah có th c phát biu cùng là cá
th nh DeborahMcGuinness.
• differentFrom: Mt cá th có thc phát biu khác vi các cá th khác. Ví d(: cá th Frank có th c phát biu khác vi các cá th Deborah và Jim. Do ó, nu cá th Frank và Deborah là giá tr% c∀a mt thuc tính mà c biu th% b!i các ch∋c nng (vì vy thuc tính có
HU
TE
CH
r&ng nhng cá th khác nhau có th quan trng khi s+ d(ng ngôn ng ch1ng h n nh OWL (và RDF) mà không gi s+ r&ng các cá th có mt và ch− mt tên duy nht. Ví d(: nu không có thông tin b sung thêm vào, ngi lý lun (reasoner) s∗ không suy lun r&ng Frank và Deborah cp ti nhng cá th phân bit.
• AllDifferent: Mt s cá th có th c phát biu là phân bit ln nhau