LITCHI: knowledge integrity testing for taxonomic databases
LITCHI: knowledge integrity testing for taxonomic databases
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.
278
Sutherland, Iain
9e8506d0-fcc0-4fb3-b8b6-061d76810874
Embury, Suzanne M.
66966670-e560-47d4-a01d-df989c0a78c7
Jones, Andrew C.
e45d4bb3-01a6-44f5-83c3-2d57469a42ec
Gray, W. Alex
a94bd2c4-9cee-415c-81ac-3ec3ff23c64b
White, Richard J.
b259b543-0cd6-475c-b31e-f2434b69c798
Robinson, John S.
44327568-9728-46ec-89d4-f9fde6a88c63
Bisby, Frank A.
a6abba6b-344d-4098-8a03-e218f7ecb8ce
Brandt, Sue M.
67feb9d9-1888-4a6b-ae0b-d964263b80cd
1999
Sutherland, Iain
9e8506d0-fcc0-4fb3-b8b6-061d76810874
Embury, Suzanne M.
66966670-e560-47d4-a01d-df989c0a78c7
Jones, Andrew C.
e45d4bb3-01a6-44f5-83c3-2d57469a42ec
Gray, W. Alex
a94bd2c4-9cee-415c-81ac-3ec3ff23c64b
White, Richard J.
b259b543-0cd6-475c-b31e-f2434b69c798
Robinson, John S.
44327568-9728-46ec-89d4-f9fde6a88c63
Bisby, Frank A.
a6abba6b-344d-4098-8a03-e218f7ecb8ce
Brandt, Sue M.
67feb9d9-1888-4a6b-ae0b-d964263b80cd
Sutherland, Iain, Embury, Suzanne M., Jones, Andrew C., Gray, W. Alex, White, Richard J., Robinson, John S., Bisby, Frank A. and Brandt, Sue M.
(1999)
LITCHI: knowledge integrity testing for taxonomic databases.
Proceedings of the 1999 11th International Conference on Scientific and Statistical Database Management (SSDBM'99), , Cleveland, OH, USA.
28 - 30 Jul 1999.
.
Record type:
Conference or Workshop Item
(Paper)
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.
This record has no associated files available for download.
More information
Published date: 1999
Additional Information:
Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.
Venue - Dates:
Proceedings of the 1999 11th International Conference on Scientific and Statistical Database Management (SSDBM'99), , Cleveland, OH, USA, 1999-07-28 - 1999-07-30
Identifiers
Local EPrints ID: 452524
URI: http://eprints.soton.ac.uk/id/eprint/452524
PURE UUID: 9efc35a8-34d1-4480-8548-506c0a2647e9
Catalogue record
Date deposited: 11 Dec 2021 11:26
Last modified: 27 Sep 2023 16:50
Export record
Contributors
Author:
Iain Sutherland
Author:
Suzanne M. Embury
Author:
Andrew C. Jones
Author:
W. Alex Gray
Author:
Richard J. White
Author:
John S. Robinson
Author:
Frank A. Bisby
Author:
Sue M. Brandt
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics