Foundations of spatioterminological reasoning with description logics. (1998)

by V Haarslev, C Lutz, R Moller
Venue:In Principles of Knowledge Representation and Reasoning,