esercizi di preparazione alla prova finale: reti semantiche

ESERCIZI DI PREPARAZIONE ALLA PROVA FINALE:
RETI SEMANTICHE
1. Costruire la rete semantica conseguente ad una interpretazione personale del seguente
testo in Linguaggio Naturale:
Internet può essere definita come una rete composta da un insieme di siti web. Ogni sito web ha
un indirizzo IP univoco ed è curato da un tecnico informatico specializzato, chiamato
webmaster. Tra le tante tipologie di siti, le più importanti sono quelle relative ai siti:
commerciali, personali (curati però da un proprietario e non da un webmaster), istituzionali e
governativi. I siti commerciali sono solitamente gestiti da aziende, mentre quelli istituzionali da
specifiche istituzioni. Esistono poi siti connessi solo a reti locali, detti siti intranet, che
costituiscono delle eccezioni, avendo la caratteristica di poter essere acceduti solo da comunità
locali, e non da tutta la comunità web. Ogni comunità è formata da un insieme di utenti: gli
utenti della comunità web sono detti internet users.
Negli ultimi anni si è avuto un particolare sviluppo di siti di e-commerce, ovvero siti
commerciali il cui accesso è ristretto da password e che mostrano vetrine virtuali di prodotti
specifici, acquistabili da un normale internet user. Il sito di questo tipo forse più conosciuto è
Amazon, che vende libri, CD e DVD.
Il sito dell’Università di Tor Vergata, insieme a quello di Roma La Sapienza, è invece un
esempio di sito universitario. I siti universitari, come quelli di altre organizzazioni sono siti
istituzionali. Il Sito di Tor Vergata consente di ottenere informazioni su corsi e sui docenti, e di
iscriversi ad esami , corsi, esoneri e seminari. Il sito della Presidenza del Consiglio è un sito
governativo.

utente
formata da
comunità
kind_of
kind_of
comunità web
comunità
locale
formata da
kind_of
rete locale
accede a
accede a
connesso a
Internet user
kind_of
rete internet
sito intranet
formata da
kind_of
sito web
commerciale
gestito da curato da
azienda
kind_of
proprietario
curato da
kind_of
kind_of
personale
istituzione
webmaster
kind_of
istituzionale
gestito da
E-commerce
acquista
mostra
necessita
universitario
prodotti
libri
kind_of
kind_of
is_a
CD DVD
Amazon
vende
password
kind_of
is_a
is_a
kind_of
Sito RTV Sito RM1
info su iscrizione a
doc. corsi esam eson sem
governativo
organizzazioni
is_a
Presid. del C.

2. Implementare la rete in Prolog, utilizzando i predicati:
- prop(X,Prop,Y) per indicare le proprietà e le relazioni tra le entità della rete
- is_a(X,Classe) per esprimere la relazione di appartenenza di un oggetto ad una
classe
- kind_of(Classe, Superclasse) per rappresentare la relazione di sottoclasse.
Scrivere inoltre le regole di accesso alle informazioni istanza_di(X,Superclasse) e
sottoclasse(C, Superclasse), che restituiscano ricorsivamente tutte le superclassi di un
istanza X o di una classe C.
is_a(sitoRTV,universitario).
is_a(sitoRM1,universitario).
……
kind_of(commerciale,sito_web).
kind_of(personale,sito_web).
kind_of(istituzionale,sito_web).
……
prop(internet,formato_da,sito_web).
prop(sito_web,curato_da,webmaster).
prop(amazon,vende,[cd,dvd,libri]).
prop(sitoRTV,info_su,[docenti,corsi]).
prop(sitoRTV,iscrizione_a,[corsi,seminari,esami,esoneri]).
……
istanza_di(X,Classe1) :- is_a(X,Classe1).
istanza_di(X,Classe1) :- is_a(X,Classe2),
sottoclasse(Classe2,Classe1).
sottoclasse(Classe1,Classe2) :- a_kind_of(Classe1, Classe2).
sottoclasse(Classe1,Classe2) :- a_kind_of(Classe1, Classe3),
sottoclasse(Classe3,Classe2).
ha_proprietà(Y,Prop,Val):- prop(Y, Prop,Val).
ha_proprietà(X,Prop,Val):- istanza_di(X,Classe),
prop(Classe,Prop,Val).
ha_proprieta(Classe,Prop,Val):- sottoclasse(Classe,Classe1),
prop(Classe1,Prop,Val).

3. Indicare quali sono le eccezioni della rete
Il sito personale è curato dal proprietario.
prop(personale,curato_da,proprietario).
La comunità web è formata da internet users.
prop(comunità_web,formata_da,internet_user).
4. Scrivere le queries Prolog per:
1. restituire le istanza di un sito commerciale
2. restituire le proprietà di un internet user
3. restituire tutte le superclassi di Amazon
1. istanza_di(X,commerciale).
2. ha_proprietà(internet_user,X,Y).
3. istanza_di(amazon,X).
5. Scrivere quali sono i risultati delle seguenti Prolog forzando il backtracking:
1. sottoclasse(istituzionale,X).
2. istanza_di(X,sito_web).
3. ha_proprieta(internet_user,X,Y).
1. X=universitario; X=organizzazione
2. X=amazon; X=sitoRTV; X=sitoRM1
3. X= acquista Y=prodotti
6. Scrivere la modifica da apportare alle regole di accesso alla rete
sottoclasse(X,Classe), in modo che, forzando il backtracking, venga restituita solamente
la superclasse più specifica di un una classe X.
sottoclasse(Classe1,Classe2) :- a_kind_of(Classe1, Classe2),!.
sottoclasse(Classe1,Classe2) :- a_kind_of(Classe1, Classe3),
sottoclasse(Classe3,Classe2).

7. Scrivere l’implementazione errata della regola ricorsiva kind_of(Classe,Superclasse)
che porterebbe il prolog ad un loop infinito.
sottoclasse(Classe1,Classe2) :- sottoclasse(Classe3,Classe2),
a_kind_of(Classe1, Classe3).
sottoclasse(Classe1,Classe2) :- a_kind_of(Classe1, Classe2).
8 Definire la proprietà sito_interessante(X,Lista) che sia vero per un sito X che
venda tutti i prodotti indicati in Lista, e che sia protetto da password. (Ad esempio
sito_interessante(X,[cd,libri]) dovrebbe restituire X=amazon)
sito_interessante(X,Lista):- ha_proprieta(X,necessita,password),
ha_proprieta(X,vende,ListaSito),
contiene(ListaSito,Lista).
contiene(ListaSito,[]).
contiene(ListaSito,[H|T]) :- member(H,ListaSito),
contiene(ListaSito,T).
9. Definire il predicato servizi_offerti(X,L) che restituisca la lista di servizi offerti da
un sito universitario. Un servizio può essere sia una informazione sia l’iscrizione ad un evento
servizi_offerti(X,L) :-ha_proprieta(X,info_su,L1),
ha_proprieta(X,iscrizione_a,L2),
concatena(L1,L2,L).
concatena([],L,L).
concatena([H|T],L1,[H|L2]):- concatena(T,L1,L2).