A Framework for Reasoning on Objects with Geometric Constraints

Authors:
Hicham Hajji;Evimaria Terzi
Affiliations:
-;-
Venue:
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Year:
2002

Citing 4
Cited 0

Attributive concept descriptions with complements

Artificial Intelligence
Combining Spatial and Terminological Reasoning

KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Linear Constraint Query Languages: Expressive Power and Complexity

LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
A scheme for integrating concrete domains into concept languages

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

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 such as multimedia databases or spatial and geographic databases.