Anna Formica

According to our database1, Anna Formica
  • authored at least 49 papers between 1990 and 2018.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





Approximate answering of queries involving polyline-polyline topological relationships.
Information Visualization, 2018

Enriching the semantics of the directed polyline-polygon topological relationships: the DLP -intersection matrix.
Journal of Geographical Systems, 2017

ELSE: an ontology-based system integrating semantic search and e-learning technologies.
Interactive Learning Environments, 2017

A Bayesian Approach for Semantic Search Based on DAG-Shaped Ontologies.
Proceedings of the Database and Expert Systems Applications, 2017

A Bayesian Approach for Weighted Ontologies and Semantic Search.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9, 2016

Similarity reasoning for the semantic web based on fuzzy concept lattices: An informal approach.
Information Systems Frontiers, 2013

Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages.
Comput. Sci. Inf. Syst., 2013

Semantic search for matching user requests with profiled enterprises.
Computers in Industry, 2013

A Linked Data Based Approach to Similarity Reasoning.
Proceedings of the Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013

Supporting Customer Choice with Semantic Similarity Search and Explanation.
Proceedings of the Advanced Information Systems Engineering Workshops, 2013

Semantic Web search based on rough sets and Fuzzy Formal Concept Analysis.
Knowl.-Based Syst., 2012

A 16-Intersection Matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages.
Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2010

Semantic Search for Enterprises Competencies Management .
Proceedings of the KEOD 2010, 2010

Content based similarity of geographic classes organized as partition hierarchies.
Knowl. Inf. Syst., 2009

Approximating Geographical Queries.
J. Comput. Sci. Technol., 2009

Concept similarity by evaluating information contents and feature vectors: a combined approach.
Commun. ACM, 2009

Adding Concept Weights to Ontologies for Semantic Search.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Concept similarity in Formal Concept Analysis: An information content approach.
Knowl.-Based Syst., 2008

Similarity of XML-Schema Elements: A Structural and Information Content Approach.
Comput. J., 2008

Weighted Ontology for Semantic Search.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Structural similarity in geographical queries to improve query answering.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Ontology-based concept similarity in Formal Concept Analysis.
Inf. Sci., 2006

Query Approximation by Semantic Similarity in GeoPQL.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Similarity Of Xml-Schema Elements Supported By Domain Ontologies.
International Journal of Software Engineering and Knowledge Engineering, 2005

Evaluating Semantic Similarity Using GML in Geographic Information Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Inheritance processing and conflicts in structural generalization hierarchies.
ACM Comput. Surv., 2004

Legality of XML-Schema Type Hierarchies.
Comput. J., 2004

Satisfiability of object-oriented database constraints with set and bag attributes.
Inf. Syst., 2003

Ontology Validation in OPAL.
Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.
IEEE Trans. Knowl. Data Eng., 2002

Consistency of the static and dynamic components of object-oriented specifications.
Data Knowl. Eng., 2002

Concept Similarity in SymOntos: An Enterprise Ontology Management Tool.
Comput. J., 2002

Semantic Integration of Tourism Enterprises: an Ontological Approach.
Proceedings of the XVI Simpósio Brasileiro de Banco de Dados, 2001

Inheritance Hierarchy Design in Object-Oriented Databases.
Data Knowl. Eng., 1999

An Efficient Method for Checking Object-Oriented Database Schema Correctness.
ACM Trans. Database Syst., 1998

A Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases.
Inf. Process. Lett., 1997

Object-Oriented Database Schema Analysis and Inheritance Processing: A Graphtheoretic Approach.
Data Knowl. Eng., 1997

Reusing Analysis Schemas in ODB Applications: a Chart Based Approach.
Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

A Method for Inheritance Processing in Object-Oriented Databases.
Proceedings of the Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di Dati (4th National Conference on Advanced Database Systems), 1996

A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies in Object-Oriented Databases.
Proceedings of the Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 1995

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas.
Proceedings of the Logic Programming, 1995

Constraint Satisfiability in Object-Oriented Databases.
Proceedings of the East/West Database Workshop, 1994

Correctness of ISA Hierarchies in Object-Oriented Database Schemas.
Proceedings of the Advances in Database Technology, 1994

Modeling Semantic Interity Contraints in Object-Oriented Database Schemas.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

On Structural Correctness of Object-Oriented Database Schemas.
Proceedings of the Convegno SEBD'93, 1993

Integrity Constraints Representation in Object-Oriented Databases.
Proceedings of the Information and Knowledge Management, 1992

An Object-Oriented Data model for Artificial Intelligence Applications.
East/West Database Workshop, 1990