Publications of Anna Formica

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Formica A., in the category Journal Articles (or show them all):   (Items found: 40)

2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2013 | 2012 | 2010 | 2009 | 2008 | 2006 | 2005 | 2004 | 2003 | 2002 | 1999 | 1998 | 1997 | 1992
2023  [top]
2022  [top]
  • Anna Formica: Concept Similarity in Formal Concept Analysis, Journal of Mathematical and Computational Science 12, 2022
2021  [top]
  • 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
2020  [top]
2019  [top]
  • Anna Formica: Similarity reasoning in formal concept analysis: from one- to many-valued contexts, Knowledge and Information Systems 60(2), 715-739, 2019
2018  [top]
  • 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
2017  [top]
  • 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
2013  [top]
2012  [top]
  • Anna Formica: Semantic Web search based on Rough Sets and Fuzzy Formal Concept Analysis, Knowledge-Based Systems 26, 40-47, 2012
2010  [top]
  • 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
2009  [top]
  • 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, Pourabbas E.: Content Based Similarity of Geographic Classes organized as Partition Hierarchies, Knowledge and Information Systems 20(2), 221-241, 2009
2008  [top]
  • Anna Formica: Similarity of XML-Schema Elements: a Structural and Information Content Approach, Computer Journal 51 (2), 240-254, 2008
  • Anna Formica: Concept Similarity in Formal Concept Analysis: an Information Content Approach, Knowledge-Based Systems 21 (1), 80-87, 2008
2006  [top]
  • Anna Formica: Ontology-based concept similarity in Formal Concept Analysis, Information Sciences 176 (18), 2624-2641, 2006
2005  [top]
  • Anna Formica: Similarity of XML-Schema Elements supported by Domain Ontologies, International Journal of Software Engineering and Knowledge Engineering 15 (1), 117-130, 2005
2004  [top]
  • 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
2003  [top]
  • Anna Formica: Satisfiability of Object-Oriented Database Constraints with Set and Bag Attributes, Information Systems 28 (3), 213-224, 2003
2002  [top]
  • 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
1999  [top]
  • 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
1998  [top]
1997  [top]
  • 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 Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases, Information Processing Letters 62, 269-279, 1997
1992  [top]
  • 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: A comparative study of Object-Oriented databases and terminological knowledge bases, AIIA Notizie Anno V, N.2, 1992
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -