Ssoiland — Thu, 19 Apr 2012 09:01:20 GMT

Ssoiland: /* Started by activity */

= Introduction =

This document gives a draft translation from PROV-DM to PROV-O, and sketches how to go in the reverse direction (i.e. how to extract PROV-DM from a RDF graph that includes PROV-O data as well as possibly other RDF).

'''Guideline:''' We include all RDF assertions associated with a DM assertion, even if some of them wind up being redundant/inferrable.

'''Guideline:''' Optional arguments (including attribute lists) are in square brackets; if the argument is missing, we generally omit the corresponding RDF edges. (In some cases, not currently documented, an optional argument to a record corresponds to an unknown value that should be generated as a blank node; this remains under discussion.)

= From PROV-DM to PROV-O =

We define a translation from PROV-DM formulas to RDF conforming to PROV-O as follows.

== Mapping coverage ==

http://aquarius.tw.rpi.edu/prov-wg/provrdf-owl-coverage shows the [mis]alignments among PROV-DM WD3, ProvRDF, and PROV-O.

=== PROV-DM ===

==== PROV-DM WD3 ====

To see the ASN expressions mentioned in the PROV-DM WD3 page, run this command:

curl -H "Content-Type: text/turtle" -d "<http://www.w3.org/TR/2012/WD-prov-dm-20120202/> a <http://xmlns.com/foaf/0.1/Document> ." http://sparql.tw.rpi.edu/services/datafaqs/util/wikitable-fol

==== PROV-DM WD4 ====

ProvRDF will be aligned against WD4 very soon.

* PROV-DM: http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html
* PROV-DM-CONSTRAINTS: http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html
* PROV-ASN: http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-asn.html

=== ProvRDF ===

==== LHS ====

The undersigned have reviewed DM WD3 and agree that all ASN signatures in WD3 appear as left hand sides of the rules shown on this page. Further, the rules here are in the same order as DM WD3 and no rules appear here without appearing in DM WD3.

* Daniel Garijo (10-Feb-2012)
* Tim Lebo (collections still missing) (13-Feb-2012)
* James Cheney (basic stuff is here, collections/accounts is not) (16-Feb-2012)

The constructs are listed in an order that corresponds to the order given in [http://www.w3.org/TR/2012/WD-prov-dm-20120202/ PROV-DM WD3].

To see the ASN expressions mentioned in this page, run this command:

curl -H "Content-Type: text/turtle" -d "<http://www.w3.org/2011/prov/wiki/ProvRDF> a <http://xmlns.com/foaf/0.1/Document> ." http://sparql.tw.rpi.edu/services/datafaqs/util/wikitable-fol

==== RHS ====

To see the classes and predicates mentioned in this page, run this command:

curl -H "Content-Type: text/turtle" -d "<http://www.w3.org/2011/prov/wiki/ProvRDF> a <http://xmlns.com/foaf/0.1/Document> ." http://sparql.tw.rpi.edu/services/datafaqs/util/wikitable-gspo

=== ProvenanceOntology.owl ===

== Components ==

The following values are used for prov:component annotations in the OWL file:

* (1) entities-activities
* (2) agents-responsibility
* (3) derivations
* (4) alternate
* (5) collections
* (6) annotations

== Mapping goals ==

=== 1: Maintain Entities and Activities principal subjects ===

Subjects of triples are more principal than objects of triples. Because Entities and Activities are the two principal topics of PROV-DM, the RDF mapping should prefer that Entities and Activities be subjects of as many triples as possible. In the case when the object instance is ALSO an Entity or Activity, the directionality of the triple should point to the Element that "existed earlier". For example, :activity prov:used :entity is preferred over :entity prov:usedBy :activity because the entity existed before it was used by the activity.

=== 2: Avoid proliferating owl:inverseOf ===

Although every property could have an inverse, we choose one preferred direction to keep the model small and understandable. Providing all inverses could be done in a supplemental profile. One exception to this rule is prov:wasGeneratedBy's inverse: prov:generated, which is included because of goal 1. When an asserter is describing an Activity (a principal Element), they should be able to describe it as a subject. prov:generated is needed to do this.

=== 3. Include _all_ resulting triples, including those resulting from inferences ===

=== 4. Naming style for prov:entity prov:activity prov:agent is RESERVED ===

The naming style of prov:entity prov:activity and prov:agent is adopted from that of rdf:object. NO OTHER prov predicate may adopt this same style, so that the style clearly indicates _which_ predicate is referencing the object of the unqualified relation that the Involvement is qualifying.

So, predicates named quoter, quoted, generation, usage are not permitted. If we _are_ going to reference these things from an Involvement, the hadXXX pattern should be followed.

restate: Properties on Involvements which are a noun and match the desired range (e.g. entity, activity, agent) are reserved for the reification properties of an involvement?

=== Visual style ===

* Tokens in a gray background have a scope local to the assertion (e.g. ":id").
* Tokens in a light brown background exist in the provenance namespace (e.g. "prov:wasDerivedFrom").
* Tokens in white background appear in existing namespaces (e.g. "sd:" == "http://www.w3.org/ns/sparql-service-description#", "a" == "rdf:type", "dcterms:")
* Triples with gray text can be inferred with RDFS reasoning, e.g. superclasses/superproperties, however typing from rdfs:domain / rdfs:range are shown in black.

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|asnExpression(id,e,a,t,[attr_1=val_1, ...])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:
|-
|
|
| style="color:DarkGray" | :e
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:
|-
|
|
| :e
| style="background: PapayaWhip" | prov:
| | :id
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

=== Partial mappings ===

The right hand side of the rules shown on this page are intentionally verbose. They are included to see the full ramifications of a DM ASN expression.

Note that if an argument is not provided in the ASN, the corresponding triples that require that value are NOT produced (unless they are required to link to other produced triples). This means that simple ASN assertions produce simple PROV-O assertions.

For instance, if in PROV-N we have simply <code>wasGeneratedBy(e,a)</code> rather than the full <code>wasGeneratedBy(e,a,t,[attr_1=val_n, ..., attr_n=val_n])</code>, then:
{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasGeneratedBy(e,a)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e
| style="background: PapayaWhip" | prov:wasGeneratedBy
| | :a

|}

However if time was also given, we will need to expand into an involvement:
{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasGeneratedBy(e,a,t)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e
| style="background: PapayaWhip" | prov:wasGeneratedBy
| | :a
|-
|
|
| :e
| style="background: PapayaWhip" | prov:qualifiedGeneration
| | _:id
|-
|
|
| _:id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Generation
|-
|
|
| _:id
| style="background: PapayaWhip" | prov:activity
| | :a
|-
|
|
| _:id
| style="background: PapayaWhip" | prov:atTime
| | t^^xsd:dateTime
|}

== Translating element records ==

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-element PROV-DM Element]

