Check a proposed fact before adding it.
This demo checks new facts against a small set of rules. It accepts facts that fit, rejects contradictions, and shows the reason for each result. The checking runs in your browser.
Every result includes a reason
A rejected fact shows the smallest set of accepted facts and rules that creates the contradiction.
Check before adding
A knowledge graph stores facts and their relationships. Checking a proposed fact first helps keep later searches from using a contradiction.
Rules do active work
The rules can add facts that logically follow from accepted ones. They can also stop a fact that would make two incompatible statements true.
See a rule change search
Try the related independent lab about how one relationship changes the facts an AI search can use.
This is an independent demonstration with a deliberately small rule set and public-transport-inspired labels. Its proposed facts are generated examples, not facts from a production system or client delivery. A production reasoner may support many more rules and review steps.