TY - GEN
T1 - Holes, knots and shapes
T2 - 2007 AAAI Spring Symposium
AU - Santos, Paulo
AU - Cabalar, Pedro
PY - 2007/12/28
Y1 - 2007/12/28
N2 - In this paper we propose a spatial ontology for reasoning about holes, rigid objects and strings, 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 mereological basis. We also assume primitives for representing shapes of objects (including the string). From these primitives we propose a sufficient condition for object's penetrability through holes. Additionally, a string is represented as a data structure defined upon a sequence of sections limited by points where the string crosses itself or points where it passes through a hole.
AB - In this paper we propose a spatial ontology for reasoning about holes, rigid objects and strings, 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 mereological basis. We also assume primitives for representing shapes of objects (including the string). From these primitives we propose a sufficient condition for object's penetrability through holes. Additionally, a string is represented as a data structure defined upon a sequence of sections limited by points where the string crosses itself or points where it passes through a hole.
UR - http://www.scopus.com/inward/record.url?scp=37349062715&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:37349062715
SN - 9781577353140
T3 - AAAI Spring Symposium - Technical Report
SP - 144
EP - 149
BT - Logical Formalizations of Commonsense Reasoning - Papers from the 2007 AAAI Spring Symposium, Technical Report
Y2 - 26 March 2007 through 28 March 2007
ER -