Practical Issues of Description Logics for Spatial Reasoning

Spatial reasoning with description logic has become an important research topic in the recent past. Several authors dealt with the problem of finding logical frameworks in which concept definitions can be made by using also spatial operators, particularly those of the Region Connection Calculus. Lutz and Miličić investigated the formal properties required… (More)