Web06 Semantic Web: Ontologii OWL

<?xml version=“1.0” ?>
Semantic Web <curs desc=“…” />

Web semantic

Dr. SabinCorneliu Buraga
Facultatea de Informatica
Universitatea “A.I.Cuza” – Iasi, Romania

http://www.infoiasi.ro/~busaco/

Dr. Sabin Buraga http://www.purl.org/net/busaco


Ontologii


“Cine deschide toate portile,
le poate inchide pe toate.”

Antonio Porchia



necesitate

Existenta unui vocabular comun

elementele sintactice (cuvintele, marcatorii etc.) au acelaşi
înțeles atât pentru transmițător, cât şi pentru destinatar



necesitate

Existenta unui set comun de constrângeri



necesitate

Existenta unui cadru conceptual comun
oferind relații între clase de informație

înțelegerea informațiilor nu va fi influențată
de cunoştințele inițiale nespecificate
(unspecified background knowledge)



solutie

Modelarea cunostintelor via ontologii



ontologii

Ontologia = teorie privitoare la existenta



ontologii

O ontologie reprezinta conceptualizarea
unui domeniu de cunoastere
intr‐un format destinat a fi procesat de calculator,
format modelind entitati, atribute, relatii si axiome

scop: conceptualizari complexe
ale unui domeniu de interes



ontologii

Subiectul ontologiei este studiul categoriilor
de lucruri (things) care exista sau pot exista
intr‐un domeniu de interes (Sowa, 2001)



ontologii

O ontologie reprezinta un set de definitii formulate
intr‐un limbaj formal pentru termenii ce descriu
un domeniu de interes
(Adam Pease, 2007)



ontologii

Ontologie ≡ catalog de tipuri de lucruri
care se presupune că există într‐un domeniu
de interes D (domain) din perspectiva
unei persoane care utilizează un limbaj L
cu scopul de a discuta despre D



ontologii

Tipurile din ontologie reprezintă predicatele,
sensurile cuvintelor sau conceptele şi
relaţiile ale limbajului L, atunci când este utilizat
pentru a discuta despre domeniul D



ontologii

Ontology work should be here,
Concept since logic is needed
Refers To to substitute for
human thought.

“Orange”
Lots of “ontology” work
Stands For Term
Referent has really been here.

Adam Pease, 2007 citind pe C.K. Ogden/I.A. Richards (1923)


ontologii
Rolul ontologiilor (Jerry Hobbs, 2003)

Fixeaza intelesul
conceptelor (termenilor)
vocabularului comun



ontologii

Folosind ontologii, asociem semantici
“lucrurilor” despre care “vorbim”

descrierile semantice “ajuta” calculatoarele sa para “smart”

un program “smart” ar trebui sa fie capabil sa realizeze
aceleasi inferente pe care le fac (unii) oameni



ontologii – tipuri

Ontologii informale versus formale
(de la limbaj natural la logica)




Ontologii formale:
axiomatice – disting sub‐tipurile prin axiome şi definiții
specificate într‐un limbaj formal (logic)
bazate pe prototipuri – disting sub‐tipurile prin
comparația cu un membru tipic ori specificând
un prototip pentru fiecare sub‐tip în parte



Conform nivelului de descriere oferit:
Vocabular (schema XML)
Taxonomie – relatii de clasificare (isa)
vedere ierarhica a conceptelor
(clase, sub‐clase, supra‐clase)
Tezaur = taxonomie + termeni inruditi
(via relatii de echivalenta, ierarhii, asocieri etc.)
Sistem relational (schema de baze de date)
Teorie axiomatica (constrangeri ≡ axiome)
axiomă ≡ enunț logic ce nu poate fi dedus din altele,
dar poate fi folosit pentru demonstrarea altora


Tipuri de ontologii
(Daconta et al., 2003)



Dupa scopul & contextul utilizarii:
Ontologii specializate
e.g., industria de automobile, aeronautica,
ontologia proceselor OWL‐S, biologie etc.
Ontologii generale
Cyc, OpenCyc, ontologia lui Sowa,
SUMO (Suggested Upper Merged Ontology),…
Ontologii intermediare – midlevel
MILO (MIdLevel Ontology)



ontologii – tipuri (Guarino, 1998)
De nivel cel mai inalt
(toplevel, upperlevel) – cele mai generale
Specifice unui domeniu
(domainrelated) – verticale
Specifice unor sarcini
(taskrelated) – orizontale
Specifice unei aplicatii
(applicationrelated) – apeleaza la ontologii verticale
si/sau orizontale



