Istovetnost i različitost. Simetrične, tranzitivne, inverzne i funkcionalne karakteristike. Ograničenja karakteristika i anonimne klase. Ograničenja opsega i vrednosti. Ograničenja kardinalnosti.
---------------------------
doc. dr Milan Zdravković. Mašinski fakultet u Nišu, Inženjerski menadžment, studijski profil Industrijski menadžment, master studije, 1.godina
MEZN05 - Jezici za reprezentaciju znanja na Webu – OWL
1. Univerzitet u Nišu
Mašinski fakultet u Nišu
Upravljanje znanjem
Modeliranje i upravljanje znanjem
na web-u
Dr. Milan Zdravković
Jezici za reprezentaciju
znanja na Webu – OWL
2. OWL nasleđuje RDFS
• RDFS nije dovoljno
izražajan da logički opiše
čak ni veoma jednostavne
iskaze, npr.
– čovek ima jedinstven JMBG
– čovek ima tačno dva
roditelja
• OWL predstavlja
proširenje RDFS i tako
povećava njegovu
izražajnost
– OWL = RDFS + još
• Kada se kreira OWL
ontologija, koriste se i
RDF/RDFS elementi
XML/DTD/XML Schemas
RDF Schema
OWL
Sintaksa
Semantika
3. Istovetnost i različitost
• Različitost naziva dve individue ne implicira
nužno njihovu različitost
• Npr. individua “inženjer_čiji_hobi_je_ronjenje”
može biti istovetna drugoj individui
“osoba_čiji_je_mat_broj_0312969730034”
• OWL omogućava eksplicitno navođenje (ili
rasuđivanje) relacija istovetnosti i različitosti
– <x, sameIndividualAs, y>
– <x, differentFrom, y>
4. Simetrične karakteristike
• Ukoliko je karakteristika
simetrična, onda:
– <P, type,
SymmetricProperty>
<X, P, Y> =>
<Y, P, X>
• Primeri simetričnih
karakteristika
– <osoba, imaRođaka, osoba>
– <žena, imaSestru, žena>
– <reka, spajaSeSa, reka>
– …
x
yP
P
P
Owl:Symmetr
icProperty
rdf:type
5. Tranzitivne karakteristike
• Ukoliko je
karakteristika
tranzitivna, onda:
– <P, type,
TransitiveProperty>
<x, P, y>
<y, P, z> =>
<x, P, z>
• Primer tranzitivne
karakteristike
– <guma, jeDeo, točak>
<točak, jeDeo,
automobil> =>
<guma, jeDeo,
automobil>
– …
x
yP P
P
owl:Transiti
veProperty
rdf:type
z
P
6. Inverzne karakteristike
• Ukoliko su dve
karakteristike inverzne,
onda:
– <P, inverseOf, Q>
<X, P, Y> =>
<Y, Q, X>
• Primeri inverznih
karakteristika
– <imaDete, inverseOf,
imaRoditelja>
– <imaDeo, inverseOf,
ugrađenU>
– …
P
Q
owl:inverseOf
x
yP
Q
7. Funkcionalne karakteristike
• Ukoliko je karakteristika
funkcionalna, onda:
– <P, type, FunctionalProperty>
<x, P, only 1 y>
• Primeri funkcionalnih
karakteristika
– <osoba, imaMatičniBroj, broj>
– <reka, ulivaSeU, reka>
– …
• Šta se dešava ukoliko smo
definisali ova dva iskaza
korišćenjem funkcionalne
karakteristike P?
– <a, P, b>, <a, P, c>
– => <b, sameIndividualAs, c>
x
yP
P
Owl:Function
alProperty
rdf:type
1
8. Ograničenja karakteristika i
anonimne klase
• Ograničenja se koriste da se definišu:
– Potrebni uslovi da se jedan skup individua implicitno svrsta u
jednu klasu (neccessary conditions)
• U tom slučaju se ta klasa smatra nadklasom tog skupa individua
– Dovoljni uslovi da se jedan skup individua implicitno svrsta u
jednu klasu (neccessary and sufficient conditions)
• U tom slučaju se ta klasa smatra tim skupom individua. Samo one
individue koje zadovoljavaju dovoljne uslove se smatraju članovima
te klase
• Jedna klasa se može opisati potrebnim ili dovoljnim
uslovima
– Ona se tada smatra anonimnom klasom
– Ukoliko su jednoj klasi definisani dovoljni uslovi, onda se ta klasa
smatra ekvivalentnom anonimnoj klasi
9. • Crveno vino je tečnost crvene boje
– <tečnost, imaBoju, crvena>
– Ukoliko je ovo gore – ograničenje,
onda se čita kao: “Crveno vino je
podklasa klase svih tečnosti koje imaju
crvenu boju”
• Primer dovoljnog uslova
– <tečnostCrveneBoje, imaBoju, crvena>
Primer ograničenja karakteristika
vrednost
klasa
Ograničenje vrednosti
10. Presek i unija skupova
• Anonimna klasa može da se definiše kao
presek (AND) ili unija (OR) skupova
inženjer osoba_crne_kose
11. Tipovi ograničenja
• Ograničenja opsega i vrednosti
– Ograničenja opsega
• Egzistencijalna kvantifikacija
• Univerzalna kvantifikacija
– Ograničenja vrednosti
• Ograničenja kardinalnosti
– Tačan broj
– Minimalan broj
– Maksimalan broj
12. Ograničenja opsega i vrednosti
• Ključne reči OWL jezika za definisanje
ograničenja opsega i vrednosti
– someValuesFrom, allValuesFrom, hasValue
– Ponekad se koristi tzv. Manchester sintaksa:
• some, all, value
13. Primeri definisanja uslova putem
ograničenja opsega
• Egzistencijalna kvantifikacija
– Pizza se sastoji od nekih sastojaka
• <pizza, haveIngredient, some ingredient>
– Student sluša neke predmete
• <student, attend, some course>
• Univerzalna kvantifikacija
– SAMO reke se izlivaju u neko more
• <only river, feeds, some sea>
• Razlika izmedju egzistencijalne I univerzalne
kvantifikacije
– “Postoji reka koja se uliva u neko more”
– “SAMO reke se ulivaju u neko more” (ili “ne postoji nešto što
nije reka da se uliva u neko more”
14. Primeri definisanja uslova putem
ograničenja vrednosti
• Riđokosa osoba ima crvenu kosu
– <Riđokosa_osoba, imaKosuBoje, value
“crvena”>
• Crno vino ima crvenu boju
– <crno_vino, imaBoju, value “crvena”>
15. Ograničenja kardinalnosti
• Ključne reči
– Cardinality, minCardinality,
maxCardinality
– Manchester sintaksa
• exactly, min, max
• Primeri
– Svaka osoba ima tačno
dva roditelja
– Svaka osoba je venčana
za najviše jednu osobu
– Svaka komisija za odbranu
diplomskog rada ima
najmanje tri člana
Osoba
imaRoditelja
Osoba
2
– <Osoba, imaRoditelja,
exactly 2 Osoba>
– <Osoba, venčanaZa, max
1 osoba>
– <Komisija, imaČlanove,
min 3 osoba>
16. Univerzitet u Nišu
Mašinski fakultet u Nišu
Upravljanje znanjem
Hvala na pažnji
Modeliranje i upravljanje znanjem
na web-u
Dr. Milan Zdravković