A description logic for image retrieval