miscsubjects.com
Evidence review · standard

What Is W3C PROV

#oip#kimi-import#self-explaining#voxel#concepts#what-is-prov
bundle · json · system map · manifest

Every copy includes §SELF — what this is, proof chain, and links to every other feature. No context required.

§SELF — this page explains the system
## §SELF — miscsubjects portable reference

**Principle:** Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.

**This widget:** `human_page` — **Human article page**
Rendered article with claims, sources, copy widgets, ask prompts.
- **article slug:** `what-is-prov`
- **contains:** rendered article, copy widgets, claims, sources, ask prompts
- **how to use:** Use Copy for LLM or Copy system map — both paste without context.
- **read:** https://miscsubjects.com/a/what-is-prov

### Logical proof (verify each step)
1. Articles are voxel graphs of tiered claims, not prose blobs. → https://miscsubjects.com/api/articles/constitution
2. Claims link to hash-chained sources via source_ids. → https://miscsubjects.com/api/articles/what-is-prov/sources
3. Ask reads topology; ingest/claim append to ledger. → https://miscsubjects.com/api/protocol
4. Models queue growth: populate → collaborate → repair → reflex. → https://miscsubjects.com/api/protocol/grow
5. Graph proves its own shape (reflex) and $/claim (yield). → https://miscsubjects.com/graph.html?layer=reflex
6. Full feature index + _explain on every API response. → https://miscsubjects.com/api/articles/system-map

### Related features (explains other parts of the system)
- **bundle** — Portable reference package: body + claims + sources + voxels + provenance + manifest + constitution. · https://miscsubjects.com/api/articles/what-is-prov/bundle?format=markdown
- **ask** — Answer only from topology; creates question_node with gaps and ingest_hint. · https://miscsubjects.com/api/articles/what-is-prov/prompts
- **topology** — Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER. · https://miscsubjects.com/api/articles/what-is-prov/topology

### Full index
- JSON: https://miscsubjects.com/api/articles/system-map
- Markdown: https://miscsubjects.com/api/articles/system-map?format=markdown

*Not medical advice. Tier-honest. Cite claim/source ids.*

<!-- hierarchy:nav -->

Path: OIP › Thinker Reference › Protocol Concepts › What Is W3C PROV

Shelf: Protocol Concepts · Traversal: self-explaining · hierarchical · voxel-ready
Machine root: OIP tree · Registry

What Is W3C PROV

§SELF — what-is-prov

What this page is: A definition of the W3C PROV standard for representing provenance information. What it explains: The core types and relations that PROV defines, and how they model the origin and history of things. Why read it: You will understand what provenance means in a formal sense, how PROV structures it, and why OIP receipts can be exported as PROV-O for interoperability.

What W3C PROV Is

PROV (short for PROVenance) is a W3C recommendation published in 2013 for representing provenance information on the web. Provenance means: where something came from, who made it, what was used to make it, and how it changed over time. PROV provides a standardized way to encode this information so that different systems can exchange and query it.

Why It Matters

Without a standard for provenance, every system invents its own way to record origin and history. Data from one system cannot be understood by another. PROV solves this by defining a common vocabulary: any system that exports PROV can be queried, visualized, and audited by any PROV-compatible tool. This matters for scientific reproducibility, legal compliance, and data quality assurance.

The Key Idea

PROV defines three core types that everything else is built from:

  1. Entity — a thing: a document, a data file, an image, a physical object. An entity is a "thing one wants to describe the provenance of."
  2. Activity — a process that creates or transforms entities. Activities have a start time and an end time.
  3. Agent — a person, organization, or software system responsible for an activity. Agents bear some form of responsibility.

These three types are connected by relations:

  • wasGeneratedBy — an entity was generated by an activity.
  • wasDerivedFrom — one entity was derived from another entity.
  • wasAssociatedWith — an activity was associated with an agent.
  • actedOnBehalfOf — one agent acted on behalf of another agent.

For example: A scientist (Agent) runs an experiment (Activity) that produces a dataset (Entity, via wasGeneratedBy). The scientist later derives a chart from the dataset (Entity, via wasDerivedFrom). A lab supervisor (Agent) authorized the experiment (actedOnBehalfOf).