ontologii – specificare

Componente distincte:
nume privind cele mai importante concepte
ale domeniului de cunoastere modelat

cunostinte anterioare (de “background”)
sau constringeri ale domeniului



ontologii – specificare: exemplu

Crocodil reprezinta un concept ai carui membri
sunt animale de un anumit tip

Ierbivor este un concept ai carui membri sunt acele
animale care consuma doar plante ori parti de plante

Orice membru al clasei Crocodil este vorace

Un animal nu poate fi simultan Ierbivor si Carnivor




O ontologie va include:
categoriile, clasele, conceptele fundamentale

proprietatile conceptelor

relatiile & distinctiile dintre concepte




Reprezentari uzuale ale ontologiilor:

Limbaje logice: Prolog & familia (Golog, ConGolog)
KIF (Knowledge Interchange Format)
CL (Common Logic)
DL (Logici ale descrierii – description logics)
Limbaje bazate pe XML: OIL, RDFS, DAML+OIL, OWL




Specificarea categoriilor/conceptelor
Categorie ≡ domeniu (in teoria bazelor de date)
Categorie ≡ tip/sort (in inteligenta artificiala)
Categorie ≡ clasa (in cazul ontologiilor Web)

Criteriile de stabilire a conceptelor sunt complexe
Experienta are un rol foarte important

Exemplu: Thing – categoria cea mai generala la Cyc



Clasele (categoriile)
de nivel cel mai inalt
ale ontologiei Cyc
(Noy & Hafner, 1997)



Categorii de nivel inalt – cazul SUMO (Adam Pease, 2007):
Entity
Physical
Object
SelfConnectedObject
Substance
CorpuscularObject
Region
Collection
Process
Abstract



Specificarea proprietatilor
Proprietate ≡ atribut
Proprietate ≡ slot/frame (in inteligenta artificiala)

Diferentiaza un concept de altul
Relatie binara care poate specifica fapte privitoare la
membrii unei clase ori la indivizi
Proprietatile se pot referi la tipuri de date (datatype
property) sau la obiecte (object property)
In unele cazuri, pot fi specificate si sub‐proprietati




Specificarea proprietatilor – exemplu de frame

Eugen: Person
varsta 24 cardinality: 1
ocupatie masterand




Specificarea proprietatilor – exemplu:

Modelul de date (abstract)

Instante – folosind DCMI




Specificarea relatiilor
Pentru organizarea/ilustrarea categoriilor
se folosesc arborii si grafurile
Relatiile pot fi de:
Cazul
hiperonimie (“general‐specific”)
WordNet
meronimie (“parte‐intreg”)
antonimie

Remarca: in specificarea relatiilor si proprietatilor
pot interveni meta‐datele


Specificarea relatiilor – exemplu:



ontologii vs. limbaj vs. cunostinte

Conform (Pease, 2007)
Ontologie Limbaj (natural)
expandabila
inteles de oameni
independenta de limbaj
ambiguu
procesabila de catre masina

Cunostinte

se modifica rapid (“perisabile”)
pot exprima local un “lucru”


intrebare

Cum exprimam ontologiile la nivel de Web?



OWL

Web Ontology Language

scop: facilitarea interpretarii de catre masina
a continutului informational

exprima ontologii

Recomandare W3C (2004) – 6 parti:
www.w3.org/TR/owlguide/



OWL

Se bazeaza pe modelul RDF si RDF Schema

succesor al DAML+OIL
DARPA Agent Markup Language + Ontology Inference Layer

modelul formal se bazeaza pe logicile descrierii
(subset al logicii cu predicate de ordinul I)



OWL: niveluri

OWL Lite – pentru exprimarea ierarhiilor
de clasificare si a unor constringeri simple

OWL DL – ofera maximum de expresivitate,
fara pierderea completitudinii & decidabilitatii

OWL Full – maximum de expresivitate si flexibilitate,
fara a se pune problema completitudinii

OWL Lite ⊂ OWL DL ⊂ OWL Full


OWL: niveluri

OWL Full – extensie a RDF,
permite modificarea vocabularelor RDF si OWL

OWL DL – parte a OWL Full conforma
cu modelul formal oferit de logicile descrierii

OWL Lite – faciliteaza realizarea de rationamente
(reasoning) simple

OWL Lite ⊂ OWL DL ⊂ OWL Full


OWL

Constructii pentru descrierea proprietatilor si claselor:

