Anna Formica
Anna Formica Anna Formica
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
  • 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, Elaheh Pourabbas, Rafanelli M.: Approximate Answering of Queries Involving Polyline-Polyline Topological Relationships, Information Visualization DOI: 10.1177/1473871617698516, 2017
  • Anna Formica, Mauro Mazzei, Elaheh Pourabbas, 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, Elaheh Pourabbas, Francesco Taglino: A Bayesian Approach for Semantic Search based on DAG-Shaped Ontologies, 28th International Conference on Database and Expert Systems Applications - DEXA 2017, 2017
  • Missikoff M, Anna Formica, Elaheh Pourabbas, 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, Elaheh Pourabbas, 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, Elaheh Pourabbas, 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, Elaheh Pourabbas, 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, Elaheh Pourabbas, Francesco Taglino: Semantic search for matching user requests with profiled enterprises, Computers in Industry 64 (3), 191-202, 2013
  • Anna Formica, Elaheh Pourabbas, Maurizio Rafanelli: 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, Elaheh Pourabbas, Maurizio Rafanelli: 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, Elaheh Pourabbas, Maurizio Rafanelli: 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, Elaheh Pourabbas, Francesco Taglino: Semantic search for collaborative competency management in networked enterprises, IASI-CNR, R. 11-15, 12/2011
  • Anna Formica, Elaheh Pourabbas, Maurizio Rafanelli: 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, Elaheh Pourabbas, 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, Elaheh Pourabbas, 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, Elaheh Pourabbas: 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, Elaheh Pourabbas, 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., Maurizio Rafanelli: Structural similarity in geographical queries to improve query answering, ACM Symposium on Applied Computing (SAC), 2007
  • Ferri F., Anna Formica, Grifoni P., Maurizio Rafanelli: 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., Maurizio Rafanelli: 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -