Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure

@inproceedings{Sioutis2014TacklingLQ,
  title={Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure},
  author={Michael Sioutis and Jean-François Condotta},
  booktitle={SETN},
  year={2014}
}
We improve the state-of-the-art method for checking the consistency of large qualitative spatial networks that appear in the Web of Data by exploiting the scale-free-like structure observed in their underlying graphs. We propose an implementation scheme that triangulates the underlying graphs of the input networks and uses a hash table based adjacency list to efficiently represent and reason with them. We generate random scale-free-like qualitative spatial networks using the Barabasi-Albert (BA… Expand
Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks
  • Michael Sioutis
  • Computer Science
  • 2014 IEEE 26th International Conference on Tools with Artificial Intelligence
  • 2014
TLDR
A clear view is established on the state-of-the-art solutions for reasoning with large real world qualitative spatial networks efficiently by properly re-evaluating them with the benchmark dataset of that paper. Expand
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning
TLDR
It is proved that a recently proposed decomposition-based approach for checking the satisfiability of qualitative spatial constraint networks lacks soundness, and a particular tree decomposition is presented that allows for cost-free utilization of parallelism for a qualitative constraint language that has patchwork for satisfiable atomic networks. Expand
A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks
TLDR
A simple decomposition scheme is proposed that retrieves the smaller QCNs that correspond to the biconnected component subgraphs of the underlying graph of a given large QCN, and it is shown that this approach is sound for a qualitative constraint language that has a particular constraint property for atomic QCNs, namely, patchwork. Expand
Large scale distributed spatio-temporal reasoning using real-world knowledge graphs
TLDR
ParQR is described, a parallel, distributed implementation of QSTR techniques that addresses the challenge of reasoning over large-scale qualitative spatial and temporal datasets and shows that it scales effectively, is able to handle constraint networks consisting of millions of relations, and outperforms current distributed implementations ofQSTR. Expand
A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks
TLDR
This work introduces and studies the problem of obtaining a spatial or temporal configuration that maximizes the number of constraints satisfied in a qualitative constraint network (QCN), and proposes a complete generic branch and bound algorithm for solving the MAX-QCN problem. Expand
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning
TLDR
It is proved that a recently proposed decomposition-based approach that was presented in [AAAI, 2014] for checking the satisfiability of qualitative spatial constraint networks lacks soundness. Expand
On Redundancy in Linked Geospatial Data
TLDR
This paper presents a practical approach for obtaining the prime networks of RCC8 networks that originate from the Semantic Web, by exploiting the sparse and loosely connected structure of their constraint graphs, and contributes towards offering Linked Geospatial Data of high quality. Expand
Fast learning of scale‐free networks based on Cholesky factorization
TLDR
Evaluation on synthetically generated examples and high‐impact applications from a biomedical domain of up to more than 900,000 variables provides evidence that for such tasks the SNETCH algorithm can learn the underlying structure more accurately, and an order of magnitude faster than state‐of‐the‐art approaches based on the L1 penalized precision matrix. Expand
Incrementally Building Partially Path Consistent Qualitative Constraint Networks
TLDR
A framework to compute the path consistency of a given Qualitative Constraint Network (QCN) and propose an algorithm for maintaining or enforcing partial path consistency for growing constraint networks, i.e., networks that grow with new temporal or spatial entities over time. Expand
Qualitatively correct bintrees: an efficient representation of qualitative spatial information
TLDR
It is proved that such correct bintrees always exist and that they can be constructed as a sum of local representations, allowing a practically efficient construction. Expand
...
1
2
...

References

SHOWING 1-10 OF 40 REFERENCES
Scale-free networks
TLDR
An example will be used in this article to illustrate the potential value of the discovery of scale-free networks for applications in information systems related research, and their usefulness for realistic network modeling. Expand
Pseudofractal scale-free web.
TLDR
It is found that scale-free random networks are excellently modeled by simple deterministic graphs and exactly and numerically with high precision all main characteristics of the graph are found. Expand
Mathematical results on scale‐free random graphs
TLDR
There has been much interest in studying large-scale real-world networks and attempting to model their properties using random graphs, and the work in this field falls very roughly into the following categories. Expand
The Large-Scale Structure of Semantic Networks: Statistical Analyses and a Model of Semantic Growth
TLDR
A simple model for semantic growth is described, in which each new word or concept is connected to an existing network by differentiating the connectivity pattern of an existing node, which generates appropriate small-world statistics and power-law connectivity distributions. Expand
Search on High Degree Graphs
  • T. Walsh
  • Mathematics, Computer Science
  • IJCAI
  • 2001
TLDR
The long tail in search costs observed with small world graphs disappears when these graphs are also constructed to contain nodes of high degree, and it is conjecture that this is a result of the small size of their "backbone", pairs of edges that are frozen to be the same color. Expand
Statistical mechanics of complex networks
TLDR
A simple model based on these two principles was able to reproduce the power-law degree distribution of real networks, indicating a heterogeneous topology in which the majority of the nodes have a small degree, but there is a significant fraction of highly connected nodes that play an important role in the connectivity of the network. Expand
All scale-free networks are sparse.
We study the realizability of scale-free networks with a given degree sequence, showing that the fraction of realizable sequences undergoes two first-order transitions at the values 0 and 2 of theExpand
Advances in Spatial and Temporal Databases
TLDR
The RICC (Reachability Index Construction by Contraction) approach for processing spatiotemporal reachability queries without the instant exchange assumption is proposed and tested on two types of realistic datasets. Expand
Consistency of Chordal RCC-8 Networks
TLDR
Chordal RCC-8 networks are considered and it is shown that they can be checked for consistency by enforcing partial path consistency with weak composition, and that it can be solved very efficiently with PyRCC∇ by making its underlying constraint graph chordal and running path consistency on this sparse graph instead of the completion of the given network. Expand
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions
TLDR
This chapter focuses on the topological and mereological relations, contact, and parthood, between spatiotemporal regions as axiomatized in so-called mereotopologies, and their underlying ontological choices and different ways of systematically looking at them. Expand
...
1
2
3
4
...