Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Analisi e confronto di paradigmi logici descrittivi e a regole per la composizione di Semantic Web Service in ambito bioinformatico |
|---|---|
| Titolo del progetto di ricerca in inglese | Analysis and comparison between programming paradigms (description logics and rule based) for Semantic Web Services composition in Bioinformatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Come dimostrato in [1] la composizione automatica dei Semantic Web Services (SWS) richiede la combinazione dei paradigmi logico descrittivi con quelli a regole, ambedue sottoinsiemi della Logica del Primo Ordine. Il linguaggio proposto, Description Logic Programs (DLP), esprime la sovrapposizione tra questi due formalismi. DLP non è però abbastanza espressivo per essere adottato come soluzione definitiva per la Composizione di SWS. Dall’altra parte il pieno utilizzo delle primitive messe a disposizione dai due sottoinsiemi è dimostrato portare all’indecidibilità [2]. L’obiettivo di questa ricerca sarà volto a ricercare il giusto compromesso tra i due paradigmi al fine di evidenziare le problematiche e le possibili soluzioni adottabili per lo sviluppo di sistemi di composizione automatica utilizzabili su larga scala. La ricerca riassume questi concetti indicando quali sono i legami dei SWS, intesi come servizi intelligenti, con i Web services ed il Semantic Web. |
| Descrizione sintetica in inglese | As shown in [1] automatic composition of Semantic Web Services (SWS) requires to combine Description Logics and Rules paradigms, both subsets of First Order Logic. The proposed language, Description Logic Programs (DLP), expresses the overlap between these two formalisms. DLP is not expressive enough to be adopted as a permanent solution for the SWS composition. On the other hand the full use of the primitives provided by the two subsets is shown to lead to undecidability [2]. The objective of this research will be to search for the right compromise between the two paradigms in order to highlight the problems and possible solutions for the development of automatic composition systems usable on a large scale. The research synthesizes these concepts emphasizing the relationships among the SWS (here intended as intelligent) with the Web Services and the Semantic Web |
| Data del bando | 05/04/2012 |
| Paesi in cui può essere condotta la ricerca |
All |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.apd.ict.uniba.it |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Dipartimento di Informatica, Università degli Studi di Bari “Aldo Moro” - Bari |
|---|---|
| Tipologia dell'Ente | Other |
| Paese dell'Ente | Italy |
| Città | Bari |
| Sito web | http://www.apd.ict.uniba.it |
| direttore@di.uniba.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 05/05/2012 |
|---|---|
| Come candidarsi | Other |