Vague distance predicates

A formal theory of vague distance predicates is presented which combines a crisp region-based geometry with a theory of vague size predicates in a supervaluation-based formal framework. In the object language of the axiomatic theory, logical and semantic properties of vague distance predicates that are context- and domain-independent are formalized. Context and domain-dependent aspects are addressed in the meta-language of the theory by incorporating context- and domain-specific restrictions on the canonical interpretations. This allows to relate the ontological and qualitative analysis in the object language to numeric values as they are commonly used in scientific discourses.