Abstract: Evolutionary studies are generating increasing numbers of phylogenies which, in turn, sometimes result in changes to hierarchical organization and therefore changes in taxonomic nomenclature. A three-layered data model for a nomenclature data
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about its approximatel