In the battle with system complexity, if knowledge representation and logic reasoning give a deep answer, does networking make a profitable problem? This project (supported by the National Science Foundation Award CNS-1909450 and CNS 1657285) explores the pain points in today’s network analysis — such as unavailable information, uncertain environments, and non-monotonic dynamic behaviors — to motivate our initial conjectures to this question. For more information, please contact



  • March, 2020: A Case of Knowledge-driven Policy Management: Bringing Discipline to Internet Routing, SOSR 2020 [poster]


  • June, 2019: A Logical Approach to Representing and Reasoning About Interdomain Routing Policies DATALOG 2.0 2019
  • June, 2019: Internet Routing and Non-monotonic Reasoning LPNMR 2019 [paper]
  • April, 2019: Enabling Policy Innovation in Interdomain Routing: A Software-Defined Approach SOSR 2019 [paper] [slide]




Get Started

Download the Ravel VM or install from source from our GitHub repository. Then try the Walkthrough.

Or develop your own applications. Read our Developer Guide and browse through the API.