COSIT 1999: Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science pp 189-204 | Cite as
Terminological Default Reasoning about Spatial Information: A First Step
Abstract
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 \( \mathcal{A}\mathcal{L}\mathcal{C}\mathcal{R}\mathcal{P}(\mathcal{S}_2 ) \) , which is briefly introduced, we discuss an algorithm 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.
Keywords
Spatial Default Reasoning Description LogicsPreview
Unable to display preview. Download preview PDF.
reference
- 1.F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Conference on Artificial Intelligence, Darling Harbour, Sydney, Australia, Aug. 24-30, 1991, pages 452–457, August 1991.Google Scholar
- 2.F. Baader and B. Hollunder. Embedding defaults into terminological representation systems. J. Automated Reasoning, 14:149–180, 1995.CrossRefMathSciNetGoogle Scholar
- 3.F. Baader and B. Hollunder. Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Automated Reasoning, 15:41–68, 1995.MATHCrossRefMathSciNetGoogle Scholar
- 4.A.G. Cohn, B. Bennett, J.M. Gooday, and N.M. Gotts. Representing and reasoning with qualitative spatial relations. In O. Stock, editor, Spatial and Temporal Reasoning, pages 97–134. Kluwer Academic Publishers, Dordrecht, 1997.CrossRefGoogle Scholar
- 5.T. Cohn, L. Schubert, and S. Shapiro, editors. Proceedings of Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98), Trento, Italy, June 2-5, 1998, June 1998.Google Scholar
- 6.V. Haarslev, C. Lutz, and R. Möller. Foundations of spatioterminological reasoning with description logics. In Cohn et al. [5], pages 112–123.Google Scholar
- 7.V. Haarslev, C. Lutz, and R. Möller. A description logic with concrete domains and a role-forming predicate operator. to appear in J. of Logic and Computation, 1999.Google Scholar
- 8.J. Renz. A canonical model of the region connection calculus. In Cohn et al. [5], pages 330–341.Google Scholar
- 9.M. Wessel and V. Haarslev. VISCO: Bringing visual spatial querying to reality. In 1998 IEEE Symposium on Visual Languages, Halifax, Canada, Sep. 1-4, pages 170–177. IEEE Computer Society Press, Los Alamitos, September 1998.Google Scholar