Santos P.E.Cabalar P.2019-08-192019-08-192008SANTOS, P.; CABALAR, P.. Playing with a puzzle in mereotopology. Spatial Cognition and Computation, v. 8, n. 1, p. 47-64, 2008.1387-5868https://repositorio.fei.edu.br/handle/FEI/1195In 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. © Taylor & Francis Group, LLC.Acesso RestritoArtigo10.1080/13875860801944804Commonsense reasoningQualitative spatial reasoning