Paulo SantosCABALAR, P.2023-08-262023-08-262007-03-26SANTOS, P.; CABALAR, P. Holes, knots and shapes: A spatial ontology of a puzzle. AAAI Spring Symposium - Technical Report, p. 144-149, mar. 2007.https://repositorio.fei.edu.br/handle/FEI/5025In 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. Copyright © 2007, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.Acesso RestritoHoles, knots and shapes: A spatial ontology of a puzzleArtigo de evento