Rappresentazione della conoscenza

Tesine con RACER.

Titolo 1: Definizione ed Interrogazione di una Knowledge Base (KB) con il sistema RACER.

Obiettivo:

L'obiettivo e' la Definizione ed l'Interrogazione di una Knowledge Base con il sistema RACER, utilizzando, in particolare,
  1. RICE come interfaccia grafica
  2. nRQL, come linguaggio di interrogazione

Specifiche :

Le specifiche dell Knowledge Base vengono date in linguaggio naturale; ad esempio si possono considerare le specifiche di un compito di Basi di Dati relative alla realizzazione alla progettazione concettuale: in questo caso invece di usare il modello E/R si utilizza il linguagio di RACER.

Titolo 2: Rappresentazione e ragionamento in una Database tramite il RACER.

Obiettivo:

L'obiettivo e' la Definizione ed l'Interrogazione di una Knowledge Base che rappresenti lo schema e le istanze di un Database relazionale con il sistema RACER, utilizzando, in particolare,
  1. RICE come interfaccia grafica
  2. nRQL, come linguaggio di interrogazione

Specifiche :

In questo caso il punto di partenza e' un Database con un proprio schema (e' possibile considerare anche lo schema E/R) che si deve rappresentare in RACER:
  1. lo schema E/R viene riportato in RACER (--> Tbox): questo consente in particolare di verificare inconsistenze nella dichiarazione dello schema. Quindi il candidato deve dichiarare un'entita' E/R inconsistente, tradurla e rilevare la inconsistenza con RACER
  2. le istanze del DB relazionale vengono riportate in RACER (--> Abox) e la KB viene interrogata usando nRQL; L'obiettivo e' quello di effettuare delle semplici interrogazioni (selezioni, join, differenza) sia in SQL (nel DB relazionale) sia in RACER tramite nRQL e confrontarne il risultato.

Note :

Questa tesina ha un maggior contenuto teorico in quanto il punto di partenza e' il problema di rappresentare in Description Logics uno schema E/R, problema studiato in letteratura (vedi articolo) e analizzato anche in questa tesina.

Titolo 3: Owl e Racer

Obiettivo:

L'obiettivo e' la rappresentazione in RACER di una Knowledge Base espressa in OWL

Specifiche :

Racer supporta il formato OWL, incorporando al suo interno un parser OWL basato sul progetto Wilbur (Wilbur e' parte dellĠattivita' di ricerca che Nokia svolge sul Web Semantico. Un'altra possibilita' e' quella di usare Protege2 infatti, Racer puo' essere usato con Protege2 per sviluppare ontologie nel formato OWL.

Note :

Questa tesina ha un maggior contenuto implementativo , in quanto si basa sull'utilizzo di sistemi gia' sviluppati