Issues:

* disjointness? https://www.w3.org/2011/prov/track/issues/291

=== Entity ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#dfn-entity PROV-DM] ([http://example.org/entity eg]) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#entity PROV-O] ([http://example.org/entity eg])

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|entity(id, [ attr1=val1, ...])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

Issues:

* https://www.w3.org/2011/prov/track/issues/283

==== Account ====

* (Incompletely) mapped to OWL
* TODO: This needs some explanation

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Account PROV-DM] (eg) <math>\implies</math> [PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object

|-
|account(id, exprs)
|
|
|
|
|-
|
| :id
| :namedGraph
| style="background: white" | a
| style="background: PapayaWhip" | prov:Bundle
|-
|
| :id
| :namedGraph
| style="background: white" | a
| style="background: PapayaWhip" | [https://www.w3.org/2011/prov/track/issues/275 sd:NamedGraph]
|-
|
| :id
| :namedGraph
| style="background: white" | sd:name
| | :id
|-
|
| :id
| :namedGraph
| style="background: white" | sd:graph
| | :graph
|-
|
| :id
| :namedGraph
| style="background: PapayaWhip" | prov:specializationOf
| | :graph
|-
|
| :id
| :namedGraph
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
| :id
| :namedGraph
| attr_n
| val_n
|-
|
| :id
| :rec_1_subject
| :rec_1_predicate
| :rec_1_object
|-
|
| :id
| :rec_2_subject
| :rec_2_predicate
| :rec_2_object
|-
|
| :id
| :rec_n_subject
| :rec_n_predicate
| :rec_n_object

|}

sd:graph rdfs:subPropertyOf prov:specializationOf .

Issues:
* attrs could go on either the Named Graph or the Graph - each is useful.
* Need to outline typical named graph handling - the same graph spreads into different named graphs across the world.

=== Activity ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Activity PROV-DM] ([http://example.org/entity eg]) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#activity PROV-O] ([http://example.org/entity eg])

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object

|-
|activity(id, st, et, [ attr1=val1, ...])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :id
| style="background: PapayaWhip" | prov:startedAtTime
| | st^^xsd:dateTime
|-
|
|
| :id
| style="background: PapayaWhip" | prov:endedAtTime
| | et^^xsd:dateTime
|-
|
|
| :id
| :attr_1
| val1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attrn
| valn
|}

Issues (LHS):
* https://www.w3.org/2011/prov/track/issues/284

=== Agent ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Agent PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#agent PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|agent(id, [ attr1=val1, ...])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Entity
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

==== Person ====

* Mapped to OWL

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|agent(id, [ prov:type=prov:Person, attr_1=val_1, ..., attr_n=val_n])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Person
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color: DarkGray" | a
| style="background: PapayaWhip; color: DarkGray" | prov:Agent
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color: DarkGray" | a
| style="background: PapayaWhip; color: DarkGray" | prov:Entity
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

Uses before defined:

* prov:type

==== Organization ====

* Mapped to OWL

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|agent(id, [ prov:type=prov:Organization, attr_1=val_1, ..., attr_n=val_n])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Organization
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color: DarkGray" | a
| style="background: PapayaWhip; color: DarkGray" | prov:Agent
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color: DarkGray" | a
| style="background: PapayaWhip; color: DarkGray" | prov:Entity
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attrn
| valn
|}

