stack photo

Francesco M.

Donini

Full Professors


Publications in 2006


Semantic-Enhanced Bluetooth Discovery Protocol for M-Commerce Applications. ruta_et_al_IJWGS2006_final.pdf

Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
International Journal of Web and Grid Services, Volume 2, Number 4, page 424--452 - 2006


Publications in 2005

Automated semantic web services orchestration via concept covering. p1160.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci
Proceedings of the 14th International World Wide Web Conference WWW05 ACM Press, page 1160--1161 - 2005


Automated task-oriented team composition using description logics. IKnow05.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
5th International Conference on Knowledge Management I-Know 05, page 229--236 - 2005





Design verification of web applications using symbolic model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Intl. Conf. on Web Engineering 2005 ICWE 05, Springer-Verlag, Volume 3579, page 69--74 - 2005


Fully automated web services orchestration in a resource retrieval scenario. ICWS05.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci
Proc. of IEEE International Conference on web Services (ICWS 05), page 427--434 - 2005



Knowledge Elicitation for Query Refinement in a Semantic-Enabled E-Marketplace. icec05.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
7th International Conference on Electronic Commerce ICEC 05 ACM Press, page 685--691 - 2005


Natural Language Processing for a Semantic Enabled Resource Retrieval Scenario. ITI-05.pdf

Azzurra Ragone, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
27th Intl. Conf. on Information Technology Interfaces, page 395--401 - 2005


Non-standard inferences for knowledge-based image retrieval. ewimt05.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Francesco di Cugno, Eufemia Tinelli
EWIMT 2005 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Techniques, IEE press, page 191--197 - 2005


Ontology-Based Natural Language Parser for E-Marketplaces. iea2005.pdf

Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
18th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer Verlag, Volume 3533, page 279--289 - 2005



Semantic based service discovery in ubiquitous computing. ruta_et_al_aica2005.pdf

Michele Ruta, Giacomo Piscitelli, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Atti del XLIII Congresso Associazione Italiana per il Calcolo Automatico AICA 05, page 179-188 - 2005


Semantic-based automated composition of distributed learning objects for personalized e-learning. colu_et_al_eswc05.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
The Semantic Web: Research and Applications 2nd European Semantic Web Conference ESWC 05, Springer-Verlag, Volume 3532, page 633-648 - 2005


Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics. ext_sebd2005.pdf

Simona Colucci, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto, Azzurra Ragone
Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005), page 232--239 - 2005


Publications in 2004

A Description Logic based Approach for Matching User Profiles. kes2004.pdf

Andea Calý, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
Proc. of the 17th Intl. Workshop on Description Logics (DL'04), Volume 104 - 2004



A Logic for SVG Documents Query and Retrieval. 04070821061724384.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Multimedia Tools and Applications, Volume 24, Number 2, page 125--153 - 2004


A Logic-Based Approach for Matching User Profiles. kes2004.pdf

Andea Calý, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES'04) - 2004


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Electronic Commerce, Volume 8, Number 4, page 9--37 - 2004






EbXML verification using Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 26th International Conference on Information Technology Interfaces, page 455--460 - 2004


Extending and computing the concept covering for the semantic web. TECH-REP-21-04-2.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Technical Report 21/04/S, Politecnico di Bari- Dipartimento di Elettrotecnica ed Elettronica, Number 21/04/S - 2004


Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. ekaw04.ps

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Engineering Knowledge in the Age of the Semantic Web, Springer, Volume 3257, page 307--320 - 2004




Retrieval by Spatial Similarity: an Algorithm and a Comparative Evaluation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Luciano Allegretti
Pattern Recognition Letters, Volume 25, Number 14, page 1633--1645 - 2004


Semantic-based Approach to Task Assignment of Individual Profiles. IKnow04.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 4th International Conference on Knowledge Management (I-Know '04), page 285--292 - 2004



Un Sistema Web-Service Based per l'Integrazione del Distretto Industriale Murgiano.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Vito Albino
tti del XLII Congresso dell'Associazione Italiana per il Calcolo Automatico AICA 04 - September 2004



Publications in 2003

A formal approach to ontology-based semantic match of skills descriptions. jucs03.ps

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola
Journal of Universal Computer Science (J.UCS), Volume 9, Number 12, page 1437--1454 - Dec. 2003


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Twelfth International World Wide Web Conference WWW 2003 ACM press, page 321--330 - May 2003


Abductive Matchmaking using Description Logics. 651ijcai-03.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, page 337--342 - Aug. 2003


Complexity of Reasoning. donini-chap3.pdf

Francesco M. Donini
Cambridge University Press. Description Logic Handbook, page 96--136 - 2003


Concept Abduction and Contraction in Description Logics. DL03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 16th International Workshop on Description Logics (DL'03), Volume 81 - Sept. 2003


Description Logics Approach to Semantic Matching of Web Services. CIT03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Computing and Information Technology, Volume 11, Number 3, page 217--224 - 2003


Description Logics Approach to Semantic Matching of Web Services. iti03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 25th Int. Conf. on Information Technology Interfaces, page 545--550 - Jun. 2003



Logic Based Approach to Web Services Discovery and Matchmaking. icec03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the E-Services Workshop at 5th Intl. Conf. on Electronic Commerce, ICEC'03 - Sept. 2003



Semantic Matchmaking in a P2P Electronic Marketplace.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03, page 582--586 - Mar. 2003


Web Applications Design and Maintenance using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering, page 63--72 - Mar. 2003


Publications in 2002

A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A logical framework and an application for matchmaking in e-commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del XL Congresso dell'Associazione Italiana per il Calcolo Automatico - 25--27 September 2002


AnWeb: a System for Automatic Support to Web Application Verification.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference, page 609--616 - July 2002


Description logics of minimal knowledge and negation as failure. donini-nardi-rosati-TOCL02.ps.gz

Francesco M. Donini, Daniele Nardi, Riccardo Rosati
ACM Transactions on Computational Logic, Volume 3, Number 2 - apr 2002


I-Search: a System for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Foundations of Intelligent Systems, Springer-Verlag, Number 2366, page 149--157 - 2002


Knowledge Representation for Matchmaking in P2P.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale - 11--13 September 2002



Preprocessing of intractable problems. cadoli-donini-liberatore-schaerf-IC01.ps.gz

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Information and Computation, Volume 176, Number 1, page 89--120 - aug 2002



Structured Knowledge Representation for Image Retrieval. disciascio02a.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Artificial Intelligence Research(JAIR), Volume 16, page 209--257 - 2002


Using Computation Tree Logic for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Computational Intelligence and Applications, Volume 2, Number 3, page 245--253 - 2002


Publications in 2001

A Knowledge-Based System for Person-to-Person E-Commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001), Volume 44, page 609--616 - 2001





Content-Based Retrieval of Landmark Images using Structured Knowledge Representation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001) - 2001


Verifying integrity constraints on web-based systems using model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - September 2001


SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy