Show HN: Growl Owl 2 RL Reasoner

3 points

4 months ago

GROWL is an OWL 2 RL reasoner I've made using a programming language I've been working on that emphasizes contracts (called SLOP).

The custom language transpiles to C, so the generated C source and Makefile are included in the repo.

I built this to integrate into a Knowledge Graph product I'm working on (hence the Rust bindings), but thought I'd open source the reasoner.