Taxonomy - for Computers

We explore solutions for identifying and reconciling taxonomic concepts that take advantage of the powers of computational representation and reasoning without compromising the suitability of the Linnaean system of nomenclature for human communication. Using the model of the semiotic triangle, we show that taxonomic names must variously achieve reference to nomenclatural types, taxonomic concepts (human-created theories of taxonomic identities), and taxa (evolutionary entities in nature). Expansion of the reference models into temporally transitioning systems shows that the elements of each triangle, and provenance among elements across triangles, are only identifiable if taxonomic names and concepts are precisely contextualized. The Codes of nomenclature, by mandating identifier (name) reuse but not requiring concept-specific identifier granularity, leave the challenge of framing and aligning the symbol/reference instances to human communicators who have superior cognitive abilities in this regard. Computers, in turn, can process greater volumes of narrowly framed and logically aligned data. Comparative, taxonomically referenced biological data are becoming increasingly networked and reutilized in analyses that expand their original context of generation. If we expect our virtual comparative information environments to provide logically enabled taxonomic concept provenance services, then we must improve the syntax and semantics of human taxonomy making - for computers.