Practical issues of description logics for spatial reasoning