Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Ontologie basate su frame

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Unontologia O può essere definita mediante una quintupla O:= {C, R, Hc, Rel, A} C è un insieme di concetti; R è un insieme di relazioni, dove C R = (sono disgiunti); Hc è una gerarchia di concetti: Hc C x C dove Hc(C1,C2) ha il significato C1 è sottoclasse di C2; Rel sono un insieme di relazioni: Rel C x C per i concetti non-tassonomici; A è un insieme di assiomi. x y a Concetto (frame, classe) Istanza Relazione Slot istanza_di Hi sottoclasse_di s d v1 v2 Concetto Una definizione formale

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Classi di applicazioni per le ontologie x y a istanza_di d Concetto 1 – per rappresentare 2- per lintegrazione/mediazione di conoscenze - come metadati di riferimento; 3- nellinterazione uomo macchina - per modellare i bisogni informativi dellutente

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Classe Parallelogrammi 312 Istanze Classe QuadratiClasse Rombi Figure Piane Classe Triangoli Classe Rettangoli Colore Numero Figura Base Altezza Diag1 Diag2 Lato Nel dominio delle attuali rappresentazioni a frame: ontoedit; protegé; frame logic;.... Ontologia Figure Piane

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Ontologia figure piane in Protogé

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Classe Parallelogrammi Classe QuadratiClasse Rombi Figure Piane Classe Rettangoli Colore Numero Figura Base Altezza Diag1 Diag2 Lato Colore Numero Figura Colore Numero Figura Colore Numero Figura Ereditarietà

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Esempio Ontologia su Beni Culturali materiale nome Monumenti Statue Chiese Sottoclasse di Statua_di_Dante Chiesa di S. Chiara Bene culturali Altare_di_S-Chiara Abside_S-Chiara Sottoclasse di Gotico Dimensione orizzontale Stile, Parte di, Autore_di Dimensione verticale E un Sottoclasse di Altari Parte di Absidi E un Parte di Ontologie basate su frame stile Frame (classe) Istanza Slot stile

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Il plugin Ontoviz

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Concetti primitivi/astratti e concetti definiti/concreti Un concetto è primitivo/astratto se esso esprime solo condizioni necessarie Un concetto è definito/concreto se esso esprime condizioni necessarie e sufficienti

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Relazioni fra oggetti

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Come costruire ontologie Classi/Attributi Attr1Attr2Attr3Attr4Attr5Attr6Attr7Attr8Attr9Attr10Attr11Attr12Attr13 C1XX C2XXX C3XX X C4XXXXX C5XXX XX C6XX XX X C7XX XXX

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Due plugin per costruire ontologie (1)

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Due plugin per costruire ontologie (2)

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Classi ed individui class frame Una frame è un oggetto primitivo che rappresenta un entità nel dominio da rappresentare Una frame che rappresenta una classe è chiamata frame classe (class frame) Una frame che rappresenta un individuo è chiamato frame individuo (individual frame) Nome Slot1 Nome Slot2 Nome Slot3 Valore Slot1 Valore Slot2 Valore Slot3 Nome Slot1 Nome Slot2 Nome Slot3 individual frame

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Facet La classe Newspaper in Protegé 2000

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Uso di Ontoviz in Protegé

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Classi primitive e non primitive Criterialità: gli slot di un frame, oltre ad assumere condizioni necessarie, assumono anche condizioni sufficienti [ x C(x) y 1 R 1 (x, y 1 ).. y n R n (x, y n ))] per lapplicazione del concetto rappresentato consentono di rappresentare, quindi, un dato individuo come istanza della frame. Due definizione: Un concetto è primitivo se esso esprime solo condizioni necessarie Un concetto è non primitivo (definito) se esso esprime condizioni necessarie e sufficienti

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Multiereditarietà in Protegé: uno sguardo alle classi

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Multiereditarietà in Protegé: uno sguardo agli slots

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Per la programmazione di Protegé - linterfaccia è di facile uso. Fare attenzione al significato delle Icone.

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Esistono un insieme un molto esteso di Plugins che integrano Protegé con altre tipologie di rappresentazioni

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA altri Plugins per Protegé

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA Per istallare il Plugin Ontoviz: 1- seguire attentamente le istruzioni 2- inserire in Project/Configure di Protegé il Tab Ontoviz Pagina successiva

Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA

Esercizi Rappresentazione - scegliere uno dei seguenti esercizi: 1- definire in Protegé unontologia su un dominio a piacere; 2- definire in Protegé unontologia presa da un segmento di WORDNET; Implementazione – scegliere uno delle seguenti 1.Implementare il Plugin Wordnet in Protegé - esplorarne luso - breve seminario ai colleghi; 2.Studio iniziale del plugin DataGenie Tab (cattura in protegé dati da un generico data base) - breve seminario; 3.Studio iniziale del plugin RemoteKB Tab - breve seminario; 4.Implementazione di un plugin per la costruzione di ontologie di filmati e sperimentazione A gruppi o singolamente,.., fatemi sapere quando siete pronti