relatiile dintre clase – e.g., disjunctia
cardinalitatea – e.g., “exact una”
egalitatea/echivalenta (conceptelor, proprietatilor,…)
specificarea tipurilor de proprietati
caracteristicile proprietatilor – e.g., simetria, inversa
…



OWL

Sintaxe:

documente RDF/XML
usor de procesat, stocat, interogat

“abstracta”
corespunde modelului logicilor descrierii



OWL

O ontologie OWL este compusa din:
clase
instante de clase
relatii intre instantele claselor

nu se impune apriori o cunoastere completa
a domeniului de interes – ipoteza open world

fiecare ontologie va fi identificata de un URI


OWL: specificarea claselor

O clasa se specifica prin owl:Class
colectii de indivizi (obiecte, things,...)
modalitate de a descrie o lume
reprezinta un “obiect” (“thing”) al lumii

cea mai generala clasa va fi owl:Thing




Relatia de derivare a claselor
se exprima via rdfs:subClassOf

<owl:Class rdf:ID=Audio>
<rdfs:subClassOf rdf:resource=#Multimedia />
</owl:Class>




Expresii de clasa:
reuniune <owl:unionOf>
intersectie <owl:intersectionOf>
complementara <owl:complementOf>
disjunctie <owl:disjointWith>

semantica operatiilor e conforma cu teoria multimilor

expresiile de clasa sunt folosite la specificarea claselor




Exemplu:
resursele video nu sunt lumi virtuale, nici executabile

<owl:Class rdf:ID=Video>
<rdfs:subClassOf rdf:resource=#Multimedia />
<owl:disjointWith rdf:resource=#LumiVirtuale />
<owl:disjointWith rdf:resource=#Executabile />
</owl:Class>




Implicit, OWL se aliniaza ipotezei lumii deschise
(open world assumption)

cu implicatii majore in ceea ce priveste operatiile
dintre clase si realizarea inferentelor
referitoare la cardinalitate

in unele cazuri, putem specifica exact membrii unei clase,
adoptind – local – ipoteza lumii inchise (closed world)




Exemplu: determinarea albumului detinut de o persoana
:AlbumePortishead a owl:Class ;
owl:oneOf ( :Dummy :Portishead :Third ) .

fiecare instanta specificata via owl:oneOf
este membra a clasei respective

stiind ca :Anca :detine :AlbumePortishead .
se poate deduce faptul ca detine macar unul dintre ele




Astfel, o clasa se poate defini
doar prin enumerarea membrilor ei:

<owl:Class rdf:ID=Gen>
<owl:oneOf rdf:parseType=Collection>
<Gen rdf:about=#Masculin/>
<Gen rdf:about=#Feminin/>
</owl:oneOf>
</owl:Class>




Specificarea echivalentei claselor se poate realiza
prin owl:equivalentClass

<owl:Class rdf:ID=Designer>
<owl:equivalentClass rdf:resource=#Proiectant />
</owl:Class>




Avind doua clase echivalente,
aceasta inseamna ca vor avea doar aceeasi membri

alte proprietati ale claselor sunt proprii fiecareia
(de exemplu, rdfs:label)



OWL: specificarea proprietatilor

Proprietati = relatii binare care pot specifica fapte
privitoare la membrii unei clase sau la indivizi

se refera la tipurile de date (datatype property)
se refera la obiecte (object property)

vazute drept colectii de relatii intre indivizi (si date)




Exemplu: definirea unei proprietati de tip obiect care
exprima faptul ca o resursa multimedia poate fi stocata
pe un sit Web multimedia

<owl:ObjectProperty rdf:ID=stocat>
<rdfs:domain rdf:resource=#Multimedia />
<rdfs:range rdf:resource=#SitMultimedia />
</owl:ObjectProperty>




Exemplu: definirea unei proprietati datatype pentru
a specifica relatia intre resurse si literali sau valori de date
avind tipuri XML Schema

<owl:DatatypeProperty rdf:ID=dimensiune>
<rdfs:domain rdf:resource=#Multimedia />
<rdfs:range rdf:resource=
http://www.w3.org/2001/XMLSchema#unsignedLong />
</owl:DatatypeProperty>




Definind o proprietate, in fapt se impune o restrictie

Proprietatile pot include sub‐proprietati (specializari)
si pot avea specificate caracteristici “speciale”




O proprietate care nu are decit o singura valoare
pentru fiecare individ – valoarea ei este unica –
se numeste proprietate functionala

