Contributes to the development of meaningful and machine-interpretable quality descriptions of geographical information. This book elaborates: a detailed categorization of semantic integrity constraints, a framework for the formal definition of the constraints and a reasoning methodology for the detection of conflicting and redundant constraints.