Sciweavers

Share
COSIT
1999
Springer

Terminological Default Reasoning about Spatial Information: A First Step

8 years 7 months ago
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.
Ralf Möller, Michael Wessel
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where COSIT
Authors Ralf Möller, Michael Wessel
Comments (0)
books