English
	STRUMENTI DI SUPPORTO AL SISTEMA QUONTO Tesi di Laurea Specialistica in Ingegneria Informatica, Università di Roma “Sapienza”, Settembre 2007 di Manuel Dioturni Azienda ospitante: Epistematica Srl Relatore: Prof. M. Lenzerini Tutor: Ing. M. Iacovella

Una delle principali linee di ricerca sulle Description Logic riguarda il compromesso tra potere espressivo della logica e complessità computazionale del ragionamento; il rapporto di diretta proporzionalità che lega questi due aspetti fa sì che si cerchi il miglior compromesso, infatti molte DLs con efficienti algoritmi di ragionamento (di classe P nel caso peggiore) soffrono la mancanza di potere espressivo richiesto per catturare modelli concettuali e linguaggi di base per ontologie, viceversa, molte DLs con sufficiente potere espressivo soffrono il conseguente comportamento di ragionamento (di classe EXPTIME nel caso peggiore).

Il sistema QuOnto (Querying Ontologies) è stato sviluppato proprio per risolvere i suddetti problemi. Questo ragionatore free (per uso non commerciale), sviluppato in Java, rappresenta il primo ragionatore automatico in grado di rispondere a query complesse (unione di conjunctive query) effettuate su ontologie. In particolare, è basato sulla DL-Lite, una nuova Description Logic, e gestisce fino ad alcuni milioni d’istanze in memoria secondaria mantenendo una complessità di risposta alle query logaritmica (LOGSPACE) rispetto alla dimensione dei dati. QuOnto, tuttavia, non è provvisto di un’interfaccia grafica né di strumenti di gestione ma richiede all’utente, affinché possa interagirci, la conoscenza di una particolare sintassi XML per poter definire ontologie da sottoporgli; questa complessa modalità d’interazione fa sì che la sua diffusione trovi degli ostacoli.

Per tali motivi, nel presente lavoro, si è pensato di associare QuOnto ad uno strumento già consolidato e diffuso nella comunità del Web Semantico, quale Protégé.

Protégé è un editor di ontologie free ed open-source e consente l’import / export delle ontologie in vari formati (OWL, RDF Schema, XML Schema, ecc...). Protégé raccoglie una vasta community che contribuisce a renderlo aggiornato; inoltre, la sua architettura basata su Java plug-in lo rende facilmente estendibile.

I due sistemi citati utilizzano differenti formalismi, perciò è stata effettuata una traduzione dai costrutti del linguaggio su cui è basato Protégé (OWL) alle asserzioni della Description Logic su cui è basato QuOnto (DL-LiteF). Una volta progettata la traduzione, si è passati alla fase di realizzazione del progetto, consistita prevalentemente nell’implementazione e nel test del software, che, infine, è stato corredato di apposita documentazione e condiviso con la community di Protégé.

Leggi la tesi

Immagine: Libera reinterpretazione dei loghi di Quonto e Protègè