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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
reference
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.
F. Baader and B. Hollunder. Embedding defaults into terminological representation systems. J. Automated Reasoning, 14:149–180, 1995.
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.
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.
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.
V. Haarslev, C. Lutz, and R. Möller. Foundations of spatioterminological reasoning with description logics. In Cohn et al. [5], pages 112–123.
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.
J. Renz. A canonical model of the region connection calculus. In Cohn et al. [5], pages 330–341.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Möller, R., Wessel, M. (1999). Terminological Default Reasoning about Spatial Information: A First Step. In: Freksa, C., Mark, D.M. (eds) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. COSIT 1999. Lecture Notes in Computer Science, vol 1661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48384-5_13
Download citation
DOI: https://doi.org/10.1007/3-540-48384-5_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66365-2
Online ISBN: 978-3-540-48384-7
eBook Packages: Springer Book Archive