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: 34)


2020 | 2019 | 2018 | 2017 | 2013 | 2012 | 2010 | 2009 | 2008 | 2006 | 2005 | 2004 | 2003 | 2002 | 1999 | 1998 | 1997 | 1992

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, Elaheh Pourabbas, 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, 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

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, Elaheh Pourabbas: 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -