An OWL 2 RL reasoner with Z3-verified inference rules. Written in SLOP, it compiles to efficient C code while using SMT solving to prove properties about the inference logic.
Ontop is a Virtual Knowledge Graph system that exposes the content of arbitrary relational databases as knowledge graphs using SPARQL. It translates SPARQL queries into SQL queries and relies on R2RML mappings and can utilize lightweight ontologies.
python ./ontology_viz.py -o test.dot test.ttl -O ontology.ttl
