Abstract
This paper presents a framework for terminological reasoning by taking into account geometric representation of objects. We consider objects having shapes which are described by means of semi-algebraic sets1. We show how geometric representations can be used to define concepts. The formal semantics as well as the reasoning algorithms are given. We present a calculus for deciding satisfiability of a constraint knowledge base described in our language. The proposed language can be seen as an extensible core for applications suchas multimedia databases or spatial and geographic databases.
i.e., equalities and inequalities between integer polynomials in several indeterminates. That is, a relational approachas opposed to feature-vector approachand shape through transformation approach.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Franz Baader and Philipp Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligent (IJCAI’91). Sydney, Australia, pages 452–457, 1991.
Riccardo Benedetti and Jean-Jacques Risler. Real Algebraic and Semi-Algebraic Sets. Hermann, editeurs des sciences et des arts, 293 rue Lecourbe, 75015 Paris, 1990. 340 pages.
Stéfane Grumbach, Jianwen Su, and Christophe Tollu. Linear Constraint Query Languages Expressive Power and Complexity. In Daniel Leivant, editor, Proceedings of the International Workshop on Logic and Computational Complexity (LCC’94), Indianapolis, IN, USA, pages 426–446, October 1994.
Volker Haarslev, Ralf Möller, and Carsten Schröder. Combining Spatial and Terminological Reasoning. In Bernhard Nebel and Leonie Dreschler-Fischer, editors, Proceedings of the 18th German Annual Conference on Artificial Intelligence (KI’94), Saarbr”ucken, Germany, pages 142–153, 1994.
Manfred Schmidt-Schauß and Gert Smolka. Attributive Concept Descriptions With Complements. Artificial Intelligence, 48(1):1–26, 1991.
Alfred Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press. Berkeley, 1951.
Luc Vandeurzen, Marc Gyssens, and Dirk Van Gucht. On Query Languages for Linear Queries Definable withPolynomial Constraints. In Proceedings of the Second International Conference on Principles and Practice of Constraint Programming (CP’96), Cambridge, Massachusetts, USA, pages 468–481. Springer Verlag, August 1996. LNCS 1118.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hajji, H., Terzi, E. (2002). A Framework for Reasoning on Objects with Geometric Constraints. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds) Database and Expert Systems Applications. DEXA 2002. Lecture Notes in Computer Science, vol 2453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46146-9_44
Download citation
DOI: https://doi.org/10.1007/3-540-46146-9_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44126-7
Online ISBN: 978-3-540-46146-3
eBook Packages: Springer Book Archive