The Brazilian Amazon biome comprises the greatest rainforest in the world with an abundant density of biodiversity. In the last years, this biome has been subject to an extensive removing of forested areas mainly due to the expansion of agriculture and pasture for cattle ranching areas through of the selective logging and forest fires. This paper uses a spatiotemporal interval logic mechanism extended from Allen’s interval temporal logic to reason about deforestation. We show that this method is a tool to help scientists and policymakers to extract relevant information about land-use change. Using the interval-based approach interesting questions are translated into an expression that can be machine interpreted. In this work, we show how to identify and quantify land-use transitions in Pará State, in Brazil, from the deforestation data from 2007 to 2017 produced by the PRODES project.