Slides
Slides
Slides
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
OWL: Web OntologyLanguage<br />
Poichè OWL èdotatodi unasemantica formale:<br />
• puòspecificarecome derivareconseguenzelogicheda<br />
fattie relazioniesistenti<br />
• può esseredistributotrapiùsistemi<br />
• ècompatibilecon glistandard Web<br />
• èestensibile<br />
OWL: Web OntologyLanguage<br />
I dati descritti da una ontologia OWL sono interpretati come un set di<br />
“individui” ed asserzioni di proprietà che correlano tra loro gli individui.<br />
UnaontologiaOWL consistedi un set di assiomi chepongono vincolisu insiemi<br />
di individui(classi) e suitipi di relazionichesono ammessesu di loro.<br />
Gliassiomisupportano la semanticain quanto permettono aisistemidi effettuare<br />
inferenzesuidati<br />
Esempio: ontologia descrittiva delle famiglie naturali che includa assiomi che affermano<br />
che la proprietà "hasMother" si ha solo tra due individui quando èpresente anche la<br />
proprietà "hasParent" ; individui della classe "HasTypeOBlood" non sono mai in<br />
relazione via "hasParent" con membri della classe "HasTypeABBlood“. Così se viene<br />
affermato che l’istanza Harriet èin relazione "hasMother" con l’istanza Sue, e che<br />
Harriet èmembro della classe "HasTypeOBlood", allora si può inferire che Sue non è<br />
membro di "HasTypeABBlood".<br />
OWL: Web OntologyLanguage<br />
Sublanguages<br />
Le specifiche W3C di OWL includono la definizione di tre variantidi<br />
OWL con differenti livellidi espressività:<br />
OWL Lite originariamente pensato per supportare quegliutentiche<br />
soprattutto avessero bisogno di una classificazione gerarchica e<br />
semplici constraints<br />
OWL DL disegnato per fornire ilmassimo possibile di espressività e nel<br />
contempo mantenere la completezzacomputazionale (è garantito che<br />
tutte le conclusionisiano calcolate) , la decidibilità (tutte le<br />
elaborazionifiniscono in un tempo finito), e la disponibilità reale di<br />
algoritmi di reasoning.<br />
OWL Full è stato disegnato per preservare alcune compatibilità con RDF<br />
Schema; permette ad unaontologia di aumentare ilsignificato di di<br />
un vocabolario predefinito (RDF or OWL).<br />
OWL: Web OntologyLanguage<br />
XML fornisce una sintassi superficiale per documenti strutturati senza però<br />
imporre alcun vincolo semantico<br />
XML Schema restringela strutturadeidocumentiXML mentreestendei datatype<br />
XML<br />
RDF èun datamodelper descrivererisorsee relazionitradi esse e fornisceuna<br />
semanticasempliceper questodatamodelchepuò essererappresentatonella<br />
sintassiXML<br />
RDF Schema èun vocabolario per descrivereproprietàe classidellerisorseRDF<br />
con unasemanticaassociataalla generalizzazionedellegerarchiedi taliclassie<br />
proprietà.<br />
OWL ha mggioristrumentidi RDF ed RDFS per esprimeresignificato e<br />
semantica (es. disgiunzione, cardinalità, eguaglianza , enumerabilità– classi- )<br />
OWL: Web OntologyLanguage<br />
Il linguaggio OWL utilizza nelle definizioniun linguaggio logico<br />
basato sulle Description Logics.<br />
(DLs) Description Logics rappresentano una famiglia di logiche che<br />
sono frammentidecidibilidella logica del prim’ordine.<br />
La semantica per OWL èdata con la traduzione ad un particolare DL.<br />
Perciò OWL è sia una sintassiper descrivere e per scambiare<br />
ontologie, che unasemantica formalmente definita per assegnare<br />
significato.<br />
Per moltiDLs, inclusiquelli sottostantiOWL, esistono deireasoner<br />
sound, complete, and terminating (cioè ègarantito che i reasoner<br />
derivino ogni conseguenza della conoscenza di una ontologia) .<br />
OWL: Web OntologyLanguage<br />
Open World Assumption<br />
OWL adottala Open World Assumption in contrastocon<br />
SQL e Prolog, cheadottanola Closed World<br />
Assumption.<br />
Nell’ambitodella Open World Assumption, se non si<br />
puòprovarecheunostatement sia verousandola<br />
conoscenzaattuale, allora non sipuòarrivarealla<br />
conclusionechelo statement sia falso.