Chapter 4: RO-Crate Section 4.1: Packaging research artefacts with RO-Crate Section 4.2: Creating lightweight FAIR Digital Objects with RO-Crate Section 4.3: Formalizing RO-Crate in First Order Logic