On the logics of image interpretation: model-construction in a formal knowledge-representation framework
C. Schroder, Bernd Neumann · 2002
In this contribution, we present a formal, logic-based approach to image interpretation by combining methods from two different research areas, namely computer vision and knowledge representation. After describing two well known approaches we present a concise definition of the required solution of an image understanding problem. We then propose an object-centered, KL-ONE-like description logic tailored to the representation needs in image understanding and a calculus for computing an interpretation of a given image according to our definition.