Knowledge Representation for Digital Atlases