Anna Formica
Anna Formica Anna Formica
Senior Researcher

Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti"
Via dei Taurini, 19
00185 Roma - Italy

Office n. 512
Tel.: +39 06 4993 7126
Fax: +39 06 4993 7137
email

Research groups

Selected publications
  • De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Parametric Similarity Method: Comparative Experiments based on Semantically Annotated Large Datasets, Journal of Web Semantics 76, 2023
  • Anna Formica, Francesco Taglino: Semantic Relatedness in DBpedia: A Comparative and Experimental Assessment, Information Sciences 621, 474-505, 2023
  • Anna Formica, Francesco Taglino: Semantic Similarity in a Taxonomy by Evaluating the Relatedness of Concept Senses with the Linked Data Semantic Distance, Transactions on Large-scale Data and Knowledge-Centered Systems LIII, LNCS 13840, 2023
  • Anna Formica: Concept Similarity in Formal Concept Analysis, Journal of Mathematical and Computational Science 12, 2022
  • Anna Formica: Concept Similarity in Formal Concept Analysis with many-valued contexts, Computing and Informatics 40(V), 1001-1020, 2021
  • Anna Formica, Francesco Taglino: An Enriched Information-Theoretic Definition of Semantic Similarity in a Taxonomy, IEEE Access 9, 100583-100593, 2021
  • Anna Formica, Barbagallo A.: Integrating semantic search in e-learning technologies: the ELSE system, Information Technologies and Learning Tools 78, 237-248, 2020
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate query answering based on topological neighborhood and semantic similarity in OpenStreetMap, IEEE Access, DOI:10.1109/ACCESS.2020.2992202, https://ieeeaccess.ieee.org/, 2020
  • Anna Formica, Pourabbas E., Francesco Taglino: Semantic Search Enhanced with Rating Scores, Future Internet, 12 (4), DOI: https://doi.org/10.3390/fi12040067, https://www.mdpi.com/1999-5903/12/4/67, 2020
  • De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search., in the Proceedings of Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, ICAART, 2019
  • Anna Formica: Similarity reasoning in formal concept analysis: from one- to many-valued contexts, Knowledge and Information Systems 60(2), 715-739, 2019
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Querying Distributed GIS with GeoPQLJ based on GeoJSON, in the Proceedings of Proceedings of the 5th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2019, Heraklion, Crete, Greece, May 3-5, 2019, 2019
  • Anna Formica: Integrating Fuzzy Formal Concept Analysis and Rough Set Theory for the Semantic Web, Bulletin of Computational Applied Mathematics (CompAMa) 6(2), 65-84, 2018
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate Answering of Queries Involving Polyline-Polyline Topological Relationships, Information Visualization 17(2), 128-145, 2018
  • Barbagallo A., Anna Formica: ELSE: an ontology-based system integrating semantic search and e-learning technologies, Interactive Learning Environments 25(5), 650-666, 2017
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Enriching the semantics of the Directed Polyline-Polygon Topological Relationships: the DLP-Intersection Matrix, International Journal of Geographical Systems 19(2), 175-196, 2017
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: A Bayesian Approach for Semantic Search based on DAG-Shaped Ontologies, Lecture Notes in Computer Science vol. 10439, 28th International Conference on Database and Expert Systems - DEXA 2017, pp. 126–140, 2017
  • Missikoff M, Anna Formica, Pourabbas E., Francesco Taglino: Enriching semantic search with preference and quality scores, Encyclopedia with Semantic Computing and Robotic Intelligence, 01(01), DOI: 10.1142/S0000000016500023, World Scientific, 2017
  • Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Bayesian Approach for Weighted Ontologies and Semantic Search, Filipe Joaquim, Fred Ana, Dietz Jan, Aveiro David, Liu Kecheng, Bernardino Jorge eds., 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-KEOD 2016, p. 171-178, ISBN: 978-989-758-203-5, 2016
  • Anna Formica: Similarity Reasoning for the Semantic Web based on Fuzzy Concept Lattices: an informal approach, Information Systems Frontiers 15 (3), 511-520, 2013
  • Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Linked Data Based Approach to Similarity Reasoning, Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013
  • Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: Supporting Customer Choice with Semantic Similarity Search and Explanation, Lecture Notes in Business Information Processing 148, 317-328, 2013
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for matching user requests with profiled enterprises, Computers in Industry 64 (3), 191-202, 2013
  • Anna Formica, Pourabbas E., Rafanelli M.: Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages, Computer Science and Information Systems 10 (3), 1053-1075, 2013
  • Anna Formica: Semantic Web search based on Rough Sets and Fuzzy Formal Concept Analysis, Knowledge-Based Systems 26, 40-47, 2012
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, in the Proceedings of Proc. of Int. Cross-Domain Conf. and Workshop on Availability, Reliability, and Security, CD-ARES 2012,, Quirchmayr G. ed., Lecture Notes in Computer Science, 7465, 2012
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 12-12, 2012
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for collaborative competency management in networked enterprises, IASI-CNR, R. 11-15, 12/2011
  • Anna Formica, Pourabbas E., Rafanelli M.: Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 11-04, 2011
  • Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, International Journal of Uncertainty Fuzziness and Knowledge-Based Systems 18(2), 153-167, 2010
  • Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, R. 10-16, 12/2010
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2010
  • D'Ulizia A., Ferri F., Anna Formica, Grifoni P.: Approximating Geographical Queries, Journal of Computer Science and Technology 24(6), 2009
  • Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach, Communications of the Acm 52(3), 145-149, 2009
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Adding Concept Weights to Ontologies for Semantic Search, in the Proceedings of 17th Italian Symposium on Advanced Database Systems (SEBD 09), Guerrini G., Catania B., De Antonellis V., Castano S. eds., 2009
  • Anna Formica, Pourabbas E.: Content Based Similarity of Geographic Classes organized as Partition Hierarchies, Knowledge and Information Systems 20(2), 221-241, 2009
  • Anna Formica: Concept Similarity in Formal Concept Analysis: an Information Content Approach, Knowledge-Based Systems 21 (1), 80-87, 2008
  • Anna Formica: Similarity of XML-Schema Elements: a Structural and Information Content Approach, Computer Journal 51 (2), 240-254, 2008
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Weighted Ontology for Semantic Search, Lecture Notes in Computer Science, 5332, Springer Berlin / Heidelberg, 1289-1303, 2008
  • D'Ulizia A., Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Structural similarity in geographical queries to improve query answering, ACM Symposium on Applied Computing (SAC), 2007
  • Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Query Approximation by Semantic Similarity in GeoPQL, in the Proceedings of OTM Workshops (2), Lecture Notes in Computer Science, 4278, 2006
  • Anna Formica: Ontology-based concept similarity in Formal Concept Analysis, Information Sciences 176 (18), 2624-2641, 2006
  • Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Evaluating semantic similarity using GML in Geographic Information Systems, in the Proceedings of SebGIS'05, First Intern. Workshop on Semantic-based Geographical Information Systems, Agia Napa, Cyprus, 30 October - 4 November, Lecture Notes in Computer Science, 3762, 1009-1019, 2005
  • Anna Formica: Similarity of XML-Schema Elements supported by Domain Ontologies, International Journal of Software Engineering and Knowledge Engineering 15 (1), 117-130, 2005
  • Anna Formica: Legality of XML-Schema Type Hierarchies, Computer Journal 47 (5), 591-601, 2004
  • Anna Formica, Michele Missikoff: Inheritance Processing and Conflicts in Structural Generalization Hierarchies, ACM Computing Surveys 36 (3), 1-28, 2004
  • Anna Formica: Satisfiability of Object-Oriented Database Constraints with Set and Bag Attributes, Information Systems 28 (3), 213-224, 2003
  • Anna Formica: Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas, IEEE Transactions on Knowledge and Data Engineering 14 (1), 123-139, 2002
  • Anna Formica, Frank H.: Consistency of the Static and Dynamic Components of Object-Oriented Specifications, Data & Knowledge Engineering 40 (2), 195-215, 2002
  • Anna Formica, Michele Missikoff: Concept Similarity in SymOntos: an Enterprise Ontology Management Tool, Computer Journal 45 (6), 583-594, 2002
  • Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, ACM SIGMOD Digital Symposium Collection (DiSC), ACM SIGMOD Digital Symposium Collection (DiSC), 2002
  • Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, in the Proceedings of XVI Brazilian Symposium on DataBases (SBBD'01), 2001
  • Beeri C., Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases, Data & Knowledge Engineering 30 (3), 191-216, 1999
  • Anna Formica, Michele Missikoff: Integrity Constraints and Structural Modeling in Object-Oriented Databases: a Unified Approach, International Journal of Computers and Applications 21, 89-99, 1999
  • Anna Formica, Pizzicannella R.: On the Reification of Business Processes, in the Proceedings of First International Workshop on Enterprise Management and Resource Planning Systems: Methods, Tools and Architectures (EMRPS'99), Eder J., Maiden N., Missikoff M. eds., 319-328, 1999
  • Anna Formica, Groger H.D., Michele Missikoff: An Efficient Method For Checking Object-Oriented Database Schema Correctness, ACM Transactions on Database Systems 23, 333-369, 1998
  • Damiani E., Anna Formica, Fugini M.G., Michele Missikoff, Pizzicannella R.: Reusing Analysis Schemas in ODB Applications: a Chart Based Approach, in the Proceedings of First European Symposium on Advances in Databases and Information Systems, St. Petersburg (Russia), 406-415, 1997
  • Anna Formica, Groger H.D., Michele Missikoff: Object-Oriented Database Schema Analysis and Inheritance Processing: a Graph-Theoretic Approach, Data & Knowledge Engineering 24, 157-181, 1997
  • Anna Formica, Michele Missikoff: A Formal Approach to the Design of Business Agents, in the Proceedings of 4th ModelAge Workshop on Formal Models of Agents, Cesta A., Schobbens P.Y. eds., 299-314, 1997
  • Anna Formica, Michele Missikoff: A Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases, Information Processing Letters 62, 269-279, 1997
  • Anna Formica, Michele Missikoff, Terenzi R.: Constraint Satisfiability in Object-Oriented Databases, in the Proceedings of Second International East/West Database Workshop on Extending Information Systems Technology, Eder J., Kalinichenko L. eds., Springer, 48-60, 1995
  • Anna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas, in the Proceedings of Advances in Database Technology, Proc. of International Conference EDBT 94, Jarke M., Bubenko J., Jeffery K. eds., Lecture Notes in Computer Science, 779, Springer-Verlag, 231-244, 1994
  • Anna Formica, Lam H., Michele Missikoff, Toiati M.: MOSAICO: A System for Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 257-259, 1993
  • Anna Formica, Michele Missikoff: Integrity Constraint Representation in Object-Oriented Databases, in: Information and Knowledge Management, Finin T.W., Nicholas C.K., Yesha Y. eds., Lecture Notes in Computer Science, 752, Springer-Verlag, 69-85, 1993
  • Anna Formica, Michele Missikoff: Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 129-146, 1993
  • Anna Formica, Michele Missikoff, Toiati M.: A Validation Tool for Object-Oriented Database Specifications, in the Proceedings of ERCIM Database Research Group Workshop, 93-95, 1993
  • Anna Formica, Michele Missikoff: A comparative study of Object-Oriented databases and terminological knowledge bases, AIIA Notizie Anno V, N.2, 1992
  • Anna Formica, Michele Missikoff: Adding Integrity Constraints to Object-Oriented Databases, in the Proceedings of Int'l Conference on Information and Knowledge Management, 1992
  • Anna Formica, Michele Missikoff: An Algorithm for Type Subsumption in Object-Oriented Databases, Journal of Management Systems and Machines 8 (1), 103-111, 1992
  • Anna Formica, Michele Missikoff: Materialization of Recursive Objects in an Object-Oriented Database, in the Proceedings of International Symposium on Applied Informatics, 266-270, 1991
  • Anna Formica, Michele Missikoff, Vazzana S.: An Object-Oriented Data Model for Artificial Intelligence Applications, in: Next Generation Information System Technology, Schmidt J.W., Stogny A.A. eds., Lecture Notes in Computer Science, 504, Springer-Verlag, 1991
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -