A Reachability-based Theoretical Framework for Modeling and Querying Complex Probabilistic Graph Data