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.
A description logic for image retrieval / DI SCIASCIO, Eugenio; Donini, F. M.; Mongiello, Marina. - 1792:(2000), pp. 13-24. (Intervento presentato al convegno 6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99 tenutosi a Bologna, Italy nel September 14–17, 1999) [10.1007/3-540-46238-4_2].
A description logic for image retrieval
DI SCIASCIO, Eugenio;MONGIELLO, Marina
2000-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
