We present a simple description logic for semantic indexing in image retrieval. The language allows to describe complex shapes as composition of more simple ones, using geometric transformations to describe the relative positions of shape components. An extensional semantics is provided, which allows us to formally define reasoning services - such as recognition, subsumption, and satisfiability - and to study the computational properties of the formalism. The logic is devised for exact recognition of complex shapes, but it can be extended to include similarity degrees. © 2000 Springer-Verlag.
|Titolo:||A description logic for image retrieval|
|Data di pubblicazione:||2000|
|Nome del convegno:||6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1007/3-540-46238-4_2|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|