InferRust

This crate aims to provide an implementation of Inferray in Rust, based on sophia.

---

Citation

Julien Subercaze, Christophe Gravier, Jules Chevalier, Frédérique Laforest:
Inferray: fast in-memory RDF inference. PVLDB 9(6): 468-479 (2016)

---

Authors

• Thomas Bourg (core)
• Pierre-Antoine Champin (ideas and improvements)

---

TO DO

• Support full OWL-RL
  • Support list
  • Implement new rules
    • On list
    • Others (list)
      • eq-ref
      • cls-svf2
      • cls-hv2
      • cls-hv1
      • cls-svf1
      • cls-avf
      • scm-svf1
      • scm-avf1
      • scm-hv
      • scm-svf2
      • scm-avf2
      • dt-type1
      • dt-type2
      • dt-eq
      • dt-diff
      • cls-maxc1
      • cls-maxc2
      • cls-maxqc1
      • cls-maxqc2
      • cls-maxqc3
      • cls-maxqc4
      • prp-ap
      • cls-thing
      • cls-nothing1
      • cls-nothing2
      • cax-dw
      • eq-diff1
      • prp-irp
      • prp-asyp
      • prp-pdw
      • prp-npa1
      • prp-npa2
      • cls-com
      • dt-not-type