How it works
It decomposes claims into Subject-Predicate-Object (SPO) triples and queries a connected knowledge graph (like Neo4j or NetworkX) to verify the relationship exists.- Triple extraction: Extract
(Paris, is_capital_of, France)from “Paris is the capital of France”. - Pathfinding: Search the KG for a path between
ParisandFrancewith edgeis_capital_of. - Transitive verification: Verify implicit relationships (e.g., if A is in B, and B is in C, is A in C?).
Usage
Result contract
The Graph Fact Engine returns aDiagnosticResult. A claim only resolves to VERIFIED when every material triple has full graph support — partial matches do not verify:
The NLI fallback is advisory only — it can never promote an unsupported claim to
VERIFIED.
When to use
- Complex relationships: Family trees, corporate hierarchies, supply chains.
- Multi-hop reasoning: “Is the CEO of the acquisition target verified?”
- Structured data: When your source of truth is a database or graph, not a document.