LITCHI: knowledge integrity testing for taxonomic databases | IEEE ...
ieeexplore.ieee.org › document
A taxonomic checklist is a list of the names of species (and other taxa) used within a particular biological database. Since species names are typically used to ...
The LITCHI project (Logic-based Integration of. Taxonomic Conflicts in Heterogeneous Information. Systems) aims to develop software to enable the au-.
A taxonomic checklist is a list of the names of species (and other taxa) used within a particular biological database. Since species names are typically ...
The LITCHI system allows a biologist to import one or more checklists into the central database for analysis. The Prolog rules are executed against the DBMS, ...
LITCHI project is initiated with the aim of developing software to enable the automated detection and, where possible, resolution of conflicts in taxonomic ...
LITCHI: knowledge integrity testing for taxonomic databases - ePrints Soton
eprints.soton.ac.uk › ...
Sep 27, 2023 · The Logic-based Integration of Taxonomic Conflicts in Heterogeneous Information Systems (LITCHI) project is initiated with the aim of developing ...
LITCHI: knowledge integrity testing for taxonomic databases. Work. HTML. Year: 2003. Type: article. Authors Iain Sutherland, Suzanne M. Embury, Andrew Jones ...
... LITCHI: knowledge integrity testing for taxonomic databases. Sutherland I., Embury S.M., Jones A.C., Gray W.A., White R.J., Robinson J.S., Bisby F.A., Brandt ...
In the LITCHI project (Logic-based Integration ofTaxonomic Conflicts in Heterogeneous InformationSystems), we have developed a formal model for examiningthe ...
We demonstrate a prototype toolkit that uses constraints and constraint violation repair techniques to enable the automated detection and, where possible, ...