Symbolic Learning

Established: August 1, 2016

The goal of this project is to build a symbolic knowledge service stack, providing the capability of knowledge storage and serving as well as knowledge learning and reasoning. This project tries to represent knowledge using a unified formal symbolic graph and conduct symbolic inference based on graph matching and graph transformation.