Laura Menotti, Stefano Marchesin, Gianmaria Silvello: The PROV-K Ontology for tracking provenance of multi-sourced assertions. Zenodo 2025