<owl:FunctionalProperty rdf:ID=areGen>
<rdfs:domain rdf:resource=#Persoana />
<rdfs:range rdf:resource=#Gen />
</owl:FunctionalProperty>
O persoana are doar un singur gen.



Daca resursa A este in relatia p cu B si
B este in relatia p cu A,
atunci p este o proprietate simetrica

<owl:SymmetricProperty rdf:ID=rudaCu>
<rdfs:domain rdf:resource=#Persoana />
<rdfs:range rdf:resource=#Persoana />
</owl:SymmetricProperty>
Relatia de rudenie intre persoane este simetrica.



De remarcat faptul ca unele dintre proprietatile
specificate de OWL – e.g., owl:equivalentClass –
sunt simetrice




Proprietati inverse
daca proprietatea p este inversa lui q
si A este in relatia p cu B,
atunci se poate deduce ca B este in relatia q cu A

se foloseste constructia owl:inverseOf




Proprietati inverse – exemplu:

<owl:ObjectProperty rdf:ID=esteFormataDin>
<rdfs:domain rdf:resource=#Echipa/>
<rdfs:range rdf:resource=#Persoana/>
<owl:ObjectProperty rdf:ID=formeaza>
<rdf:type rdf:resource=owl:InverseFunctionalProperty />
<owl:inverseOf rdf:resource=#esteFormataDin />



Proprietati tranzitive
data fiind proprietatea p tranzitiva,
daca exista A p B . si B p C .
atunci se poate deduce
ApC.

se recurge la owl:TransitiveProperty




Mai pot fi specificate proprietati:
invers functionale
antisimetrice
reflexive
antireflexive




Folosind owl:equivalentProperty se poate specifica
echivalenta a doua proprietati



OWL: specificarea indivizilor

Un individ (membru) al unei clase
se declara ca apartinind clasei respective

reprezinta un obiect al lumii (Thing)

este “inrudit” cu alte obiecte sau valori de date
via proprietati


<owl:Thing rdf:ID=the_wall>
<rdfs:comment>Un film de Pink Floyd</rdfs:comment>
</owl:Thing>

<owl:Thing rdf:about=#the_wall>
<rdf:type rdf:resource=#Video />
</owl:Thing>



Echivalenta intre indivizi se realizeaza
prin owl:sameAs

Se poate folosi si owl:differentFrom



Exemplu: specificarea a 2 indivizi distincti

<owl:Thing rdf:ID=zidul>
<rdfs:comment>Un film din România</rdfs:comment>
</owl:Thing>
<rdf:Description rdf:about=#zidul>
<owl:differentFrom rdf:resource=#the_wall/>
<rdfs:comment>Nu are legătură cu 'The Wall'</rdfs:comment>
<rdf:type rdf:resource=#Video />
</rdf:Description>




Pentru a defini colectii de indivizi distincti,
se utilizeaza owl:distinctMembers




Exemplu:
specificarea in termeni fuzzy a localizarii unei resurse

<owl:AllDifferent>
<owl:distinctMembers rdf:parseType=Collection>
<localizare rdf:about=#local />
<localizare rdf:about=#intranet />
<localizare rdf:about=#extranet />
</owl:distinctMembers>
</owl:AllDifferent>



OWL: studiu de caz – FOAF

Se definesc clasele foaf:Person, foaf:Group,
foaf:Organization ca fiind sub‐clase ale foaf:Agent

foaf:Agent rdf:type owl:Class .
foaf:Person rdfs:subClassOf foaf:Agent .
foaf:Group rdfs:subClassOf foaf:Agent .
foaf:Organization rdfs:subClassOf foaf:Agent .




Pentru o persoana, sunt specificate diverse proprietati:
foaf:name, foaf:surname, foaf:nick etc.

foaf:name rdfs:domain owl:Thing .
foaf:name rdfs:subPropertyOf rdfs:label .
foaf:surname owl:equivalentProperty foaf:family_name .




Fiecare agent (persoana, organizatie,…) poate creea
resurse (“things”) – se defineste proprietatea foaf:made

foaf:made rdfs:domain foaf:Agent .
foaf:made rdfs:range owl:Thing .
foaf:made owl:inverseOf foaf:maker .
similar:
foaf:publications rdfs:domain foaf:Person .
foaf:publications rdfs:range foaf:Document .



Exprimarea constringerii: o persoana este identificata unic
prin adresa ei de email (doua persoane care au aceeasi
adresa de email in fapt reprezinta o singura persoana)

foaf:mbox rdf:type owl:InverseFunctionalProperty .

