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 ALL (or show them all):   (Items found: 92)


2020 | 2019 | 2018 | 2017 | 2016 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991

2020  [top]

2019  [top]
  • De Nicola A., Anna Formica, Missikoff M, Elaheh Pourabbas, 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, Elaheh Pourabbas, 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

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]

2016  [top]
  • 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

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
  • 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

2011  [top]

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
  • Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, R. 10-16, 12/2010
  • Anna Formica, Missikoff M., Elaheh Pourabbas, Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 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: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, IASI-CNR, R. 09-01, 2009
  • Anna Formica: Similarity Reasoning for Fuzzy Concept Lattices, IASI-CNR, R. 09-02, 2009
  • Anna Formica, Missikoff M., 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

2008  [top]

2007  [top]
  • D'Ulizia A., Ferri F., Anna Formica, Grifoni P.: Approximating geographical query answers, IASI-CNR, R. 666, 7/2007
  • 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
  • Anna Formica: Concept similarity in Formal Concept Analysis: An information content approach, manuscript accepted in Knowledge-Based Systems, 2007
  • Anna Formica: Similarity of XML-Schema Elements: A Structural and Information Content Approach, doi:10.1093/comjnl/bxm051, to appear in The Computer Journal, 2007
  • Anna Formica: Similarity of XML-Schema Elements: A Structural and Information Content Approach, IASI-CNR, R. 656, 1/2007

2006  [top]
  • 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
  • Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (To appear in Communications of ACM), IASI-CNR, R. 642, 6/2006
  • Anna Formica: Concept similarity in Formal Concept Analysis: an Information Content Approach, IASI-CNR, R. 643, 9/2006

2005  [top]
  • 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, IASI-CNR, R. 629, 2/2005
  • Anna Formica: Similary of XML-Schema Elements supported by Domain Ontologies, IASI-CNR, R. 631, 3/2005
  • Anna Formica: Ontology-based concept similary in Formal Concept Analysis, IASI-CNR, R. 633, 5/2005

2004  [top]
  • Anna Formica: Legality of XML-Schema Type Hierarchies, Computer Journal 47 (5), 591-601, 2004
  • Anna Formica, Missikoff M.: Inheritance Processing and Conflicts in Structural Generalization Hierarchies, ACM Computing Surveys 36 (3), 1-28, 2004
  • Anna Formica, Elaheh Pourabbas: Content based similarity of geographic classes organized as partition hierarchies, IASI-CNR, R. 624, 12/2004

2003  [top]
  • Anna Formica: Satisfiability of Object-Oriented Database Constraints with Set and Bag Attributes, Information Systems 28 (3), 213-224, 2003
  • Missikoff M., Anna Formica: Ontology Validation in OPAL, in the Proceedings of ICWS'03, Int. Conference on Web Services, LasVegas, Nevada, Springer-Verlag Heidelberg, 198-202, 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, Missikoff M.: Concept Similarity in SymOntos: an Enterprise Ontology Management Tool, Computer Journal 45 (6), 583-594, 2002
  • Anna Formica, Missikoff M.: An extended XML approach to ontology engineering, in the Proceedings of Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI'02), Orlando, USA, July 14-18, 1, World Multiconference on Systemics, Cybernetics and Informatics, 69-71, 2002
  • Anna Formica, Missikoff M.: Semantic Integration of Tourism Enterprises: an Ontological Approach, ACM SIGMOD Digital Symposium Collection (DiSC), ACM SIGMOD Digital Symposium Collection (DiSC), 2002

2001  [top]
  • Anna Formica: Satisfiability of object-oriented database constraints with set and bag attributes, IASI-CNR, R. 549, 05/2001
  • Anna Formica, Missikoff M.: Semantic Integration of Tourism Enterprises: an Ontological Approach, in the Proceedings of XVI Brazilian Symposium on DataBases (SBBD'01), 2001
  • Anna Formica, Missikoff M.: Concept similarity in Symontos: an enterprise ontology management tool, IASI-CNR, R. 554, 09/2001

2000  [top]
  • Anna Formica: Finite satisfiability of object-oriented database integrity constraints with inequality and null-values, IASI-CNR, R. 538, 12/2000
  • Anna Formica, Frank H.: Consistency of the static and dynamic components of object-oriented specifications, IASI-CNR, R. 532, 10/2000
  • Anna Formica, Missikoff M.: Refinement hierarchies in structural conceptual models, IASI-CNR, R. 528, 06/2000

1999  [top]
  • Beeri C., Anna Formica, Missikoff M.: Inheritance Hierarchy Design in Object-Oriented Databases, Data & Knowledge Engineering 30 (3), 191-216, 1999
  • Anna Formica, Missikoff M.: 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

1998  [top]
  • Beeri C., Anna Formica, Missikoff M.: Inheritance hierarchy design in object-oriented databases, IASI-CNR, R. 468, 09/1998
  • Anna Formica: Finite satisfiability of integrity constraints in object-oriented database schemas, IASI-CNR, R. 469, 09/1998
  • Anna Formica, Groger H.D., Missikoff M.: An Efficient Method For Checking Object-Oriented Database Schema Correctness, ACM Transactions on Database Systems 23, 333-369, 1998

1997  [top]
  • Damiani E., Anna Formica, Fugini M.G., Missikoff M., 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., Missikoff M.: Object-Oriented Database Schema Analysis and Inheritance Processing: a Graph-Theoretic Approach, Data & Knowledge Engineering 24, 157-181, 1997
  • Anna Formica, Missikoff M.: 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, Missikoff M.: A Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases, Information Processing Letters 62, 269-279, 1997

1996  [top]

1995  [top]
  • Anna Formica, Missikoff M., 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

1994  [top]
  • Anna Formica, Missikoff M.: 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, Missikoff M.: Correctness of inheritance hierarchies in recursive object-oriented database schemas, IASI-CNR, R. 384, 07/1994

1993  [top]
  • Anna Formica, Lam H., Missikoff M., 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, Missikoff M.: 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, Missikoff M.: 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, Missikoff M., Toiati M.: A Validation Tool for Object-Oriented Database Specifications, in the Proceedings of ERCIM Database Research Group Workshop, 93-95, 1993

1992  [top]
  • Anna Formica, Missikoff M.: Adding Integrity Constraints to Object-Oriented Databases, in the Proceedings of Int'l Conference on Information and Knowledge Management, 1992
  • Anna Formica, Missikoff M.: An Algorithm for Type Subsumption in Object-Oriented Databases, Journal of Management Systems and Machines 8 (1), 103-111, 1992
  • Anna Formica, Missikoff M.: A comparative study of Object-Oriented databases and terminological knowledge bases, AIIA Notizie Anno V, N.2, 1992

1991  [top]
  • Anna Formica, Missikoff M.: Materialization of Recursive Objects in an Object-Oriented Database, in the Proceedings of International Symposium on Applied Informatics, 266-270, 1991
  • Anna Formica, Missikoff M.: A tightly typed data model for object-oriented databases., IASI-CNR, R. 332, 12/1991
  • Anna Formica, Missikoff M., 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -