--- a/model/ProvenanceModel.html Mon Sep 19 09:51:22 2011 +0100
+++ b/model/ProvenanceModel.html Mon Sep 19 09:55:57 2011 +0100
@@ -395,13 +395,13 @@
<p>
Entity Expressions (described in <a href="#expression-Entity">Section Entity</a>). The file in its various forms and its copies are modelled as entity expressions, corresponding to multiple characterizations, as per scenario. The entity expressions are identified by <span class="name">e0</span>, ..., <span class="name">e6</span>.
<pre>
-entity(e0, [ type= "File", location= "/shared/crime.txt", creator= "Alice" ])
-entity(e1, [ type= "File", location= "/shared/crime.txt", creator= "Alice", content= "" ])
-entity(e2, [ type= "File", location= "/shared/crime.txt", creator= "Alice", content= "There was a lot of crime in London last month."])
-entity(e3, [ type= "File", location= "/shared/crime.txt", creator= "Alice", content= "There was a lot of crime in London and New York last month."])
+entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
+entity(e1, [ type="File", location="/shared/crime.txt", creator="Alice", content="" ])
+entity(e2, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London last month."])
+entity(e3, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London and New York last month."])
entity(e4, [ ])
entity(e5, [ ])
-entity(e6, [ type= "File", location= "/shared/crime.txt", creator= "Alice", content= "There was a lot of crime in London and New York last month.", spellchecked= "yes"])
+entity(e6, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London and New York last month.", spellchecked="yes"])
</pre>
</p>
@@ -488,19 +488,19 @@
<p>
Agent Expressions (described at <a href="#expression-Agent">Section Agent</a>): the various users are represented as agents, themselves being a type of entity.
<pre>
-entity(a1, [ type= "Person", name= "Alice" ])
+entity(a1, [ type="Person", name="Alice" ])
agent(a1)
-entity(a2, [ type= "Person", name= "Bob" ])
+entity(a2, [ type="Person", name="Bob" ])
agent(a2)
-entity(a3, [ type= "Person", name= "Charles" ])
+entity(a3, [ type="Person", name="Charles" ])
agent(a3)
-entity(a4, [ type= "Person", name= "David" ])
+entity(a4, [ type="Person", name="David" ])
agent(a4)
-entity(a5, [ type= "Person", name= "Edith" ])
+entity(a5, [ type="Person", name="Edith" ])
agent(a5)
</pre>
</p>
@@ -622,15 +622,15 @@
-<p>An instance of an entity expression, noted <span class="name">entity(id, [ attr1= val1, ...])</span> in PROV-ASN:
+<p>An instance of an entity expression, noted <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN:
<ul>
<li> contains an identifier <span class="name">id</span> identifying a characterized thing;</li>
-<li> contains a set of attribute-value pairs <span class="name">[ attr1= val1, ...]</span>, representing this characterized thing's situation in the world.</li>
+<li> contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this characterized thing's situation in the world.</li>
</ul>
</p>
<p>
-The assertion of an instance of an entity expression, <span class="name">entity(id, [ attr1= val1, ...])</span>, states, from a given asserter's viewpoint, the existence of an identifiable characterized thing, whose situation in the world is represented by the attribute-value pairs, which remain unchanged during a characterization interval, i.e. a continuous interval between two events in the world.
+The assertion of an instance of an entity expression, <span class="name">entity(id, [ attr1=val1, ...])</span>, states, from a given asserter's viewpoint, the existence of an identifiable characterized thing, whose situation in the world is represented by the attribute-value pairs, which remain unchanged during a characterization interval, i.e. a continuous interval between two events in the world.
</p>
@@ -638,7 +638,7 @@
<p>
The following entity assertion,
<pre class="example">
-entity(e0, [ type = "File", location = "/shared/crime.txt", creator = "Alice" ])
+entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
</pre>
states the existence of a thing of type File and location /shared/crime.txt, and creator alice, denoted by identifier e0, during some characterization interval.
</p>
@@ -707,13 +707,13 @@
<p>The activity that a process execution expression is a representation of has a duration, delimited by its start and its end events; hence, it occurs over an interval delimited by two events. However, a process execution expression need not mention time information, nor duration, because they may not be known. Further characteristics of the activity in the world world can be represented by the attribute-value pairs, which remain unchanged during the activity duration.</p>
-<p> An instance of a process execution expression, noted <span class="name">processExecution(id, rl, st, et, [ attr1= val1, ...])</span> in PROV-ASN:
+<p> An instance of a process execution expression, noted <span class="name">processExecution(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN:
<ul>
<li> contains an identifier <span class="name">id</span>;
<li> MAY contain a <a href="#expression-RecipeLink">recipe link</a> <span class="name">rl</span>;
<li> MAY contain a start time <span class="name">st</sp1an>;
<li> MAY contain an end time <span class="name">et</span>;
-<li> contains a set of attribute-value pairs <span class="name">[ attr1= val1, ...]</span>, representing other attributes of this activity that hold for its all duration.</li>
+<li> contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing other attributes of this activity that hold for its all duration.</li>
</ul>
</p>
@@ -777,7 +777,7 @@
With the following assertions,
<pre class="example">
-entity(e1, [employee= "1234", name= "Alice"]) and agent(e1)
+entity(e1, [employee="1234", name="Alice"]) and agent(e1)
entity(e2) and wasControlledBy(pe,e2,qualifier(role="author"))
</pre>
@@ -1737,7 +1737,7 @@
<pre class="example">
account(acc0,
http://x.com/asserter,
- entity(e0, [ type= "File", location= "/shared/crime.txt", creator= "Alice" ])
+ entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
...
wasDerivedFrom(e2,e1)
...
@@ -1792,7 +1792,7 @@
<pre class="example">
account(acc2,
http://x.com/asserter2,
- entity(e0, [ type= "File", location= "/shared/crime.txt", creator= "Alice" ])
+ entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
...
processExecution(pe1,create-file,t1)
...
@@ -1808,12 +1808,12 @@
<pre class="example">
account(acc3,
http://x.com/asserter1,
- entity(e0, [ type= "File", location= "/shared/crime.txt", creator= "Alice" ])
+ entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
processExecution(pe0,create-file,t)
wasGeneratedBy(e0,pe0,outFile)
account(acc4,
http://x.com/asserter2,
- entity(e1, [ type= "File", location= "/shared/crime.txt", creator= "Alice", content="" ])
+ entity(e1, [ type="File", location="/shared/crime.txt", creator="Alice", content="" ])
processExecution(pe0,copy-file,t)
wasGeneratedBy(e1,pe0,outFile)
isComplement(e1,e0)))