Expressivity in Polygonal, Plane Mereotopology

@article{PrattHartmann2000ExpressivityIP,
  title={Expressivity in Polygonal, Plane Mereotopology},
  author={Ian Pratt-Hartmann and Dominik J. Schoop},
  journal={J. Symb. Log.},
  year={2000},
  volume={65},
  pages={822-838}
}
In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the nonlogical primitives of these languages are properties and relations such as `x is connected' or `x is a part of y', and the entities over which their variables range are, accordingly, not points, but regions: spatial entities other than regions are admitted, if at all, only as logical constructs… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 34 references

O-minimal structures

  • L. van den Dries
  • Foundations to Applications,
  • 1996
Highly Influential
3 Excerpts

A connection based approach to commonsense topological description and reasoning

  • N. M. Gotts, J. M. Gooday, A. G. Cohn
  • Monist, 79(1):51 75
  • 1996
1 Excerpt

Geometrical structures and modallogic

  • L. Farinas del Carro, T. Tinckev, D. Vakarelo
  • 1996

L

  • P. Balbiani
  • Farinas del Carro, T. Tinckev, and D. Vakarelo…
  • 1996

Pointless geometries

  • G. Gerla
  • F. Buekenhout and W. Kantor, editors, Handbook of…
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…