Volker Haarslev Carsten Lutz Ralf Möller Foundations of Spatioterminological Reasoning with Description Logics. 112-123 1998 KR db/conf/kr/kr98.html#HaarslevLM98