issue-459 simon
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 07 Aug 2012 11:20:16 +0100
changeset 4287 797e4df1f14b
parent 4286 30e02ac41535
child 4288 233d9c46d189
issue-459 simon
model/comments/issue-459-simon.txt
model/prov-constraints.html
--- a/model/comments/issue-459-simon.txt	Tue Aug 07 11:10:14 2012 +0100
+++ b/model/comments/issue-459-simon.txt	Tue Aug 07 11:20:16 2012 +0100
@@ -272,18 +272,34 @@
    > not. Are the three terms existential variables or constants? If "t1"
    > and "t2" are of a different kind to "a", can this be indicated,
    > e.g. "_t1" instead of "t1"? 
+
+
+Updated text as follows: 
+
+For example, suppose we have two activity statements activity(a,2011-11-16T16:00:00,_t1,[a=1]) and activity(a,_t2,2011-11-16T18:00:00,[b=2]), with existential variables _t1 and _t2. The merge of these two statements (describing the same activity a) is activity(a,2011-11-16T16:00:00,2011-11-16T18:00:00,[a=1,b=2])
+
    > 
    > L. Section 5.1, paragraph 2: What is an "unordered list"? Do you mean
    > a list for which the order has no meaning? If so, why would you not
    > say "set"? What is the relevant difference? 
+
[email protected]: 
+
+prov-dm defines attributes as "set of attribute-value pairs "
+I would replace unordered list by set here? ok?
+
    > 
    > Typos
    > -----
    > Section 1.1, paragraph 2: "Some of these ariables"
-   > Remark under Definition 3: What does the "also" refer to in "There are also no..."?
+   > Remark under Definition 3: What does the "also" refer to in
+   > "There are also no..."?
    > Sentence above Inference 8: "activity statemen,t"
    > Sentence above Constraint 45: "specalizes"
    > Sentence above Constraint 46: "specalizes"
+
+done.
+
    > 
    > Thanks,
    > Simon
--- a/model/prov-constraints.html	Tue Aug 07 11:10:14 2012 +0100
+++ b/model/prov-constraints.html	Tue Aug 07 11:20:16 2012 +0100
@@ -1261,7 +1261,7 @@
    form is not defined in terms of the long form in this case.</p>-->
 
   <p>
-There are no expansion rules for entity, agent, communiction,
+There are no expansion rules for entity, agent, communication,
  attribution, influence, alternate, or specialization, because these
  have no optional parameters aside from the identifier and attributes,
  which are expanded by the rules in <a class="rule-ref" href="#optional-attributes"><span>TBD</span></a>.  </p>
@@ -2021,8 +2021,8 @@
     statements, due to inferences.  Uniqueness constraints are
     enforced through <a>merging</a> pairs of statements subject to
     equalities.  For example, suppose we have two activity statements
-    <span class="name">activity(a,2011-11-16T16:00:00,t1,[a=1])</span> and <span
-    class="name">activity(a,t2,2011-11-16T18:00:00,[b=2])</span>.  The <a>merge</a> of
+    <span class="name">activity(a,2011-11-16T16:00:00,_t1,[a=1])</span> and <span
+    class="name">activity(a,_t2,2011-11-16T18:00:00,[b=2])</span>, with existential variables <span class="name">_t1</span> and <span class="name">_t2</span>.  The <a>merge</a> of
     these two statements (describing the same activity <span
     class="name">a</span>) is <span
     class="name">activity(a,2011-11-16T16:00:00,2011-11-16T18:00:00,[a=1,b=2])</span>.  </p>