Abstract
In this paper we propose a spatial ontology for reasoning about holes, rigid objects and a string, taking a classical puzzle as a motivating example. In this ontology the domain is composed of spatial regions whereby a theory about holes is defined over a mereotopological basis. Within this theory we define a data structure, named chain, that facilitates a clear and efficient representation of the puzzle states and its solution.
Original language | American English |
---|---|
Pages (from-to) | 47-64 |
Number of pages | 18 |
Journal | Spatial Cognition and Computation |
Volume | 8 |
Issue number | 1-2 |
DOIs | |
Publication status | Published - 1 Dec 2008 |
Externally published | Yes |
Keywords
- Commonsense reasoning
- Qualitative spatial reasoning