--- a/model/ProvenanceModel.html Tue Nov 29 10:27:38 2011 +0000
+++ b/model/ProvenanceModel.html Tue Nov 29 10:33:54 2011 +0000
@@ -1048,7 +1048,8 @@
<p>An <dfn id="dfn-Agent">agent record</dfn> is a representation of an agent, which is an entity that can be assigned some degree of responsibility for an activity taking place.</p>
-<p>Many agents can have an association with a given activity. An agent may do the ordering of the activity, another agent may do its design, another agent may push the button to start it, another agent may run it, etc. As many agents as one wishes to mention in the provenance record if it is important to indicate that they were associated with the activity. </p>
+<p>Many agents can have an association with a given activity. An agent may do the ordering of the activity, another agent may do its design, another agent may push the button to start it, another agent may run it, etc.
+As many agents as one wishes to mention can occur in the provenance record, if it is important to indicate that they were associated with the activity. </p>
<p>
From an inter-operability perspective, it is useful to define some basic categories of agents since
@@ -1062,6 +1063,12 @@
</ul>
<p>These types are mutually exclusive, though they do not cover all kinds of agent. </p>
+<p>An agent record, noted <span class="name">agent(id, [ attr1=val1, ...])</span> in PROV-ASN, contains:</p>
+<ul>
+<li><em>id</em>: an identifier <span class="name">id</span> identifying an agent;</li>
+<li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this agent's situation in the world.</li>
+</ul>
+
<p>In PROV-ASN, an agent record's text matches the <span class="nonterminal">agentRecord</span> production of the grammar defined in this specification document.
</p>
@@ -1080,14 +1087,6 @@
-<p> An agent record, written <span class="name">agent(e)</span> in PROV-ASN,
- refers to an entity record denoted by identifier <span class="name">e</span> and representing the entity capable of activity.
-</p>
-
-<p>One can assert an agent record or alternatively, one can infer an agent record
-by involvement in an activity represented by an activity record. </p>
-
-
<div class="anexample">
<p>With the following assertions,</p>
@@ -1101,12 +1100,15 @@
<p>the agent record identified by <span class="name">e1</span> is an explicit agent assertion that holds irrespective of activities it may be associated with. On the other hand, from the entity records identified by <span class="name">e2</span> and <span class="name">e3</span>, one can infer agent records, as per the following inference.</p>
</div>
+<p>One can assert an agent record or alternatively, one can infer an agent record
+by its association with an activity. </p>
+
<div class='constraint' id='association-agent'>
-<span class='conditional'>If</span> the records <span class="name">entity(e,av)</span>
+<span class='conditional'>If</span> the records <span class="name">entity(e,attrs)</span>
and
-<span class="name">wasAssociatedWith(pe,e)</span> hold for some identifiers
-<span class="name">pe</span>, <span class="name">e</span>, and attribute-values <span class="name">av</span>, then
-the record <span class="name">agent(e)</span> also holds.
+<span class="name">wasAssociatedWith(a,e)</span> hold for some identifiers
+<span class="name">a</span>, <span class="name">e</span>, and attribute-values <span class="name">attrs</span>, then
+the record <span class="name">agent(e,attrs)</span> also holds.
</div>
</section>