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;MONGIELLO, Marina
2000

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.
6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99
978-3-540-67350-7
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11589/15905
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 3
social impact