A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.
Rust Updated 13 days ago 1 commits 8 stars
vortex-ai|Mirror: bio-ontology-research-group/kobayashi-marust (⭐8)
13 days agoAbout
A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.
Readme
8 stars