The expressive power of first-order topological languages

Research output: Contribution to journalArticle

Abstract

We consider the expressive power of the first-order structure 〈Ω,C 〉 where Ω is either of two of different domains of extended regions in Euclidean space, and C(x,y) is the topological relation 'Region x is in contact with region y.' We prove two main theorems: Let P[+] be the domain of bounded, non-empty, rational polyhedra in two- or three-dimensional Euclidean space. A relation Γ over P[+] is definable in the structure 〈P[+], C〉 if and only if Γ is arithmetic and invariant under rational PL-homeomorphisms of the space to itself. We also extend this result to a number of other domains, including the domain of all polyhedra and the domain of semi-algebraic regions.Let R be the space of bounded, non-empty, closed regular regions in n-dimensional Euclidean space. Any analytical relation over lower dimensional (i.e. empty interior) compact point sets that is invariant under homeomorphism is implicitly definable in the structure 〈R,C〉.

Original languageEnglish (US)
Pages (from-to)1107-1141
Number of pages35
JournalJournal of Logic and Computation
Volume23
Issue number5
DOIs
StatePublished - Oct 2013

Fingerprint

Expressive Power
First-order
Euclidean space
Polyhedron
Topological Relations
Invariant
Homeomorphism
Compact Set
Point Sets
n-dimensional
Interior
Language
Contact
If and only if
Closed
Three-dimensional
Theorem

Keywords

  • expressivity
  • First-order language
  • qualitative spatial reasoning
  • topological language

ASJC Scopus subject areas

  • Logic
  • Theoretical Computer Science
  • Software
  • Hardware and Architecture
  • Arts and Humanities (miscellaneous)

Cite this

The expressive power of first-order topological languages. / Davis, Ernest.

In: Journal of Logic and Computation, Vol. 23, No. 5, 10.2013, p. 1107-1141.

Research output: Contribution to journalArticle

@article{cea8c1586e7d4426b08c915a4a7cae98,
title = "The expressive power of first-order topological languages",
abstract = "We consider the expressive power of the first-order structure 〈Ω,C 〉 where Ω is either of two of different domains of extended regions in Euclidean space, and C(x,y) is the topological relation 'Region x is in contact with region y.' We prove two main theorems: Let P[+] be the domain of bounded, non-empty, rational polyhedra in two- or three-dimensional Euclidean space. A relation Γ over P[+] is definable in the structure 〈P[+], C〉 if and only if Γ is arithmetic and invariant under rational PL-homeomorphisms of the space to itself. We also extend this result to a number of other domains, including the domain of all polyhedra and the domain of semi-algebraic regions.Let R be the space of bounded, non-empty, closed regular regions in n-dimensional Euclidean space. Any analytical relation over lower dimensional (i.e. empty interior) compact point sets that is invariant under homeomorphism is implicitly definable in the structure 〈R,C〉.",
keywords = "expressivity, First-order language, qualitative spatial reasoning, topological language",
author = "Ernest Davis",
year = "2013",
month = "10",
doi = "10.1093/logcom/ext002",
language = "English (US)",
volume = "23",
pages = "1107--1141",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "5",

}

TY - JOUR

T1 - The expressive power of first-order topological languages

AU - Davis, Ernest

PY - 2013/10

Y1 - 2013/10

N2 - We consider the expressive power of the first-order structure 〈Ω,C 〉 where Ω is either of two of different domains of extended regions in Euclidean space, and C(x,y) is the topological relation 'Region x is in contact with region y.' We prove two main theorems: Let P[+] be the domain of bounded, non-empty, rational polyhedra in two- or three-dimensional Euclidean space. A relation Γ over P[+] is definable in the structure 〈P[+], C〉 if and only if Γ is arithmetic and invariant under rational PL-homeomorphisms of the space to itself. We also extend this result to a number of other domains, including the domain of all polyhedra and the domain of semi-algebraic regions.Let R be the space of bounded, non-empty, closed regular regions in n-dimensional Euclidean space. Any analytical relation over lower dimensional (i.e. empty interior) compact point sets that is invariant under homeomorphism is implicitly definable in the structure 〈R,C〉.

AB - We consider the expressive power of the first-order structure 〈Ω,C 〉 where Ω is either of two of different domains of extended regions in Euclidean space, and C(x,y) is the topological relation 'Region x is in contact with region y.' We prove two main theorems: Let P[+] be the domain of bounded, non-empty, rational polyhedra in two- or three-dimensional Euclidean space. A relation Γ over P[+] is definable in the structure 〈P[+], C〉 if and only if Γ is arithmetic and invariant under rational PL-homeomorphisms of the space to itself. We also extend this result to a number of other domains, including the domain of all polyhedra and the domain of semi-algebraic regions.Let R be the space of bounded, non-empty, closed regular regions in n-dimensional Euclidean space. Any analytical relation over lower dimensional (i.e. empty interior) compact point sets that is invariant under homeomorphism is implicitly definable in the structure 〈R,C〉.

KW - expressivity

KW - First-order language

KW - qualitative spatial reasoning

KW - topological language

UR - http://www.scopus.com/inward/record.url?scp=84885123257&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84885123257&partnerID=8YFLogxK

U2 - 10.1093/logcom/ext002

DO - 10.1093/logcom/ext002

M3 - Article

VL - 23

SP - 1107

EP - 1141

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 5

ER -