--- a/model/prov-constraints.html Mon Sep 03 15:41:04 2012 +0100
+++ b/model/prov-constraints.html Mon Sep 03 15:46:35 2012 +0100
@@ -685,7 +685,7 @@
over which relevant attributes of the thing are not fixed, a PROV
instance would describe multiple entities, each with its own
identifier, <a>lifetime</a>, and fixed attributes, and express dependencies between
- the various entities using <i><a href="instantaneous event">events</a></i>. For example, in order to
+ the various entities using <i><a title="instantaneous event">events</a></i>. For example, in order to
describe the provenance of several versions of a document, involving
attributes such as authorship that change over time, one can use
different entities for the versions linked by appropriate
@@ -798,7 +798,7 @@
</p>
<div id="typing-table-fig">
- <table id="typing-table" class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
+ <table id="typing-table" border=1 class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
<caption id="typing-table-caption">Table 1: Summary of Typing Constraints</caption>
<tr>
<th>In relation...</th>
@@ -808,172 +808,172 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
- <tr align="center" >
+ <tr style="text-align: center; " >
<td class="name">entity(e,attrs)</td>
- <td class="name" align="center">e</td>
+ <td class="name" style="text-align: center; ">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center" >
+ <tr style="text-align: center; " >
<td class="name">activity(a,t1,t2,attrs)</td>
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center" >
+ <tr style="text-align: center; " >
<td class="name">agent(ag,attrs)</td>
<td class="name">ag</td>
<td class="name">'agent'</td>
</tr>
- <tr align="center" >
+ <tr style="text-align: center; " >
<td rowspan="2" class="name">used(id; a,e,t,attrs)</td>
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center" >
+ <tr style="text-align: center; " >
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center" >
+ <tr style="text-align: center; " >
<td rowspan="2" class="name">wasGeneratedBy(id; e,a,t,attrs)</td>
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="2" class="name">wasInformedBy(id; a2,a1,attrs)</td>
<td class="name">a2</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a1</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan=3 class="name">wasStartedBy(id; a2,e,a1,t,attrs)</td>
<td class="name">a2</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a1</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="3" class="name">wasEndedBy(id; a2,e,a1,t,attrs)</td>
<td class="name">a2</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a1</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="2" class="name">wasInvalidatedBy(id; e,a,t,attrs)</td>
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="3" class="name">wasDerivedFrom(id; e2,e1,a,g,u,attrs)</td>
<td class="name">e2</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e1</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="2" class="name">wasAttributedTo(id; e,ag,attr)</td>
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">ag</td>
<td class="name">'agent'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="3" class="name">wasAssociatedWith(id; a,ag,pl,attrs)</td>
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">ag</td>
<td class="name">'agent'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">pl</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="3" class="name">actedOnBehalfOf(id; ag2,ag1,a,attrs)</td>
<td class="name">ag2</td>
<td class="name">'agent'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">ag1</td>
<td class="name">'agent'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">a</td>
<td class="name">'activity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="2" class="name">alternateOf(e1,e2)</td>
<td class="name">e1</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e2</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="2" class="name">specializationOf(e1,e2)</td>
<td class="name">e1</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e2</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="3" class="name">mentionOf(e1,e2,b)</td>
<td class="name">e1</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e2</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">b</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td rowspan="2" class="name">hadMember(c,e)</td>
<td class="name">c</td>
<td class="name">'entity'<br /> 'prov:Collection'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">e</td>
<td class="name">'entity'</td>
</tr>
- <tr align="center">
+ <tr style="text-align: center; ">
<td class="name">entity(c,[prov:type='prov:EmptyCollection,...])</td>
<td class="name">c</td>
<td class="name">'entity'<br /> 'prov:Collection' <br /> 'prov:EmptyCollection'</td>