Formalization and reasoning about spatial semantic integrity constraints Artículo académico