Reasoning over taxonomic change: Exploring alignments for the Perelleschus Use Case

PLoS ONE

Volumn 10, Issue 2, 2015, Pages

  Franz, Nico M ^a   Chen, Mingmin ^b   Yu, Shizhuo ^b   Kianmajd, Parisa ^b   Bowers, Shawn ^c   Ludäscher, Bertram ^b  

^a ARIZONA STATE UNIVERSITY   (United States)

^b University of California Davis   (United States)

^c GONZAGA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; BEETLE; CLADISTICS; COMPUTER PROGRAM; INTERMETHOD COMPARISON; NOMENCLATURE; NONHUMAN; PERELLESCHUS; PERELLESCHUS CARLUDOVICAE; PERELLESCHUS EVELYNAE; PERELLESCHUS SUBCINCTUS; PERELLESCHUS VARIABILIS; PHYLLOTROX; PHYLLOTROX SUBCINCTUS; PHYLOGENETIC TREE; PROCESS OPTIMIZATION; TAXONOMIC IDENTIFICATION; TAXONOMY; ALGORITHM; ANIMAL; CLASSIFICATION; PHYLOGENY; PROCEDURES; SEQUENCE ALIGNMENT; WEEVIL;

PERELLESCHUS;

ALGORITHMS; ANIMALS; CLASSIFICATION; PHYLOGENY; SEQUENCE ALIGNMENT; WEEVILS;

EID: 84923666976     PISSN: None     EISSN: 19326203     Source Type: Journal    
DOI: 10.1371/journal.pone.0118247     Document Type: Article

References (105)

