Martina Paianini
Obiettivo di questa tesi è la definizione di un insieme di predicati per l'utilizzo di tecnologie 'Semantic Web' da programmi Prolog. In particolare, si vuole rendere disponibile il modello RDF sotto forma di libreria per il motore tuProlog, al fine di porre le basi per lo scambio e l'utilizzo di ontologie nell'ambito di sistemi multi-agente. L'interfaccia della libreria dovrà essere formulata in base ad una attenta analisi dello stato dell'arte per altri interpreti Prolog, mentre l'implementazione potrà sfruttare software Java pre-esistente.