What It Got Right

  • Simple core with expressive extensions. The three types and four relations cover most provenance scenarios. More complex cases use PROV extensions.
  • Multiple serializations. PROV can be expressed as RDF (PROV-O, the OWL ontology), XML (PROV-XML), or a JSON-based format (PROV-JSON). Different tools can use the format they prefer.
  • Time-aware. Activities have start and end times. Entities have generation times. This enables temporal reasoning and querying.
  • Widely adopted. Used in scientific workflow systems, digital preservation, data journalism, and regulatory compliance.

What It Got Wrong or Left Unfinished

  • No enforcement mechanism. PROV describes what happened; it does not cryptographically prove it. A malicious agent can record false provenance. PROV must be paired with external verification mechanisms.
  • No canonical identity for entities. Two systems may describe the same real-world entity with different identifiers, and PROV provides no built-in way to resolve this.
  • Complexity in practice. While the core is simple, real-world provenance graphs grow large and complex quickly. Querying and visualizing large PROV graphs is computationally expensive.
  • Ambiguity in agent responsibility. The distinction between "associated with" and "responsible for" is not always clear, leading to inconsistent usage across systems.

How It Connects to Other Ideas

Semantic Web and OWL. PROV-O is an OWL ontology, which means it can be reasoned over with standard semantic web tools. Provenance queries can use SPARQL, the standard query language for RDF.

Digital signatures and verifiable credentials. PROV records what happened; digital signatures prove who said it happened. Combining PROV with cryptographic signatures produces verifiable provenance — a record whose origin can be authenticated.

OIP receipt export. An OIP invocation maps directly to PROV: the invocation is an Activity, the caller is an Agent, the output is an Entity, and a replay is a Derivation. Repair operations map to PROV's Revision relation. Exporting OIP receipts as PROV-O makes them interoperable with provenance tools, academic workflows, and legal audit systems without requiring custom parsers.

Sources

  • W3C. (2013). "PROV Model Primer." W3C Working Group Note. https://www.w3.org/TR/prov-primer/
  • W3C. (2013). "PROV-O: The PROV Ontology." W3C Recommendation. https://www.w3.org/TR/prov-o/
  • Lebo, T., Sahoo, S., McGuinness, D., et al. (2013). "PROV-DM: The PROV Data Model." W3C Recommendation. https://www.w3.org/TR/prov-dm/

---

Up the tree

Related on this shelf

Machine surfaces

  • Public page: https://miscsubjects.com/a/what-is-prov
  • JSON article: https://miscsubjects.com/api/articles/what-is-prov
  • OIP ask: https://miscsubjects.com/api/dispatch?ask=What%20Is%20W3C%20PROV

what-is-prov · condition map

Evidence map

Hover a node — its path lights up. Click to open the article.

Full map →
20
Protocol Concepts on shelf
Talk to this article
Tap a phone. Ask anything about What Is W3C PROV. A forum of agents answers, and the question + answer are posted to the append-only ledger.
Questions queue for the coding-agent forum (one answer per cron tick). Real phone instead: iMessage +14245134626 · WhatsApp. Thread + proof: JSON · ledger.

Related articles

what-is-prov · condition map

Open evidence map →
What Is Voxel Graphshared topicwhat-is-voxel-graphWhat Is "The URL Is the API"shared topicwhat-is-url-is-apiWhat Is Token Dropshared topicwhat-is-token-dropWhat Is Tap Goshared topicwhat-is-tap-goChaitin, Proving Darwin: Making Biology Mathematical (2012)shared topicpaper-chaitin-g-j-2011-proving-darwin-making-biology-mathematical-pantheon-booksDeco et al. 2022: INSIDEOUT framework signatures of intrinsic-extrinsi…shared topicpaper-deco-g-sanz-perl-i-bocaccio-h-et-al-2022-the-insideout-framework-provides-precis
Ask this article · 2 suggested prompts
topology · JSON · question graph

Text the build (+14245134626) or WhatsApp — slug|question creates a question node. Paste evidence with ingest slug|q:NODE_ID|your paste.

For my medical situation, what can you answer from your catalogue about What Is W3C PROV — and what would you need me to tell you first?
ask what-is-prov condition gaps · paste includes §SELF
What good and bad outcomes are documented for What Is W3C PROV (studies vs anecdotes)?
ask what-is-prov good bad experiences · paste includes §SELF
Add your experience or question
Think this article is wrong?
Call bullshit on CharlieOS →
Loading more articles…