idem, pentru foaf:homepage, foaf:jabberID, foaf:weblog,…



intrebare

Putem impune restrictii suplimentare
modelului de cunostinte descrise in OWL?



OWL: specificarea restrictiilor

Restrictiile sunt considerate clase
definite prin descrierea proprietatilor indivizilor
pe care‐i pot include

specificind o multime de indivizi in termeni de clase
cunoscute (proprietati comune), putem folosi aceasta
descriere pentru a defini o noua clasa – mai restrictiva




Restrictiile impuse proprietatilor trebuie
sa apara in cadrul elementelor
<owl:Restriction> si <owl:onProperty>

tipuri de restrictii uzuale:
asupra valorilor: allValuesFrom, someValuesFrom, hasValue
asupra cardinalitatii: minCardinality, maxCardinality




Prin owl:someValuesFrom specificam restrictia:
“toti indivizii pentru care macar o valoare
a proprietatii p provine din clasa C”

[a owl:Restriction ;
owl:onProperty p ;
owl:someValuesFrom C ]




Exemplu: clasa mamelor reprezinta intersectia clasei
persoanelor care au copii cu cea a clasei femeilor

restrictia 1: clasa persoanelor care au copii
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about=#areCopil/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource=#Persoana/>
</owl:Restriction>





restrictia 2: clasa persoanelor care sunt femei
<owl:Restriction>
<owl:onProperty>
<owl:FunctionalProperty rdf:about=#areGen/>
</owl:onProperty>
<owl:hasValue rdf:resource=#Feminin/>
</owl:Restriction>





restrictia 1: clasa persoanelor care au copii
[ a owl:Restriction ;
owl:onProperty :areCopil ;
owl:someValuesFrom :Persoana ]
restrictia 2: clasa persoanelor care sunt femei
[ a owl:Restriction ;
owl:onProperty :areGen ;
owl:hasValue :Feminin ]


Exemplu: stabilirea genului unei persoane
<owl:Class rdf:ID=Femeie>
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType=Collection>
<owl:Class rdf:about=#Persoana/>
<owl:Restriction>
<owl:onProperty>
<owl:FunctionalProperty rdf:about=#areGen/>
</owl:onProperty>
<owl:hasValue rdf:resource=#Feminin/>
</owl:Restriction>
</owl:intersectionOf></owl:Class></owl:equivalentClass>
</owl:Class>



Prin owl:allValuesFrom specificam restrictia:
“toti indivizii pentru care toate valorile
proprietatii p provin din clasa C”

owl:onProperty p ;
owl:allValuesFrom C ]



Exemplu: clasa persoanelor vegetariene
<owl:Class rdf:about=#Vegetarian>
<rdfs:subClassOf rdf:resource=#Persoana />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource=#consuma/>
<owl:allValuesFrom rdf:resource=#Vegetala/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>


Exemplu: clasa persoanelor vegetariene

stiind ca Emanuel este vegetarian si ca el consuma spanac:
:Emanuel a :Vegetarian .
:Emanuel :consuma :Spanac .

…se poate deduce faptul ca spanacul este vegetala:
:Spanac a :Vegetala .




In cazul someValuesFrom, trebuie sa existe macar
un membru al clasei pentru care are loc o proprietate data;
aceasta implica faptul ca trebuie sa existe
un astfel de membru

Restrictia allValuesFrom inseamna “daca exista membri,
atunci ei toti trebuie sa aiba proprietatea data”;
aceasta nu implica faptul ca trebuie sa existe de fapt
membrii corespunzatori




Via restrictii privind cardinalitatea, poate fi specificat
numarul (minim/maxim) de valori distincte
pe care o proprietate le poate avea

owl:onProperty p;
owl:cardinality n].

owl:minCardinality
owl:maxCardinality


Exemplu: o resursa audio poate fi stocata
macar de un sit Web multimedia
<owl:Class rdf:ID=Audio>
Fiecare instanta
<rdfs:subClassOf rdf:resource=#Multimedia /> din clasa Audio
<rdfs:subClassOf> trebuie sa apara
<owl:Restriction> macar in cel putin
<owl:onProperty rdf:resource=#stocat> o relatie “stocat”

<owl:minCardinality rdf:datatype=&xsd;nonNegativeInteger>
1 </owl:minCardinality> </owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>


OWL

Aspecte importante:
verificarea consistentei si coerentei ontologiei

verificarea consistentei asertiunilor privind indivizii
– care populeaza lumea modelata de ontologie