Uses before defined:

* prov:type

==== SoftwareAgent ====

* Mapped to OWL

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|agent(id, [ prov:type=prov:SoftwareAgent, attr_1=val_1, ..., attr_n=val_n])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:SoftwareAgent
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color: DarkGray" | a
| style="background: PapayaWhip; color: DarkGray" | prov:Agent
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color: DarkGray" | a
| style="background: PapayaWhip; color: DarkGray" | prov:Entity
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|

|-
|
|
| :id
| :attr_n
| val_n
|}

Uses before defined:

* prov:type

=== Note ===

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-note PROV-DM] (eg) <math>\implies</math> [[TODO|PROV-O]] (eg)

* Mapped to OWL

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|note(id, [ attr1=val1, ...])
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Note
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

== Translating relation formulas ==

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-relation PROV-DM Relation]

=== Generation ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Generation PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#generation PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasGeneratedBy(id,e,a,t,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e
| style="background: PapayaWhip" | prov:wasGeneratedBy
| | :a
|-
|
|
| :e
| style="background: PapayaWhip" | prov:involved
| | :a
|-
|
|
| :e
| style="background: PapayaWhip" | prov:qualifiedGeneration
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Generation
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:ActivityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:activity
| | :a
|-
|
|
| :id
| style="background: PapayaWhip" | prov:atTime
| | t^^xsd:dateTime
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

prov:wasGeneratedby owl:inverseOf prov:generated .
prov:wasGeneratedBy rdfs:subPropertyOf prov:involved .

Issues:
* https://www.w3.org/2011/prov/track/issues/285
* https://www.w3.org/2011/prov/track/issues/286
* https://www.w3.org/2011/prov/track/issues/287

=== Usage ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Usage PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#usage PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|used(id,a,e,t,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: PapayaWhip" | prov:used
| | :e
|-
|
|
| :a
| style="background: PapayaWhip" | prov:involved
| | :e
|-
|
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :a
| style="background: PapayaWhip" | prov:qualifiedUsage
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Usage
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :e
|-
|
|
| :id
| style="background: PapayaWhip" | prov:atTime
| | t^^xsd:dateTime
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attrn
| val_n

|}

Issues:
* https://www.w3.org/2011/prov/track/issues/288 (Mar 5 2012: Generation and usage have both optional id in WD4/5)

Notes:
* a "hadActivity" from the Involvement to the Activity is intentionally omitted. It's purpose is performed by its inverse "hadQualifiedUsage", which points from an Activity to an Involvement. This is done to maintain the design goal of "Entities and Activities are principle instances" and that the subjects of triples are more principal than objects of triples. -Tim

=== Agent Association ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-ActivityAssociation PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html#wasAssociatedWith PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasAssociatedWith(id,a,ag,pl,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: PapayaWhip" | prov:wasAssociatedWith
| | :ag
|-
|
|
| :a
| style="background: PapayaWhip" | prov:involved
| | :ag
|-
|
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :ag
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| :ag
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :a
| style="background: PapayaWhip" | prov:qualifiedAssociation
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Association
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:AgentInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:agent
| | :ag
|-
|
|
| :id
| style="background: PapayaWhip" | prov:hadPlan
| | :pl
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|-
|
|
| :pl
| style="background: white" | a
| style="background: PapayaWhip" | prov:Plan
|-
|
|
| :pl
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity

|}

prov:Plan rdfs:subClassOf prov:Entity .
# Furthermore, since plans may evolve over time, it may become
# necessary to track their provenance, and hence, plans are entities. WD3

Issues:

* https://www.w3.org/2011/prov/track/issues/203
* https://www.w3.org/2011/prov/track/issues/289

Notes:
* "hadActivity" is excluded; its purpose is fulfilled by prov:hadQualifiedAssociation (the preferred inverse)
* the directionality of wasAssociatedWith follows the same as used: from Activity to Entity, following the goal of "pointing to what has existed longer"

=== Starting ===

* Mapped to OWL

