A logical model of images is presented, as a theoretical foundation of
information systems allowing the retrieval of images on the basis of
their form (typically via visual queries) and content. The proposed mo
del offers a multiple representation of images, extending along three
dimensions: form, content and abstraction. At each dimension, a first-
order logic is postulated as a representation and reasoning tool, and
one specific logic is introduced for the first of these dimensions, th
e one dealing with the form of images. A query on images is modelled a
long the same three dimensions and by means of the same logics. This a
llows us to model the image retrieval process by the relation of class
ical logical implication, i.e. an image is retrieved if it logically i
mplies the query.