Liu, Weiming; Li, Sanjiang; Renz, Jochen
Increasing the expressiveness of qualitative spatial calculi is an essential step towards meeting the requirements of applications. This can be achieved by combining existing calculi in a way that we can express spatial information using relations from both calculi. The great challenge is to develop reasoning algorithms that are correct and complete when reasoning over the combined information. Previous work has mainly studied cases where the interaction between the combined calculi was small,...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.