Development of the RDF model using Coq and the Mathematical Components library.
- Author(s):
- Tomas Vallejos
- Assia Mahboubi
- Compatible Coq versions: 8.19.1
- Additional dependencies:
- the
Mathematical ComponentsLibrary version 2.3.0
- the
This library allows mechanized reasoning about the RDF model. It defines RDF graphs as duplicate-free sequences of triples; and operations on them, such as, blank node relabeling and RDF isomorphism.
We recommend installing the dependencies via OPAM (using a fresh or up to date version of opam 2), and then build manually:
git clone https://github.com/Tvallejos/CoqRDF.git
cd CoqRDF
opam switch create CoqRDF 4.12.0
eval $(opam env)
opam remote add coq-released https://rocq-prover.org/opam/released
opam install .