Terminological Default Reasoning about Spatial Information: A First Step

We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic language called ALCRP(S2), which is briefly introduced, we discuss algorithms for computing so-called extensions (“possible worlds”) of a world description and a set of defaults. We conclude with an application of the theory to problems in visual query systems and demonstrate the significance of the theory for spatioterminological reasoning in general and spatioterminological default reasoning in particular.

• Type: Conference
• Year: 1999
• Where: COSIT
• Authors: Ralf Möller, Michael Wessel
• Keywords: COSIT 1999, Default Reasoning, GIS, Spatioterminological Default Reasoning, Terminological Default Reasoning