Abstract
The Logic-based Integration of Taxonomic Conflicts in Heterogeneous Information Systems (LITCHI) project is initiated with the aim of developing software to enable the automated detection and, where possible, resolution of conflicts in taxonomic checklists. To support this project, a formal model is constructed of the way scientific names are used to denote taxa in common taxonomic practice. The model is then used to derive sets of Prolog rules which will detect conflicts in taxonomic checklists stored in a relational DBMS.
Original language | English |
---|---|
Title of host publication | Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM|Proc. Int. Conf. Sci. Stat. Database Manage. SSDBM |
Place of Publication | Los Alamitos, CA, United States |
Publisher | IEEE |
Pages | 278 |
Publication status | Published - 1999 |
Event | Proceedings of the 1999 11th International Conference on Scientific and Statistical Database Management (SSDBM'99) - Cleveland, OH, USA Duration: 1 Jul 1999 → … http://dblp.uni-trier.de/db/conf/ssdbm/ssdbm99.html#SutherlandEJGWRBB99http://dblp.uni-trier.de/rec/bibtex/conf/ssdbm/SutherlandEJGWRBB99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ssdbm/SutherlandEJGWRBB99 |
Conference
Conference | Proceedings of the 1999 11th International Conference on Scientific and Statistical Database Management (SSDBM'99) |
---|---|
City | Cleveland, OH, USA |
Period | 1/07/99 → … |
Internet address |