The Logic of NEAR and FAR

@inproceedings{Du2013TheLO,
  title={The Logic of NEAR and FAR},
  author={Heshan Du and Natasha Alechina and Kristin Stock and Michael Jackson},
  booktitle={COSIT},
  year={2013}
}
We propose a new qualitative spatial logic based on metric (distance) relations between spatial objects. We provide a sound and complete axiomatisation of the logic with respect to metric models. The logic is intended for use in checking consistency of matching geospatial individuals from different data sets, where some data sets may be imprecise (e.g. crowd-sourced data). 
BETA

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 44 REFERENCES

The Synergistic Use of Authenticated and Crowd-Sourced Data for Emergency Response

  • M. J. Jackson, H. Rahemtulla, J. Morley
  • International Workshop on Validation of Geo…
  • 2010
1 Excerpt

A Framework for Representing Ontology Mappings under Probabilities and Inconsistency

  • A. Cal̀ı, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt
  • The Third ISWC Workshop on Uncertainty Reasoning…
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…