sroiq

Here is 1 public repository matching this topic...

A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.

rust owl formal-verification reasoner knowledge-representation owl2 neuro-symbolic description-logic lean4 sroiq

To associate your repository with the sroiq topic, visit your repo's landing page and select "manage topics."