“A sophisticated semantic network system capable of encoding #inference rules within the network itself. Built for efficient memory usage and powerful logical #reasoning, zelph can process the entire #Wikidata knowledge graph (1.7TB) to detect contradictions and make logical deductions.”

https://zelph.org/