Provenance Model (ontology and formal model documentation)

Hi all,
The resources related to the formalization of the provenance conceptual
model have been added to the mercurial repository and can be accessed at:

1. Provenance Model ontology:
http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceOntology.owl

2. Documentation describing the formal model :
http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html

Comments/suggestions are welcome.

Please note that these are initial and incomplete versions, which will
undergo frequent changes.

Thanks.

Best,
Satya Sahoo