Abstract
Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conceptual framework for qualitative reasoning about information networks from a spatial-topological point of view. We consider the properties of connectivity and some topological invariants to describe the structural characteristics of and the topological relationships between networks. The paper presents a data model for networks which generalizes the notion of graph, founded in algebraic and topological considerations. Such conceptual tool can be useful in different domains, from social to technological networks.
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.
References
Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial logic based on regions and connection. In: Proc. 3rd. Int. Conf. on Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufmann, San Francisco
Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. Geoinformatica 1, 1–44 (1997)
de Kleer, J., Brown, J.: A Qualitative Physics Based on Confluences. Artificial Intelligence 24, 7–83 (1984)
Smith, B.: Mereotopology - A Theory of parts and boundaries. Data and Knowledge Engineering 20, 287–303 (1996)
Sharma, J., Fleweling, D., Egenhofer, M.: A Qualitative Spatial Reasoner. In: International Symposum on Spatial Data Handing, pp. 665–681 (September 1994)
Tarski, A.: On The Calculus of Relations. Journal of Symbolic Logic 6(3), 73–89 (1941)
Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1989)
Egenhofer, M.J.: A Formal Definition of Binary Topological Relationships. LNCS, vol. 367, pp. 457–472. Springer, Heidelberg (1989)
Egenhofer, M.J., Franzosa, R.: Point-Set Topological Spatial Relations. International Journal of Geographic Information Science 5(2), 161–174 (1991)
Stock, L.: Spatial and Temporal Reasoning. Kluwer Academic Publishers, Dordrecht (1997)
Egenhofer, M.J.: Deriving the Composition of Binary Topological Relations. Journal of Visual Languages and Computing 5, 133–149 (1994)
Diestel, R.: Graph Theory. Springer, New York (1997)
Clementini, E., Sharma, J., Egenhofer, M.: Modeling Topological Spatial Relations: Strategies for Query Processing. International Journal of Computer and Graphics 18(6), 815–822 (1994)
Stell, J.G., Worboys, M.F.: The Algebraic Structure of Sets of Regions. LNCS, vol. 1329, pp. 163–174. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rodríguez, A., Gutierrez, C. (2006). A Formal Approach to Qualitative Reasoning on Topological Properties of Networks. In: Staab, S., Svátek, V. (eds) Managing Knowledge in a World of Networks. EKAW 2006. Lecture Notes in Computer Science(), vol 4248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11891451_32
Download citation
DOI: https://doi.org/10.1007/11891451_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46363-4
Online ISBN: 978-3-540-46365-8
eBook Packages: Computer ScienceComputer Science (R0)