A formal approach to qualitative reasoning on topological properties of networks

Authors:
Andrea Rodríguez;Claudio Gutierrez
Affiliations:
Department of Computer Science, Universidad de Concepción;Department of Computer Science, Universidad de Chile, Chile
Venue:
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Year:
2006

Citing 7
Cited 0

A qualitative physics based on confluences

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Topology via logic

Topology via logic
Mereotopology: a theory of parts and boundaries

Data & Knowledge Engineering - Special issue on modeling parts and wholes
Spatial and Temporal Reasoning

Spatial and Temporal Reasoning
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

Geoinformatica
A Formal Definition of Binary Topological Relationships

FOFO '89 Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms
The Algebraic Structure of Sets of Regions

COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS

Quantified Score

Hi-index	0.00

Visualization

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.