Merging Taxonomies under RCC-5 Algebraic Articulations

Taxonomies are widely used to classify information, and multiple (possibly competing) taxonomies often exist for the same domain. Given a set of correspondences between two taxonomies, it is often necessary to “merge” the taxonomies, thereby creating a unied taxonomy (e.g., that can then be used by data integration and discovery applications). We present an algorithm for merging taxonomies that have been related using articulations given as RCC-5 constraints. Two taxa N and M can be related using (disjunctions of) the ve base relations in RCC-5: N≡M; N ? M; N ?; N ? M (partial overlap of N and M); and N ! M (disjointness: N ∩ M = ?). RCC-5 is increasingly being adopted by scientists to specify mappings between large biological taxonomies. We discuss the properties of the proposed merge algorithm and evaluate our approach using real-world taxonomies.

[1]  Peter Jonsson,et al.  A Complete Classification of Tractability in RCC-5 , 1997, J. Artif. Intell. Res..

[2]  Trevor Paterson,et al.  Scientific Names Are Ambiguous as Identifiers for Biological Taxa: Their Context and Definition Are Required for Accurate Data Integration , 2005, DILS.

[3]  David Thau,et al.  Reasoning about taxonomies and articulations , 2008, Ph.D. '08.

[4]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[5]  David C. Jones,et al.  CATH--a hierarchic classification of protein domain structures. , 1997, Structure.

[6]  Bertram Ludäscher,et al.  Reasoning about taxonomies in first-order logic , 2007, Ecol. Informatics.

[7]  Young-Guk Ha,et al.  MoA: OWL Ontology Merging and Alignment Tool for the Semantic Web , 2005, IEA/AIE.

[8]  Jason J. Jung Taxonomy Alignment for Interoperability Between Heterogeneous Digital Libraries , 2006, ICADL.

[9]  L. Hood,et al.  Gene families: the taxonomy of protein paralogs and chimeras. , 1997, Science.

[10]  Doolittle Wf Phylogenetic Classification and the Universal Tree , 1999 .

[11]  Mark A. Musen,et al.  The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..

[12]  Alfred V. Aho,et al.  The Transitive Reduction of a Directed Graph , 1972, SIAM J. Comput..

[13]  George A. Vouros,et al.  Towards automatic merging of domain ontologies: The HCONE-merge approach , 2006, J. Web Semant..

[14]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[15]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..