PROV-DM (eg) <math>\implies</math> [PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasStartedBy(id,a,e,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: PapayaWhip" | prov:wasStartedBy
| | :e
|-
|
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| style="color:DarkGray" | :a
| style="color:DarkGray; background: PapayaWhip" | prov:involved
| style="color:DarkGray" | :e
|-
|
|
| :a
| style="background: PapayaWhip" | prov:qualifiedStart
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Start
|-
|
|
| style="color:DarkGray" | :id
| style="color:DarkGray; background: white" | a
| style="color:DarkGray; background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| style="color:DarkGray" | :id
| style="color:DarkGray; background: white" | a
| style="color:DarkGray; background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| style="color:DarkGray" | :id
| style="color:DarkGray; background: white" | a
| style="color:DarkGray; background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :e
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

=== Ending ===

* Mapped to OWL

PROV-DM <math>\implies</math> [PROV-O]

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasEndedBy(id,a,e,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a
| style="background: PapayaWhip" | prov:wasEndedBy
| | :e
|-
|
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| style="color: DarkGray" | :a
| style="color: DarkGray; background: PapayaWhip" | prov:involved
| style="color: DarkGray" | :ag
|-
|
|
| :a
| style="background: PapayaWhip" | prov:qualifiedEnd
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:End
|-
|
|
| style="color:DarkGray;" | :id
| style="color:DarkGray; background: white" | a
| style="color:DarkGray; background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| style="color:DarkGray;" | :id
| style="color:DarkGray; background: white" | a
| style="color:DarkGray; background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| style="color:DarkGray;" | :id
| style="color:DarkGray; background: white" | a
| style="color:DarkGray; background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :ag
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

=== Responsibility ===

TODO: review

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-responsibility PROV-DM] <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#actedOnBehalfOf PROV-O]
{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|actedOnBehalfOf(id,ag2,ag1,a,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :ag2
| style="background: PapayaWhip" | prov:actedOnBehalfOf
| | :ag1
|-
|
|
| :ag2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| :ag2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :ag1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| :ag1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :ag2
| style="background: PapayaWhip" | prov:involved
| | :ag1
|-
|
|
| :ag2
| style="background: PapayaWhip" | prov:qualifiedResponsibility
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Responsibility
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:AgentInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:agent
| | :ag1
|-
|
|
| :id
| style="background: PapayaWhip" | prov:hadActivity
| | :a
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|-
|
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity

|}

Issues:
* https://www.w3.org/2011/prov/track/issues/293
* https://www.w3.org/2011/prov/track/issues/292
* If the prov:activity :a is not given, is :id still a prov:ActivityInvolvement?
* As the binary relationship goes to the agent, should prov:activity be replaced with prov:wasAssociatedWithActivity or similar?

=== Derivation ===

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#Derivation-Relation PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#wasderivedfrom PROV-O] (eg)

https://www.w3.org/2011/prov/track/issues/294

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :e2
| style="background: PapayaWhip" | prov:wasDerivedFrom
| | :e1
|-
|
|
| :e2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :a
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :g2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Generation
|-
|
|
| :g2
| style="background: white" | a
| style="background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| :g2
| style="background: white" | a
| style="background: PapayaWhip" | prov:ActivityInvolvement
|-
|
|
| :g2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :u1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Usage
|-
|
|
| :u1
| style="background: white" | a
| style="background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| :u1
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :u1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:tracedTo
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:involved
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:involved
| | :a
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:qualifiedDerivation
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Derivation
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:InstantaneousEvent
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:wasDerivedBy
| | :a
|-
|
|
| :id
| style="background: PapayaWhip" | prov:hadGeneration
| | :g2
|-
|
|
| :id
| style="background: PapayaWhip" | prov:hadUsage
| | :u1
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

Notes:

This RDF expansion is very verbose because of the infererred
usage/generation links with the activity. The actual derivation is fully
asserted using :e2 prov:qualifiedDerivation :id and :id with its
direct properties.

TODO: Use different colour/font for inferred statements? For instance..
italics? Or can we keep such inference rules separately to avoid
repeating them, including subclass hieararchy? I in many way prefer to
show all superproperties and superclasses, because it would highlight
cases where they might not make sense or is difficult. For instance
above - is prov:Derivation always a prov:ActivityInvolvement?
--Stian

Issue:
* Show what non-activity specific wasDerivedFrom(id, e2, e1,
[attr1=val1]) will look like as well? Introducing usage or generation
will infer a single activity, but it's still possible to do derivation
across multiple activities.

prov:wasDerivedFrom rdfs:subClassOf prov:tracedTo .

==== Revision ====
* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Revision PROV-DM] (eg) <math>\implies</math> [PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasRevisionOf(id,e2,e1,ag,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :e2
| style="background: PapayaWhip" | prov:wasRevisionOf
| | :e1
|-
|
|
| :e2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:wasDerivedFrom
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:tracedTo
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:involved
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:qualifiedRevision
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Revision
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :e1
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

prov:wasRevisionOf rdfs:subPropertyOf prov:wasDerivedFrom .

==== Attribution ====

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#recod-attribution PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#attribution PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasAttributedTo(id,e,ag,attr)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :e
| style="background: PapayaWhip" | prov:wasAttributedTo
| | :ag
|-
|
|
| :e
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :ag
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| :ag
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e
| style="background: PapayaWhip" | prov:tracedTo
| | :ag
|-
|
|
| :e
| style="background: PapayaWhip" | prov:involved
| | :ag
|-
|
|
| :e
| style="background: PapayaWhip" | prov:qualifiedAttribution
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Attribution
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:AgentInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:agent
| | :ag
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

prov:wasAttributedTo rdfs:subPropertyOf prov:tracedTo .

Issues:
* DM is missing "id" to hang attributes from
* https://www.w3.org/2011/prov/track/issues/258
* https://www.w3.org/2011/prov/track/issues/299

==== Quotation ====

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-quotation PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#quotation PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :e2
| style="background: PapayaWhip" | prov:wasQuotedFrom
| | :e1
|-
|
|
| :e2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :ag1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| :ag1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :ag2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Agent
|-
|
|
| :ag2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:wasDerivedFrom
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:tracedTo
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:involved
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:qualifiedQuotation
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Quotation
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :e1
|-
|
|
| :id
| style="background: PapayaWhip" | prov:hadQuoter
| | :ag2
|-
|
|
| :id
| style="background: PapayaWhip" | prov:hadQuoted
| | :ag1
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
| :ag2
|}

Issues:
* DM missing "id"
* https://www.w3.org/2011/prov/track/issues/300

=== Activity Ordering (informed by) ===
* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-OrderingOfActivities PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#wascheduledafter PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasInformedBy(id,a2,a1,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a2
| style="background: PapayaWhip" | prov:wasInformedBy
| | :a1
|-
|
|
| :a2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :a1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :a2
| style="background: PapayaWhip" | prov:involved
| | :a1
|-
|
|
| :a2
| style="background: PapayaWhip" | prov:qualifiedInform
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Inform
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:ActivityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:activity
| | :a1
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

Issues:

* https://www.w3.org/2011/prov/track/issues/297

=== Started by activity ===

* Mapped to OWL

PROV-DM (eg) <math>\implies</math> [[ PROV-O]] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|wasStartedByActivity(id, a2, a1, attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :a2
| style="background: PapayaWhip" | prov:wasStartedByActivity
| | :a1
|-
|
|
| :a2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| :a1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Activity
|-
|
|
| style="color: DarkGray" | :a2
| style="color: DarkGray; background: PapayaWhip" | prov:involved
| style="color: DarkGray" | :a1
|-
|
|
| :a2
| style="background: PapayaWhip" | prov:qualifiedStartByActivity
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:StartByActivity
|-
|
|
| style="color: DarkGray" | :id
| style="color: DarkGray; background: white" | a
| style="color: DarkGray; background: PapayaWhip" | prov:ActivityInvolvement
|-
|
|
| style="color: DarkGray" | :id
| style="color: DarkGray; background: white" | a
| style="color: DarkGray; background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:activity
| | :a1
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

=== Traceability ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-traceability PROV-DM] (eg) <math>\implies</math> [PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|tracedTo(id,e2,e1,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :e2
| style="background: PapayaWhip" | prov:tracedTo
| :e1
|-
|
|
| :e2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:involved
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:qualifiedTrace
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Trace
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :e1
|-
|
|
| :id
| attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| attr_n
| val_n
|}

=== Original Source===
[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-orignal-source PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#originalsource PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|hadOriginalSource(id,e2,e1,attrs)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :e2
| style="background: PapayaWhip" | prov:hadOriginalSource
| | :e1
|-
|
|
| :e2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:wasDerivedFrom
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:tracedTo
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:involved
| | :e1
|-
|
|
| :e2
| style="background: PapayaWhip" | prov:qualifiedSource
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Source
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:EntityInvolvement
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:entity
| | :e1
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

TODO: a Source? a Sourcing? SourceRelation? (e1 is the source, not id!)

=== AlternateOf ===
[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-alternate-specialization PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#alternateOf PROV-O] (eg)

* Mapped to OWL (without attributes)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|alternateOf(alt1,alt2)
|
|
|
|
|-
|style="text-align: right" | ==>
|
| :alt1
| style="background: PapayaWhip" | prov:alternateOf
| | :e2
|-
|
|
| :alt2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :e2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|}

NOTE: Attributes removed by vote on 1 march 2012.

=== SpecializationOf ===
[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-alternate-specialization PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#specializationOf PROV-O] (eg)

* Mapped to OWL (without attributes)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|specializationOf(sub,super)
|
|
|
|
|-
|style="text-align: right" | ==>
|
| :sub
| style="background: PapayaWhip" | prov:specializationOf
| | :super
|-
|
|
| :sub
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|-
|
|
| :super
| style="background: white" | a
| style="background: PapayaWhip" | prov:Entity
|}

NOTE attributes removed by wg vote 1 march 2012.

=== Annotation ===
[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-annotation PROV-DM] (eg) <math>\implies</math> [PROV-O] (eg)

* Mapped to OWL

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|hasAnnotation(r,n)
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :r
| style="background: PapayaWhip" | prov:hasAnnotation
| | :n
|-
|
|
| :n
| style="background: white" | a
| style="background: PapayaWhip" | prov:Note
|}

NOTE: attributes removed by wg vote 1 mar 2012.

Issues:
* https://www.w3.org/2011/prov/track/issues/295

== Further terms in records ==
'''It's not clear to me that we need to spell these out as rules in the mapping. But, it is good to explain how attributes, literals, identifiers, times, etc. in PROV-DM map to PROV-O-compliant RDF. ---[James]'''

=== Attribute ===

* Mapped to OWL (except prov:steps)

http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-attribute PROV-DM] (eg) <math>\implies</math> [[PROV-O]] (eg)

'''Note that the following patterns are implicit in the above rules for the various constructs that carry ids and attributes ---[James]'''

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|...(id, ..., prov:role = myrole)
|
|
|
|
|-
|style="text-align: right" | ==>
|
| :id
| style="background: PapayaWhip" | prov:hadRole
| | :myrole
|-
|
|
| :myrole
| style="background: white" | a
| style="background: PapayaWhip" | prov:Role
|}

<math>
\begin{array}{lcl}
...(id, ..., \texttt{prov:type}=\texttt{prov:SoftwareAgent}) &\to&
\left\{ \begin{array}{lcl}
id & \texttt{a} & \texttt{prov:SoftwareAgent}\ .\\
id & \texttt{a} & \texttt{prov:Agent}\ .\\
id & \texttt{a} & \texttt{prov:Entity}\ .\\
\end{array}\right.
\end{array}
</math>

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|...(id, ..., prov:label = "pretty")
|
|
|
|
|-
| style="text-align: right" | ==>
|
| :myrole
| style="background: white" | rdfs:label
| style="background: PapayaWhip" | "pretty"
|}

=== Identifier ===

As per PROV-DM, an identifier is a qualified name in the same sense as in RDF/SPARQL.

=== Literal ===

PROV-DM literals include values that can be typed by XML Schema basic types, and thus can include URIs (unlike RDF's Literals). Thus, some care may need to be taken here when mapping PROV-DM literals that are URIs.

=== Time ===
[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Time PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#time PROV-O] (eg)

=== Namespace declaration ===

A PROV-DM namespace declaration should be translated to an XML namespace declaration (for RDF/XML); or other RDF serializations the appropriate mechanism should be used.

=== Location ===

* Mapped to OWL

[http://www.w3.org/TR/2012/WD-prov-dm-20120202/#record-Location PROV-DM] (eg) <math>\implies</math> [http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceFormalModel.html#location PROV-O] (eg)

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|...(id, [..., location=loc])
|
|
|
|
|-
|style="text-align: right" | ==>
|
| :id
| style="background: PapayaWhip" | prov:hadLocation
| | :loc
|-
|
|
| :loc
| style="background: white" | a
| style="background: PapayaWhip" | prov:Location
|}

Issues:
* Is prov:Location subclass of wgs:SpatialThing https://www.w3.org/2011/prov/track/issues/296

== Common Relations ==

=== Collections ===

[http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#component5 PROV-DM] (eg) <math>\implies</math> PROV-O

==== Collection insertion ====

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|derivedByInsertionFrom(id, c2, c1, {(key_1, e_1), ..., (key_n, e_n)}, attrs)
|
|
|
|
|-
|
|
| :c2
| style="background: PapayaWhip" | prov:derivedByInsertionFrom
| | :c1
|-
| style="text-align: right" | ==>
|
| :c2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Collection
|-
|
|
| style="color:DarkGray" | :c2
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Entity
|-
|
|
| :c1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Collection
|-
|
|
| style="color:DarkGray" | :c1
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Entity
|-
|
|
| style="color:DarkGray" | :c2
| style="background: PapayaWhip; color:DarkGray" | prov:wasDerivedFrom
| style="color:DarkGray" | :c1
|-
|
|
| style="color:DarkGray" | :c2
| style="background: PapayaWhip; color:DarkGray" | prov:tracedTo
| style="color:DarkGray" | :c1
|-
|
|
| style="color:DarkGray" | :c2
| style="background: PapayaWhip; color:DarkGray" | prov:involved
| style="color:DarkGray" | :c1
|-
|
|
| :c2
| style="background: PapayaWhip" | prov:qualifiedInsertion
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Insertion
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:CollectionInvolvement
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:collection
| | :c1
|-
|
|
| :id
| style="background: PapayaWhip" | prov:inserted
| | :kv_1
|-
|
|
| :kv_1
| style="background: white" | a
| style="background: PapayaWhip" | prov:KeyValuePair
|-
|
|
| :kv_1
| style="background: PapayaWhip" | prov:key
| | "key_1"^^xsd:string
|-
|
|
| :kv_1
| style="background: PapayaWhip" | prov:value
| | :e_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| style="background: PapayaWhip" | prov:inserted
| | :kv_n
|-
|
|
| :kv_n
| style="background: white" | a
| style="background: PapayaWhip" | prov:KeyValuePair
|-
|
|
| :kv_n
| style="background: PapayaWhip" | prov:key
| | "key_n"^^xsd:string
|-
|
|
| :kv_n
| style="background: PapayaWhip" | prov:value
| | :e_n
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

==== Collection removal ====

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|derivedByRemovalFrom(id, c2, c1, {key_1, ... key_n}, attrs)
|
|
|
|
|-
|
|
| :c2
| style="background: PapayaWhip" | prov:derivedByRemovalFrom
| | :c1
|-
| style="text-align: right" | ==>
|
| :c2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Collection
|-
|
|
| style="color:DarkGray" | :c2
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Entity
|-
|
|
| :c1
| style="background: white" | a
| style="background: PapayaWhip" | prov:Collection
|-
|
|
| style="color:DarkGray" | :c1
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Entity
|-
|
|
| style="color:DarkGray" | :c2
| style="background: PapayaWhip; color:DarkGray" | prov:wasDerivedFrom
| style="color:DarkGray" | :c1
|-
|
|
| style="color:DarkGray" | :c2
| style="background: PapayaWhip; color:DarkGray" | prov:tracedTo
| style="color:DarkGray" | :c1
|-
|
|
| style="color:DarkGray" | :c2
| style="background: PapayaWhip; color:DarkGray" | prov:involved
| style="color:DarkGray" | :c1
|-
|
|
| :c2
| style="background: PapayaWhip" | prov:qualifiedRemoval
| | :id
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Removal
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:CollectionInvolvement
|-
|
|
| style="color:DarkGray" | :id
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Involvement
|-
|
|
| :id
| style="background: PapayaWhip" | prov:collection
| | :c1
|-
|
|
| :id
| style="background: PapayaWhip" | prov:removedKey
| | "key_1"^^xsd:string
|-
|
|
| ...
|
|
|-
|
|
| :id
| style="background: PapayaWhip" | prov:removedKey
| | "key_n"^^xsd:string
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

==== Collection membership ====

{| class="wikitable" cellpadding="10" style="background: #E8E8E8"

|-
! PROV-N
! sd:name
! Subject
! Predicate
! Object
|-
|memberOf(id, c, {(key_1, e_1), ..., (key_n, e_n)}, attrs)
|
|
|
|
|-
|
|
| :c2
| style="background: PapayaWhip" | prov:membership
| | :id
|-
| style="text-align: right" | ==>
|
| :c2
| style="background: white" | a
| style="background: PapayaWhip" | prov:Collection
|-
|
|
| style="color:DarkGray" | :c2
| style="background: white; color:DarkGray" | a
| style="background: PapayaWhip; color:DarkGray" | prov:Entity
|-
|
|
| :id
| style="background: white" | a
| style="background: PapayaWhip" | prov:Membership
|-
|
|
| :id
| style="background: PapayaWhip" | prov:member
| | :kv_1
|-
|
|
| :kv_1
| style="background: white" | a
| style="background: PapayaWhip" | prov:KeyValuePair
|-
|
|
| :kv_1
| style="background: PapayaWhip" | prov:key
| | "key_1"^^xsd:string
|-
|
|
| :kv_1
| style="background: PapayaWhip" | prov:value
| | :e_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| style="background: PapayaWhip" | prov:member
| | :kv_n
|-
|
|
| :kv_n
| style="background: white" | a
| style="background: PapayaWhip" | prov:KeyValuePair
|-
|
|
| :kv_n
| style="background: PapayaWhip" | prov:key
| | "key_n"^^xsd:string
|-
|
|
| :kv_n
| style="background: PapayaWhip" | prov:value
| | :e_n
|-
|
|
| :id
| :attr_1
| val_1
|-
|
|
| ...
|
|
|-
|
|
| :id
| :attr_n
| val_n
|}

== Characteristics of Object Properties ==
The table below summarizes the characteristics of the object properties that are defined in the OWL ontology. The question mark symbol is used to denote that the characteristic in question is under discussion by the WG (this is the case for alternateOf where an issue was raised to determine if it is transitive), or because I am not sure whether the property in question is supported bye the object property. I am also using (Yes) and (No) to denote properties that I am not sure of, but for which I am inclined to say yes or no. These also need to be discussed with the rest of the prov-o team. -- khalid

{|style="border-collapse: separate; border-spacing: 0; border-width: 1px; border-style: solid; border-color: #000; padding: 0"
|-
! style="border-style: solid; border-width: 0 1px 1px 0"|
! style="border-style: solid; border-width: 0 1px 1px 0"| Functional
! style="border-style: solid; border-width: 0 1px 1px 0"| Reverse functional
! style="border-style: solid; border-width: 0 1px 1px 0"| Transitive
! style="border-style: solid; border-width: 0 1px 1px 0"| Symmetric
! style="border-style: solid; border-width: 0 1px 1px 0"|Asymmetric
! style="border-style: solid; border-width: 0 1px 1px 0"| Reflexive
! style="border-style: solid; border-width: 0 1px 1px 0"| Irreflexive
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:activity
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hadPlan
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:alternateOf
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:endedAtTime
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:entity
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hadQuotedAgent
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hadQuoterAgent
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasGeneratedBy
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hadRole
|style="border-style: solid; border-width: 0 1px 0 0"|(Yes)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hadLocation
|style="border-style: solid; border-width: 0 1px 0 0"|(Yes)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|(Yes)
|style="border-style: solid; border-width: 0 1px 0 0"|(No)

|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hasAnnotation
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:involved
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:actedOnBehalfOf
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:generated
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:tracedTo
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasAttributedTo
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasDerivedFrom
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:hadOriginalSource
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"|prov:wasQuotedFrom
|style="border-style: solid; border-width: 0 1px 0 0"|(Yes)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasRevisionOf
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes

|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:used
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasAssociatedWith
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasEndedBy
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasStartedBy
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasGeneratedBy
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasInformedBy
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:wasStartedByActivity
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|style="border-style: solid; border-width: 0 1px 0 0"|?
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:atTime
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes

|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:specializationOf
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|(Yes)
|style="border-style: solid; border-width: 0 1px 0 0"|(No)
|-
|style="border-style: solid; border-width: 0 1px 1px 0"| prov:startedAtTime
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|style="border-style: solid; border-width: 0 1px 0 0"|No
|style="border-style: solid; border-width: 0 1px 0 0"|Yes
|}

== WG feedback Feb 2012 ==

http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.02.23#PROV-O_Ontology:_Reviewer_feedback

* http://www.w3.org/2011/prov/track/issues/302 Paolo
* http://www.w3.org/2011/prov/track/issues/303 Paul
* http://www.w3.org/2011/prov/track/issues/304 Simon
* http://www.w3.org/2011/prov/track/issues/305 Jun
* http://www.w3.org/2011/prov/track/issues/306 Luc
* http://www.w3.org/2011/prov/track/issues/307 StephenC

== Questions/problems ==

* The activity record is the only one that mentions additional things besides attributes. This seems odd.
**Proposal: wasStartedBy, wasEndedBy and activity records / times are all under review in PROV-DM, so hopefully this will be addressed.
* It isn't obvious whether we should emit a triple saying that the plan element of an activity is a <math>\texttt{prov:Plan}</math>. I guess this can be inferred if we omit it?
** [Resolved: we give it explicitly]
* In the rule for note, there is no class we can assign to the id. (The obvious idea of using rdfs:comment doesn't work because there's no separate class for the comments, and the range of rdfs:comment is Literal.) Is this a problem?
**Proposed solution: add class prov:Note.
**Resolved: PROV-O now has class Note
* wasGeneratedBy has a time which can be linked to the generated entity by <math>\texttt{prov:wasGeneratedAt}</math>, but I think the time should be linked directly to the id.
**Proposed solution: introduce <math>\texttt{prov:happenedAt}</math>, define <math>\texttt{prov:wasGeneratedAt}</math> as the composition of <math>\texttt{prov:happenedAt}</math> and <math>\texttt{prov:hadQualifiedEntity}</math>.
**Resolved: handling using atTime for now
* used has a time and it's not obvious what this should be linked to in RDF and how. There is no relation for linking the used id to the time.
** Proposed solution: introduce <math>\texttt{prov:happenedAt}</math>.
** Resolved: using atTime for now
* wasStartedBy and wasEndedBy are treated as events (and they have id's and attributes), but there is no class for them.
**Proposed solution: introduce <math>\texttt{prov:ActivityStart}</math> and <math>\texttt{prov:ActivityEnd}</math> as subclasses of QualifiedInvolvement.
** Resolved: using prov:Start and prov:End
* In hasAnnotation, should the attributes be connected to r or to n? Given that the note n can have arbitrary attributes, why does hasAnnotation have additional attributes?
** Proposal: Suggest that DM consider dropping attributes on hasAnnotation and instead recommends subclassing Note to express different kinds of notes.

= From PROV-O to PROV-DM =

Given an instance of PROV-O, we want to compute an instance of PROV-DM that has the "same meaning".

The basic idea is:
# For each node in the RDF graph, check whether the node is an instance of one of the PROV-O classes Entity, Agent, or Activity.
## For each such node, look for the appropriate edges in the prov: namespace needed to fill in the fields of the corresponding PROV-DM record.
## Any additional fields in other namespaces are added as attributes.
# For each of the edges / graph patterns corresponding to PRO-DM relations, look for the corresponding data and generate the appropriate relation.

[TODO: Flesh this out!]