Holes, knots and shapes: A spatial ontology of a puzzle

Paulo Santos, Pedro Cabalar

Research output: Contribution to journalConference articlepeer-review


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].

Original languageEnglish
Number of pages10
JournalCEUR Workshop Proceedings
Publication statusPublished - 1 Dec 2011
Externally publishedYes
Event1st Interdisciplinary Workshop on the Shape of Things 2011, SHAPES 1.0 - As a Part of the Context 2011 Conference - Karlsruhe, Germany
Duration: 27 Sept 201127 Sept 2011


Dive into the research topics of 'Holes, knots and shapes: A spatial ontology of a puzzle'. Together they form a unique fingerprint.

Cite this