The Clio project: managing heterogeneity
ACM SIGMOD Record
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
Ontology mapping: the state of the art
The Knowledge Engineering Review
Ontology Matching
COMA: a system for flexible combination of schema matching approaches
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantic matching: algorithms and implementation
Journal on data semantics IX
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
Merging taxonomies under RCC-5 algebraic articulations
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Merging Sets of Taxonomically Organized Data Using Concept Mappings under Uncertainty
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Hi-index | 0.00 |
Taxonomically organized data pervade science, business and everyday life. Unfortunately, taxonomies are often underspecified, limiting their utility in contexts such as data integration, information navigation and autonomous agent communication. This work formalizes taxonomies and relationships between them as formulas in logic. This formalization concretizes notions such as consistency and inconsistency of taxonomies and articulations (inter-taxonomic relations) between them, enables the derivation of new articulations based on a given set of taxonomies and articulations and provides a framework for testing assumptions about underspecified taxonomies. Given the typical intractability of reasoning with taxonomies and articulations, this research investigates many optimizations: from those that reduce the search space, to those that leverage parallel processing, to those investigating logics more tractable than first-order logic (e.g., monadic first-order logic, propositional logic, description logics, and subsets of the RCC-5 spatial algebra). Finally, in addition to reasoning with taxonomies and articulations, this research investigates how to repair inconsistent taxonomies and articulations, how to explain inconsistencies and discovered relations, and how to merge taxonomies given articulations. Critical to this research is the development of a framework for testing logics and support for the development of taxonomies and articulations. This framework, CleanTax is already well under way and has been used to study articulations between two large-scale biological taxonomies.