Reasoning about taxonomies in first-order logic

Ecological Informatics

Volumn 2, Issue 3 SPEC. ISS., 2007, Pages 195-209

  Thau, David ^a   Ludäscher, Bertram ^a  

^a University of California Davis   (United States)

Author keywords

Automated deduction (reasoning); First order logic constraints; Taxonomy

Indexed keywords

CLASSIFICATION; DATABASE; TAXONOMY; TYPE SPECIMEN;

EID: 35348923541     PISSN: 15749541     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ecoinf.2007.07.005     Document Type: Article

References (30)

1. Bachmair L., Ganzinger H., and Waldmann U. Set constraints are the monadic class. In Logic in Computer Science (1993) 75-83
2. Beach J.H., Pramanik S., and Beaman J.H. Hierarchic taxonomic databases. In: Fortuner R. (Ed). Advances in Computer Methods for Systematic Biology: Artificial Intelligence, Databases, Computer Vision, chapter 15 (1993), Johns Hopkins University Press, Baltimore 241-256
3. Benson L.D. A treatise on the North American Ranunculi. American Midland Naturalist 40 (1948) 1-261
4. Berendsohn W.G. The concept of "Potential Taxa" in databases. Taxon 44 (1995) 207-212
5. Berendsohn W.G. MoReTax - handling factual information linked to taxonomic concepts in biology. Number 39 in Schriftenreihe für Vegetationskunde (2003), Bundesamt für Naturschutz
6. Blum S. Personal Communication (2007)
7. Clement J.F. Birds of the World: A Checklist. fourth edition (1991), Ibis Publishing Co. edition
8. Clement J.F. Birds of the World: A Checklist. fifth edition (2001), Ibis Publishing Co. edition
9. Ebbinghaus H.-D., Flum J., and Thomas W. Mathematical Logic. second edition (1994), Springer
10. Franz N.M., Peet R.K., and Weakley A.S. On the Use of Taxonomic Concepts in Support of Biodiversity Research and Taxonomy. Proceedings of the New Taxonomy Symposium (2006). http://academic.uprm.edu/franz/publications-pdf/UseTaxConcepts.pdf http://academic.uprm.edu/franz/publications-pdf/UseTaxConcepts.pdf
11. Geoffroy M., and Berendsohn W.G. In: Berendsohn (Ed). The Concept Problem in Taxonomy: Importance, Components, Approaches (2003) 5-14 2003
12. Geoffroy M., and Güntsch A. In: Berendsohn (Ed). Assembling and Navigating the Potential Taxon Graph (2003) 71-82 2003
13. Integrated Taxonomic Information System, 2006. http://www. itis.gov.
14. Jonsson P., and Drakengren T. A complete classification of tractability in RCC-5. Journal of Artificial Intelligence Research 6 (1997) 211-221
15. Kalfoglou Y., and Schorlemmer M. Information flow based ontology mapping. In Proceedings of the 1st International Conference on Ontologies, Databases and Application of Semantics (ODBASE'02) (2002), Irvine, CA, USA 1132-1151
16. Kartesz J.T. Synthesis of North American flora. BONAP, North Carolina Botanical Garden (2004)
17. Kennedy J., Kukla R., and Paterson T. Scientific names are ambiguous as identifiers for biological taxa: their context and definition are required for accurate data integration. In 2nd Intl. Workshop on Data Integration in the Life Sciences (DILS), LNCS 3615 (2005) 80-95
18. Kent R. The information flow foundation for conceptual knowledge organization. In 6th International Conference of the International Society for Knowledge Organization (2000)
19. Koperski M., Sauer M., Braun W., and Gradstein S. Referenzliste der Moose Deutschlands. Schrifteneihe für Vegetationskunde 34 (2000) 1-519
20. Ludäscher B., Altintas I., Berkley C., Higgins D., Jaeger E., Jones M., Lee E.A., Tao J., and Zhao Y. Scientific workflow management and the Kepler system. Concurrency and Computation: Practice & Experience 18 10 (2006) 1039-1065
21. Mitra P., Wiederhold G., and Kersten M. A graph-oriented model for articulation of ontology interdependencies. Lecture Notes in Computer Science 1777 (2000) 86
22. Peet R.K. Ranunculus dataset (2005)
23. Species 2000, 2006. http://www.sp2000.org.
24. Stanford Encyclopedia of Philosophy. Automated Reasoning (2006). http://plato.stanford.edu/entries/reasoning-automated/ http://plato.stanford.edu/entries/reasoning-automated/
25. Taxonomic Concept Schema, 2006. http://www.tdwg.org/subgroups/tnc/tcs-schema-repository/.
26. Taxonomic Data Working Group, 2006. http://www.tdwg.org.
27. Thau, D., Ludäscher, B., submitted for publication. Toward Optimizing CleanTAX: An Automated Reasoning Method for Taxonomies and Articulations.
28. Universal Biological Indexer and Organizer, 2006. http://www. ubio.org.
29. Weakley A.S. Flora of the Carolinas, Virginia, Georgia, and Surrounding Areas. University of North Carolina Herbarium (2006). http://www.herbarium.unc.edu/flora.htm http://www.herbarium.unc.edu/flora.htm
30. Wheeler Q.D. Taxonomic triage and the poverty of phylogeny. Philosophical transactions- Royal Society of London. Biological sciences 359 1444 (2004) 571-583