1. Franz NM, Cardona-Duque J (2013) Description of two new species and phylogenetic reassessment of Perelleschus Wibmer & O 'Brien, 1986 (Coleoptera: Curculionidae), with a complete taxonomic concept history of Perelleschus sec. Franz & Cardona-Duque, 2013. Syst Biodivers. 11: 209-236.
2. BerendsohnWG (1995) The concept of "potential taxa" in databases. Taxon 44: 207-212.
3. Kennedy J, Kukla R, Paterson T (2005) Scientific names are ambiguous as identifiers for biological taxa: their context and definition are required for accurate data integration. In: Ludäscher B, Raschid L, eds. Data Integration in the Life Sciences: Proceedings of the Second International Workshop, San Diego, CA, USA, July 20-22. DILS 2005, LNBI 3615. pp. 80-95.
4. Franz NM, Peet RK, Weakley AS (2008) On the use of taxonomic concepts in support of biodiversity research and taxonomy. In: Wheeler QD, ed. The New Taxonomy, Systematics Association Special Volume Series 74. Boca Raton: Taylor & Francis. pp. 63-86.
5. Geoffroy M, BerendsohnWG (2003) Transmission of taxon-related factual information. Schrift Vegetationsk. 39: 83-86.
6. Franz NM, Peet RK (2009) Towards a language for mapping relationships among taxonomic concepts. Syst Biodivers. 7: 5-20.
7. Franz NM, Thau D (2010) Biological taxonomy and ontology development: scope and limitations. Biodiversity Informatics 7: 45-66.
8. Franz NM, Chen M, Yu S, Bowers S, Ludäscher B (2015) Names are not good enough: reasoning over taxonomic change in the Andropogon complex. Semantic Web-Interoperability, Usability, Applicability-Special Issue on Semantics for Biodiversity. (Accepted)
9. Koperski M, Sauer M, Braun W, Gradstein SR (2000) Referenzliste der Moose Deutschlands. Schrift Vegetationsk. 34: 1-519.
10. Vane-Wright RI (2003) Indifferent philosophy versus almighty authority: on consistency, consensus and unitary taxonomy. Syst Biodivers. 1: 3-11.
11. Franz NM (2005) On the lack of good scientific reasons for the growing phylogeny/classification gap. Cladistics 21: 495-500.
12. Tuominen J, Laurenne N, Hyvönen E (2011) Biological names and taxonomies on the Semantic Web -managing the change in scientific conception. In: Antoniou G, Grobelnik M, Simperl E, Parsia B, Plexousakis D, et al., eds. The Semantic Web: Research and Applications. Lect Notes Comput Sci. 6644: 255-269.
13. Schuh RT (2003) The Linnaean system and its 250-year persistence. Bot Rev. 69: 59-78.
14. Patterson DJ, Cooper J, Kirk PM, Pyle RL, Remsen DP (2010) Names are key to the big new biology. Trends Ecol Evol. 25: 686-691. doi: 10.1016/j.tree.2010.09.004 PMID: 20961649
15. Page RDM (2013) BioNames: linking taxonomy, texts, and trees. PeerJ 1: e190. doi: 10.7717/peerj. 190 PMID: 24244913
16. Cheney J, Chiticariu L, Tan W-C (2007) Provenance in databases: why, how, and where. Foundations and Trends in Databases 1: 379-474.
17. Moreau L (2010) The foundations for provenance on the Web. Foundations and Trends in Web Science 2: 99-241.
18. de Paula R, Holanda M, Gomes LSA, Lifschitz S, Walter MAMT (2013) Provenance in bioinformatics workflows. BMC Bioinformatics 14(Suppl. 11): S6. doi: 10.1186/1471-2105-14-S11-S6 PMID: 24564294
19. Franz NM (2009) Letter to Linnaeus. In: Knapp S, Wheeler QD, eds. Letters to Linnaeus. London: Linnean Society of London. pp. 63-74.
20. Fabricius JC (1792) Entomologia systematica emendata et aucta. Secundum classes, ordines, genera, species adjectis synonimis, locis, observationibus, descriptionibus. Vol. 1. Hafhiae: Proft. XX +538 pp.
21. Bouchard P, Bousquet Y, Davies AE, Alonso-Zarazaga MA, Lawrence JF, et al. (2011) Family-group names in Coleoptera (Insecta). ZooKeys 88: 1-972. doi: 10.3897/zookeys.88.807 PMID: 21594053
22. Schuh RT, Brower AVZ (2009) Biological Systematics: Principles and Applications. Second Edition. Ithaca: Cornell University Press. 311 pp.
23. Weakley AS (2012) Flora of the Southern and Mid-Atlantic States. Working Draft of 30 November 2012. 1225 pp. Available: http://www.herbarium.unc.edu/FloraArchives/WeakleyFlora-2012-Nov.pdf Accessed 2015 Jan 10.
24. Midford PE, Dececchi TA, Balhoff JP, Dahdul WM, Ibrahim N, et al. (2013) The vertebrate taxonomy ontology: a framework for reasoning across model organism and species phenotypes. J Biomed Sem. 4: 34. doi: 10.1186/2041-1480-4-34 PMID: 24267744
25. Bizer C, Heath T, Berners-Lee T (2009) Linked Data-the story so far. Int J Semant Web Inf Syst. 5: 1-22.
26. Schulz S, Stenzhorn H, Boeber M (2008) The ontology of biological taxa. Bioinformatics 24: i313-i321. doi: 10.1093/bioinformatics/btn158 PMID: 18586729
27. Page RDM (2006) Taxonomic names, metadata, and the Semantic Web. Biodiversity Informatics 3: 1-15.
28. Page RDM (2008) Biodiversity informatics: the challenge of linking data and the role of shared identifiers. Brief Bioinform. 9(5): 345-354. doi: 10.1093/bib/bbn022 PMID: 18445641
29. ICZN-International Commission on Zoological Nomenclature (1999) International Code of Zoological Nomenclature. Fourth Edition. London: International Trust for Zoological Nomenclature. 306 pp.
30. McNeill J, Turland NJ, Barrie FR, Buck WR, Greuter W, et al. (2012) International Code of Nomenclature for Algae, Fungi, and Plants (Melbourne Code). Königstein: Koeltz Scientific Books. 208 pp.
31. ICSP-International Committee on Systematics of Prokaryotes. Available: http://icsp.org/ Accessed 2015 January 10.
32. McCarthy J (1989) Artificial intelligence, logic and formalizing common sense. In: Thomason RH, ed. Philosophical Knowledge and Artificial Intelligence. Springer: New York. pp. 161-190.
33. Chawuthai R, Takeda H, Wuwongse V, Jinbo U (2013) A logical model for taxonomic concepts for expanding knowledge using Linked Open Data. In: Larmande P, Arnaud E, Mougenot I, Jonquet C, Libourel T, et al., eds. S4BioDiv 2013, Semantics for Biodiversity-Proceedings of the First International Workshop on Semantics for Biodiversity, Montpellier, France, May 27, 2013. CEUR Workshop Proceedings, Vol-797. pp. 1-8.
34. Tschöpe O, Macklin JA, Morris RA, Suhrbier L, BerendsohnWG (2013) Annotating biodiversity data via the Internet. Taxon 62: 1248-1258.
35. Gradstein SR, Sauer M, Koperski M, Braun W, Ludwig G (2001) TaxLink, a program for computer-assisted documentation of different circumscriptions of biological taxa. Taxon 50 1075-1084.
36. Euzenat J, Shvaiko P (2013) Ontology Matching. Second Edition. New York: Springer.
37. Beach JH, Pramanik S, Beaman JH (1993) Hierarchic taxonomic databases. In: Fortuner R, ed. Advances in Computer Methods for Systematic Biology: Artificial Intelligence, Databases, Computer Vision. Baltimore: John Hopkins University. pp. 241-256.
38. BerendsohnWG (1997) A taxonomic information model for botanical databases: the IOPI Model. Taxon 46: 283-309.
39. Koperski M, Sauer M (1999) Das Projekt "Referenzliste der Moose Deutschlands"-Dokumentation unterschiedlicher taxonomischer Auffassungen mit Hilfe des Datenbankprogrammes TAXLINK. Stuttgarter Beitr Naturk., Serie A, 590: 1-10.
40. Geoffroy M, Güntsch A (2003) Assembling and navigating the potential taxon graph. Schrift Vegetationsk. 39: 71-82.
41. Berendsohn WG, editor (2003) MoReTax: handling factual information linked to taxonomic concepts in biology. Schrift Vegetationsk.: 39: 1-113.
42. Randell DA, Cui Z, Cohn AG (1992) A spatial logic based on regions and connection. In: Nebel B, Swartout W, Rich C, eds. Proceedings of the Third International Conference on the Principles of Knowledge Representation and Reasoning. Los Altos: Morgan Kaufmann. pp. 165-176.
43. Thau D, Ludäscher B (2007) Reasoning about taxonomies in first-order logic. Ecol Inform. 2: 195-209.
44. Thau D (2008) Reasoning about taxonomies and articulations. In: Ph.D. 08: Proceedings of the 2008 EDBT Ph.D. Workshop. New YorK: ACM. pp. 11-19.
45. nd International Workshop on Ontologies and Information systems for the Semantic Web. New York: ACM. pp. 47-54.
46. th International Conference on Ontologies, Databases, and the Applications of Semantics (ODBASE 2009). OTM 2009. Lect. Notes Comput. Sci. 5871: 1103-1120.
47. th International Conference on Data Engineering Workshops (ICDEW). pp. 151-154.
48. Ferreirós J (2001) The road to modern logic-an interpretation. Bull Symb Log. 7: 441-484.
49. Thau D, Bowers S, Ludäscher B (2009) CleanTax: a framework for reasoning about taxonomies. Proceedings of the AAAI Spring Symposium-Benchmarking of Qualitative Spatial and Temporal Reasoning Systems. pp. 49-50.
50. McCuneW(2010) Prover9 and Mace4. Available: www.cs.unm.edu/mccune/prover9 Accessed 2015 January 10.
51. Chen M, Yu S, Franz N, Bowers S, Ludäscher B (2014) Euler/X: a toolkit for logic-based taxonomy integration. arXiv:1402.1992 [cs.LO] Available: http://arxiv.org/abs/1402.1992 Accessed 2015 January 10.
52. Chen M, Yu S, Kianmajd P, Ludäscher B (2015) Euler Project source code. Available: https://github. com/EulerProject/EulerX Accessed 2015 January 10.
53. th USENIX Workshop on the Theory and Practice of Provenance. Lect Notes Comput Sci. (Accepted)
54. th International Symposium, RuleML 2014, Prague, Czech Republic, August 18-20, 2014. Lect Notes Comput Sci 8620: 127-141.
55. DLVSYSTEM (2014) Available: http://www.dlvsystem.com/ Accessed 2015 January 10 Accessed 2015 January 10.
56. Gebser M, Kaufmann B, Kaminski R, Ostrowski M, Schaub T, et al. (2011) Potassco: the Potsdam Answer Set Solving Collection. AI Commun. 24: 107-124.
57. Gansner ER, North SC (2000) An open graph visualization system and its applications to software engineering. Soft Pract Exper. 30: 1203-1233.
58. Lifschitz V (2008) Twelve definitions of a stable model. In: de la Banda MG, Pontelli E, eds. Logic Programming. Lect Notes Comput Sci. 5366: 37-51.
59. Gelfond M (2008) Answer sets. In: van Harmelen F, Lifschitz V, Porter B, eds. Handbook of Knowledge Representation. Amsterdam: Elsevier. pp. 285-316.
60. Brewka G, Eiter T, Truszczyñski M (2011) Answer set programming at a glance. Commun ACM 54: 92-103.
61. Wibmer GJ, O'Brien CW (1986) Annotated checklist of the weevils (Curculionidae sensu lato) of South America (Coleoptera: Curculionoidea). Mem Amer Entomol Inst. 39: 1-563.
62. Franz NM (2006) Towards a phylogenetic system of derelomine flower weevils (Coleoptera: Curculionidae). Syst Entomol. 31: 220-287.
63. Page RDM (2011) Dark taxa: GenBank in a post-taxonomic world. Available: http://iphylo.blogspot. com/2011/04/dark-taxa-genbank-in-post-taxonomic.html Accessed 2015 Jan 10.
64. Bryant D (2003) A classification of consensus methods for phylogenies. In: Janowitz M, Lapointe F-J, McMorris FR, Mirkin B, Roberts FS, eds. BioConsensus, DIMACS. AMS. pp. 163-184.
65. Cha S, Tappert CC (2009) A genetic algorithm for constructing compact binary decision trees, J Patt Recog Res. 4: 1-13.
66. Sangster G (2014) The application of species criteria in avian taxonomy and its implications for the debate over species concepts. Biol Rev. 89: 199-2014. doi: 10.1111/brv.12051 PMID: 23869749
67. Howse J, Stapleton G, Flower J, Taylor J (2002) Corresponding regions in Euler diagrams. In: Diagrammatic Representation and Inference. Lect Notes Comput Sci. 2317: 76-90.
68. Günther K (1936) Notizen über Rüsselkäfer aus Costa Rica. Entomol Rund. 53: 190-192.
69. Voss E (1954) Curculionidae (Col.). In: Titschack E, ed. Beiträge zur Fauna Perús, Band IV, Wissenschaftliche Bearbeitungen. Jena: VEB Gustav Fischer Verlag. pp. 193-376.
70. Franz NM, O'Brien CW (2001) Revision and phylogeny of Perelleschus (Coleoptera: Curculionidae), with notes on its association with Carludovica (Cyclanthaceae). Trans Amer Entomol Soc. 127: 255-287.
71. Prendini L (2001) Species or supraspecific taxa as terminals in cladistic analysis? Groundplans versus exemplars revisited. Syst Biol. 50: 290-300. PMID: 12116933
72. Lacordaire T (1863) Histoire naturelle des insectes. Genera des coléoptères, ou exposé méthodique et critique de tous les genres proposés jusqu'ici dans cet ordre d'insectes, vol. 6. Paris: Roret.
73. Devitt M, Sterelny K (1999) Language and Reality: an Introduction to the Philosophy of Language. Second Edition. Cambridge: MIT Press.
74. Brigandt I (2009) Natural kinds in evolution and systematics: metaphysical and epistemological considerations. Acta Biotheor. 57: 77-97. doi: 10.1007/s10441-008-9056-7 PMID: 18802777
75. Schulz S, Stenzhorn H, Boeber M (2008) The ontology of biological taxa. Bioinformatics 24: i313-i321. doi: 10.1093/bioinformatics/btn158 PMID: 18586729
76. Nixon KC, Carpenter JM (1993) On outgroups. Cladistics 9: 413-426.
77. Franz NM (2003) Systematics of Cyclanthura, a new genus of Derelomini (Coleoptera: Curculionidae). Insect Syst Evol. 34: 153-198.
78. Thomson RC, Shaffer HB (2010) Sparse supermatrices for phylogenetic inference: taxonomy, alignment, rogue taxa, and the phylogeny of living turtles. Syst Biol. 59: 42-58. doi: 10.1093/sysbio/ syp075 PMID: 20525619
79. Smith SA, Brown JW, Hinchcliff CE (2013) Analyzing and synthesizing phylogenies using tree alignment graphs. PLoS Comp Biol. 9(9): e1003223. doi: 10.1371/journal.pcbi.1003223 PMID: 24086118
80. Boyle B, Hopkins, Lu Z, Raygoza Garay JA, Mozzherin D, et al. (2013) The taxonomic name resolution service: an online tool for automated standardization of plant names. BMC Bioinform. 2013, 14:16. doi: 10.1186/1687-4153-2013-14 PMID: 24160471
81. Erdem E (2011) Applications of Answer Set Programming in phylogenetic systematics. In: Balduccini M, Son TC, eds. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lect Notes Comput Sci. 6565: 415-431.
82. Chen M (2014) Query Optimization and Taxonomy Integration. Ph.D. Dissertation, University of California at Davis.
83. th International Conference of Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, FL. Lect Notes Comput Sci. 2923: 21-33.
84. Smith B, Ceusters W, Klagges B, Köhler J, Kumar A, et al. (2005) Relations in biomedical ontologies. Genome Biology 2005, 6:R46.
85. Horrocks I (2008) Ontologies and the Semantic Web. Comm ACM 51: 58-67.
86. Lukasiewicz T (2010) A novel combination of Answer Set Programming with Description Logics for the Semantic Web. IEEE Trans Knowl Data Eng. 22: 1577-1592.
87. Thau DM (2010) Reasoning about Taxonomies. Ph.D. Dissertation, University of California at Davis.
88. Meiri S, Mace GM (2007) New taxonomy and the origin of species. PLoS Biology 5(7): e194. PMID: 17638418
89. Padial JM, De La Riva I (2007) Taxonomic inflation and the stability of species lists: the perils of ostrich's behavior. Syst Biol. 55: 859-867.
90. Van Harmelen F, Lifschitz V, Porter B, editors (2008) The Handbook of Knowledge Representation. Elsevier: Oxford.
91. Dahdul WM, Lundberg JG, Midford PE, Balhoff JP, Lapp H, et al. (2010) The Teleost Anatomy Ontology: anatomical representation for the genomics age. Syst Biol. 59: 369-383. doi: 10.1093/sysbio/ syq013 PMID: 20547776
92. Mungall CJ, Gkoutos GV, Smith CL, Haendel MA, Lewis SE, et al. (2010) Integrating phenotype ontologies across multiple species. Genome Biology 2010, 11:R2.
93. Cui H (2012) CharaParser for fine-grained semantic annotation of organism morphological descriptions. J Am Soc Inf Sci Technol. 63: 738-754.
94. Deans AR, Yoder MJ, Balhoff JP (2012) Time to change how we describe biodiversity. Trends Ecol Evol. 27: 78-84. doi: 10.1016/j.tree.2011.11.007 PMID: 22189359
95. De Queiroz K, Gauthier J (1992) Phylogenetic taxonomy. Annu Rev Ecol Syst. 23: 449-480.
96. Midford PE, Dececchi TA, Balhoff JP, Dahdul WM, Ibrahim N, et al. (2013). The vertebrate taxonomy ontology: a framework for reasoning across model organism and species phenotypes. J Biomed Sem. 4: 34. doi: 10.1186/2041-1480-4-34 PMID: 24267744
97. Marakeby H, Badr E, Torkey H, Song Y, Leman S, et al. (2014) A system to automatically classify and name any individual genome-sequenced organism independently of current biological classification and nomenclature. PLoS ONE 9(2): e89142. doi: 10.1371/journal.pone.0089142 PMID: 24586551
98. Kennedy J, Hyam R, Kukla R, Paterson T (2006) Standard data model representation for taxonomic information. OMICS 10: 220-230. PMID: 16901230
99. Baskauf SJ, Webb CO (2014) Darwin-SW: Darwin Core-based terms for expressing biodiversity data as RDF. Semantic Web-Interoperability, Usability, Applicability-Special Issue on Semantics for Biodiversity. (Accepted)
100. Reimer M (2010) Reference. In: Zalta EN, ed. The Stanford Encyclopedia of Philosophy (Spring 2010 Edition). Available: http://plato.stanford.edu/archives/spr2010/entries/reference/ Accessed 2015 January 10.
101. Graham M, Kennedy J (2010) A survey of multiple tree visualisation. Inform Vis. 9: 235-252.
102. Witteveen J (2014) Naming and contingency: the type method of biological taxonomy. Biol Phil. (In Press)
103. Bryant HN, Cantino PD (2002) A review of criticisms of phylogenetic nomenclature: is taxonomic freedom the fundamental issue? Biol Rev. 77: 39-55. PMID: 11911373
104. Vines TH, Albert AYK, Andrew RL, Débarre F, Bock DG, et al. (2014) The availability of research data declines rapidly with article age. Curr Biol. 24: 94-97. doi: 10.1016/j.cub.2013.11.014 PMID: 24361065
105. Paradis E, Claude J, Strimmer K (2004) APE: analyses of phylogenetics and evolution in R language. Bioinform. 20: 289-290.