Anna Formica received a degree (Hons.) in mathematics from Sapienza University of Rome in 1989. She is currently a Senior Researcher with the ‘‘Istituto di Analisi dei Sistemi ed Informatica’’ (IASI) ‘‘Antonio Ruberti’’ of the Italian National Research Council (Consiglio Nazionale delle Ricerche-CNR), Rome, where she leads the ‘‘Software and Knowledge-Based Systems’’ (SaKS) group. She took part in various research projects of the European framework programs and bilateral projects with international institutions. Her current research interests include semantic web, similarity reasoning, semantic relatedness of web resources, formal specification and validation of domain ontologies, fuzzy formal concept analysis, geographical information systems, and e-learning. She serves as an editor for many international journals and as a referee for several international conferences.