A Description Logic for Image Retrieval

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.

[1]  Dragutin Petkovic,et al.  Query by Image and Video Content: The QBIC System , 1995, Computer.

[2]  Elisa Bertino,et al.  A constraint-based approach to shape management in multimedia databases , 1998, Multimedia Systems.

[3]  Umberto Straccia,et al.  The Terminological Image Retrieval Model , 1997, ICIAP.

[4]  Erland Jungert,et al.  Intelligent Image Database Systems , 1996 .

[5]  Vijay V. Raghavan,et al.  Content-Based Image Retrieval Systems - Guest Editors' Introduction , 1995, Computer.

[6]  Ramesh C. Jain.  Visual information management , 1997, CACM.

[7]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[8]  Thomas S. Huang,et al.  Automated region segmentation using attraction-based grouping in spatial-color-texture space , 1996, Proceedings of 3rd IEEE International Conference on Image Processing.

[9]  Umberto Straccia,et al.  A Fuzzy Description Logic , 1998, AAAI/IAAI.

[10]  King-Sun Fu,et al.  Query-by-Pictorial-Example , 1980, IEEE Trans. Software Eng..

[11]  B. S. Manjunath,et al.  NeTra: A toolbox for navigating large image databases , 1997, Proceedings of International Conference on Image Processing.

[12]  King-Sun Fu,et al.  A distance measure between attributed relational graphs for pattern recognition , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[13]  John Yen,et al.  Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

[14]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[15]  Volker Haarslev,et al.  Foundations of Spatioterminological Reasoning with Description Logics , 1998, KR.

[16]  Eugenio Di Sciascio,et al.  Query by Sketch and Relevance Feedback for Content-Based Image Retrieval over the Web , 1999, J. Vis. Lang. Comput..

[17]  Manfred Jaeger,et al.  Probabilistic Reasoning in Terminological Logics , 1994, KR.

[18]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.