Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 3, pp. 351-384: Abstract.

A description logic with concrete domains and a role-forming predicate operator

V Haarslev1, C Lutz2 and R Möller1

1University of Hamburg, Computer Science Department, Vogt-Kölln-Strasse 30, 22527 Hamburg, Germany. E-mail: {haarslev,moeller}@informatik.uni-hamburg.de, 2RWTH Aachen, LuFG Theoretical Computer Science, Ahornstrasse 55, 52074 Aachen, Germany

This article presents the description logic ALCRP(D) with concrete domains and a role-forming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general significance of ALCRP(D) is demonstrated by adding temporal reasoning to spatial and terminological reasoning using a combined concrete domain. The theory is motivated as a basis for knowledge representation and query processing in the domain of geographic information systems. In contrast to existing work in this domain, which mainly focuses either on conceptual reasoning or on reasoning about qualitative spatial relations, we integrate reasoning about spatial information with terminological reasoning.

Key words: Description logic, spatial reasoning, spatio temporal reasoning, theoretical foundations for GIS.

  Full-Text PDF  (511 KB)


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.