VISCO: Bringing Visual Spatial Querying to Reality
VL '98 Proceedings of the IEEE Symposium on Visual Languages
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
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 an algorithm for computing socalled 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.