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

Presentazione sul tema: "Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 Ontologie basate su frame."— Transcript della presentazione:

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

2 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

3 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

4 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

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

6 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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à

7 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

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

9 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

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

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

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

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

14 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

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

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

17 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008 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

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

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

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

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

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

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

24 Mele Francesco Corso Informatica per il Design Generativo Facoltà di Architettura SUN AA 2007-2008

25 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