Issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Complete classification of computation properties for all fragments of RCC8 is included.