What it is
The service that ensures cases comply with regulations. Both regulations and cases are represented as triples in a knowledge graph built on the domain ontology.
During any workflow execution, this service can be called to check compliance. The resolved facts from this layer then feed into the symbolic reasoner to perform further reasoning, both first- and second-order.
It is one of the tools the neuro-symbolic loop harness uses to verify the LLM's proposal.
The implementation is based on Postgres + AGE.
Architecture
