Merging Taxonomies under RCC-5 Algebraic Articulations
暂无分享,去创建一个
[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..