DEXA 2002: Database and Expert Systems Applications pp 443-453 | Cite as
A Framework for Reasoning on Objects with Geometric Constraints
Conference paper
First Online:
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.
Keywords
Description Logic Spatial Object Spatial Reasoning Rule Application Reasoning Algorithm
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.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.Google Scholar
- 2.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.Google Scholar
- 3.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.Google Scholar
- 4.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.Google Scholar
- 5.Manfred Schmidt-Schauß and Gert Smolka. Attributive Concept Descriptions With Complements. Artificial Intelligence, 48(1):1–26, 1991.MATHCrossRefMathSciNetGoogle Scholar
- 6.Alfred Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press. Berkeley, 1951.MATHGoogle Scholar
- 7.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.Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2002