Relacionado Formalization and reasoning about spatial semantic integrity constraints Artículo académico Rodríguez Tastets, María Andrea Miembro de la facultad