Non-standard inferences for knowledge-based image retrieval