Holes, knots and shapes: A spatial ontology of a puzzle
Nenhuma Miniatura disponível
Citações na Scopus
0
Tipo de produção
Artigo de evento
Data
2011
Autores
Santos P.
Cabalar P.
Cabalar P.
Orientador
Periódico
CEUR Workshop Proceedings
Título da Revista
ISSN da Revista
Título de Volume
Citação
Texto completo (DOI)
Palavras-chave
Resumo
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. This paper first appeared as as technical report [7] and presents the initial framework that was further developed in [8, 2].