Topo-distance: Measuring the difference between spatial patterns

Marco Aiello*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

1 Citation (Scopus)


A framework to deal with spatial patterns at the qualitative level of mereotopology is proposed. The main contribution is to provide formal tools for issues of model equivalence and model similarity. The framework uses a multi-modal language S4u interpreted on topological spaces (rather than Kripke semantics) to describe the spatial patterns. Model theoretic notions such as topological bisimulations and topological model comparison games are introduced to define a distance on the space of all topological models for the language S4u. In the process, a new take on mereotopology is given, prompting for a comparison with prominent systems, such as RCC.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - European Workshop, JELIA 2000, Proceedings
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages14
ISBN (Print)3540411313, 9783540411314
Publication statusPublished - 2000
Externally publishedYes
EventEuropean Workshop on Logics in Artificial Intelligence, JELIA 2000 - Malaga, Spain
Duration: 29 Sept 20002 Oct 2000


OtherEuropean Workshop on Logics in Artificial Intelligence, JELIA 2000


  • Mereotopology
  • Model comparison games
  • Qualitative spatial reasoning
  • RCC


Dive into the research topics of 'Topo-distance: Measuring the difference between spatial patterns'. Together they form a unique fingerprint.

Cite this