OWL

Clasele si proprietatile pot avea “definitii” multiple

Declaratiile privitoare la indivizi
nu trebuie obligatoriu sa fie stocate
in cadrul aceluiasi document



OWL: inferente

Exemplul 1 – hotul & calatorul fara bilet
Primul fapt: amprentele gasite la locul unui jaf
au identificat ca posibil hot pe Jiji Berka
<infractiune rdf:ID=raport-2008-10-29-pol4 tip=jaf>
<desc>...</desc>
<suspect>
<individ rdf:about=http://www.persoane.ro#JijiBerka />
</suspect>
</infractiune>



OWL: inferente

Alt doilea fapt: in tramvai, a fost gasit un calator fara bilet,
numit Moco Fin
<amenda rdf:ID=raport-2008-10-29-pol54>
<desc>...</desc>
<cetatean>
<individ rdf:about=http://www.persoane.ro#MocoFin />
</cetatean>
</amenda>



OWL: inferente

Alt treilea fapt: Politia poseda informatiile

<individ rdf:about=http://www.persoane.ro#MocoFin>
<owl:sameAs
rdf:resource=http://www.persoane.ro#JijiBerka />
</individ>



OWL: inferente


Concluzie: se poate realiza inferenta
“Moco Fin este acelasi individ cu Jiji Berka.”

OWL ofera posibilitatea de a exprima faptul
ca doua resurse (e.g., doua persoane) sunt identice



OWL: inferente
Exemplul 2 – achizitionarea unei camere

Dupa (Costello et al., 2003)
SLR este
o camera? Asistent Web
pentru “Trimite‐mi catalogul
3
cumparaturi de produse”
online 1

Situl Web
<SLR rdf:ID=Olympus-OM10>
al magazi
<f-stop>1.4</f-stop>
nului
“Iata
<lens u=mm>300</lens>
catalogul...” virtual
...
<cost currency=USD>120</cost> 2
</SLR>



OWL: inferente
Asistentul (agentul) Web consulta o ontologie OWL
privitoare la camere digitale de unde se poate determina
ca SLR este sub‐clasa a clasei Camera

Se poate deduce: “Olympus‐OM10 e o camera digitala.”
Camera

SLR Large-Format Digital



OWL: inferente


ontologiile exprimate in OWL pot conduce la
descoperirea dinamica a relatiilor dintre resurse



OWL: inferente

Exemplul 3 – locul de nastere al regelui Kamehameha
Fapt: In urma extragerii de date de pe Web, s‐a obtinut:
<individ rdf:about=http://www.persoane.ro#Kamehameha>
<locNastere rdf:about=http://www.states.com/Hawaii />
</individ>
<locNastere rdf:about=http://world.info/Sandwich_Islands />
</individ>
<locNastere rdf:about=http://history.org/Aloha />
</individ>


OWL: inferente
Exemplul 3 – locul de nastere al regelui Kamehameha
ontologia privitoare la indivizi indica faptul ca
un individ are un unic loc de nastere
se poate trage concluzia ca Hawaii, Sandwich Islands
si Aloha reprezinta aceeasi locatie

OWL ofera suport pentru precizarea cardinalitatii unei
relatii dintre o resursa si o alta – in acest caz, exact una
proprietate
Resursa
Resursa
(valoare)
(subiect) 1



OWL: inferente – demo
Utilizarea unui reasoner (aici, Pellet) inclus in SWOOP



OWL: inferente – demo

Unealta Web OWLSight – semnalarea inconsistentelor


OWL: privire de ansamblu
Antet:
Ontology
Clase (concepte):
Class, rdfs:subClassOf, intersectionOf
Proprietati:
rdfs:Property, rdfs:subPropertyOf, rdfs:domain, rdfs:range
(In)egalitati:
equivalentClass, equivalentProperty,
sameAs, differentFrom, allDifferent


OWL: privire de ansamblu
Caracteristici ale proprietatilor:
inverseOf, TransitiveProperty, SymmetricProperty,
FunctionalProperty, InverseFunctionalProperty
Restrictii de tip asupra proprietatilor:
allValuesFrom, someValuesFrom
Restrictii de cardinalitate:
minCardinality, maxCardinality, cardinality



Rezumat

Modelarea cunostintelor:
ontologii specificate via OWL



?


Web06 Semantic Web: Ontologii OWL

Recommended

Recommended

More Related Content

More from Sabin Buraga

More from Sabin Buraga (20)

Web06 Semantic Web: Ontologii OWL