A Knowledge-Based Approach to Visual Information

We propose an approach based on description logics for the representation and retrieval of visual information. We first consider objects as having shapes which are described by means of semi-algebraic sets.1 We propose a model which consists of three layers: (1) Shape Layer, which provides the geometric shapes of image objects; (2) Object Layer, intended to contain objects of interest and their description; and (3) Schema Layer, which contains the structured abstractions of objects, i.e., a general schema about the classes of objects represented in the Object Layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Shape Layer) or to the semantic dimension (i.e., information of the Object Layer). We show how this framework can be easily extended to accommodate the visual layer (e.g., color and texture).

[1]  Paolo,et al.  Some research trends in KR & DB ( position paper ) , 1996 .

[2]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[3]  Jianwen Su,et al.  Linear Constraint Query Languages: Expressive Power and Complexity , 1994, LCC.

[4]  M. Tamer Özsu,et al.  Modeling and Querying Shapes in an Image Database System , 1999, Multimedia Information Systems.

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

[6]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[7]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[8]  Werner Nutt,et al.  Subsumption between queries to object-oriented databases , 1994, Inf. Syst..

[9]  George E. Collins,et al.  Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.

[10]  Ricky K. Taira,et al.  A Knowledge-Based Approach for Retrieving Images by Content , 1996, IEEE Trans. Knowl. Data Eng..

[11]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[12]  Werner Nutt,et al.  Reasoning about structured objects: Knowledge representation meets databases , 1995, Knowl. Eng. Rev..

[13]  Gabriel M. Kuper,et al.  Constraint Query Languages , 1995, J. Comput. Syst. Sci..

[14]  Jeffrey D. Uuman Principles of database and knowledge- base systems , 1989 .

[15]  Alberto Del Bimbo,et al.  Visual information retrieval , 1999 .

[16]  Carole A. Goble,et al.  Describing and classifying multimedia using the description logic GRAIL , 1996, Electronic Imaging.

[17]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[18]  Marc Gyssens,et al.  On Query Languages for Linear Queries Definable with Polynomial Constraints , 1996, CP.

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

[20]  Divesh Srivastava,et al.  Subsumption and indexing in constraint query languages with linear arithmetic constraints , 1993, Annals of Mathematics and Artificial Intelligence.

[21]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[22]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[23]  J. Risler,et al.  Real algebraic and semi-algebraic sets , 1990 .

[24]  Carlo Meghini Toward a logical reconstruction of image retrieval , 1996, Electronic Imaging.

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

[26]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[27]  Henri Briand,et al.  Shape representation for image retrieval , 1999, MULTIMEDIA '99.

[28]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[29]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[30]  G. Sacks A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .