Sciweavers

981 search results - page 8 / 197
» Negation in Spatial Reasoning
Sort
View
GIS
2010
ACM
13 years 6 months ago
Topological reasoning between complex regions in databases with frequent updates
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
Arif Khan, Markus Schneider
LPNMR
1990
Springer
13 years 11 months ago
The meaning of Negative Premises in Transition System Specifications
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
Roland N. Bol, Jan Friso Groote
KR
1998
Springer
13 years 11 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
FLAIRS
2001
13 years 8 months ago
The Benefits of Multi-Agent Systems in Spatial Reasoning
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....
Christian Kray
SEMWEB
2009
Springer
14 years 1 months ago
PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
Markus Stocker, Evren Sirin