pubrules
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 19 Apr 2012 22:50:40 +0100
changeset 2405 cc01c1241fd5
parent 2404 c6fb6f3fb1fa
child 2406 036ecd4e939f
pubrules
model/extra.css
model/prov-dm.html
--- a/model/extra.css	Thu Apr 19 22:29:42 2012 +0100
+++ b/model/extra.css	Thu Apr 19 22:50:40 2012 +0100
@@ -232,7 +232,7 @@
     padding-top: 1ex;
     padding-bottom: 0.6ex;
     border: 1px dashed #2f6fab;
-    font-size:80%;  /* reduced grammar font */
+    font-size: 80%;
 }
 .nonterminal {
     font-weight: bold;
--- a/model/prov-dm.html	Thu Apr 19 22:29:42 2012 +0100
+++ b/model/prov-dm.html	Thu Apr 19 22:50:40 2012 +0100
@@ -371,7 +371,7 @@
 <div style="text-align: left;">
 <table border="1" style="margin-left: auto; margin-right: auto;">
 <caption id="namespace-table">Table 1: Prefix and Namespaces used in this specification</caption>
-<tr><td><a><bf>prefix</bf></a></td><td><bf>namespace uri</bf></td> <td><bf>definition</bf></td></tr>
+<tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
 <tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#term-NamespaceDeclaration">4.7.1</a>)</td></tr>
 <tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [[!XMLSCHEMA-2]]</td></tr>
 <tr><td><a>rdf</a></td><td>http://www.w3.org/1999/02/22-rdf-syntax-ns#</td><td>The RDF namespace  [[!RDF-CONCEPTS]]</td></tr>
@@ -405,7 +405,7 @@
 type="button" value="Show Concept Examples" /> 
 </p> 
 </form> 
-</div>     
+
 
 
 
@@ -991,7 +991,7 @@
 <p><a href="#prov-dm-types-and-relations">Table 4</a> is a complete index of all the types and relations of PROV-DM, color-coded according to the component they belong to.  In the first column,  concept names  link to their informal definition, whereas, in the second column, representations link to the information used to represent the concept.</p>
 
 
-<div id="prov-dm-types-and-relations" style="text-align: left;">
+<div id="prov-dm-types-and-relations-fig" style="text-align: left;">
 <table border="1" style="margin-left: auto; margin-right: auto;">
 <caption id="prov-dm-types-and-relations">Table 4: PROV-DM Types and Relations</caption>
 <tr><td><a><b>Type or Relation Name</b></a></td><td><b>Representation in the PROV-N notation</b></td></tr>
@@ -1266,7 +1266,7 @@
 <div class="glossary-ref" data-ref="glossary-end"></div>
 
 
-<p>An activity <dfn title="wasEndedBy">end</dfn><span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,t,attrs)</span> in PROV-N,</span> has:</p>
+<p><div class="attributes" id="attributes-start">An activity <dfn title="wasEndedBy">end</dfn><span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,t,attrs)</span> in PROV-N,</span> has:</p>
 <ul>
 <li><span class='attribute' id="end.id">id</span>:  an OPTIONAL identifier for the activity end;</li> 
 <li><span class='attribute' id="end.activity">activity</span>: an identifier (<span class="name">a</span>) for the ended activity;
@@ -1274,6 +1274,7 @@
 <li><span class='attribute' id="end.time">time</span>: the OPTIONAL time (<span class="name">t</span>) at which the activity was ended; </li> 
 <li><span class='attribute' id="end.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this activity end.
 </ul>
+</div>
 
 <div class="anexample">
 <p>
@@ -1291,13 +1292,13 @@
 <section id="term-Invalidation">
 <h4>Invalidation</h4>
 
-<p>
+
 <div class="glossary-ref" data-ref="glossary-invalidation"></div>
-</p>
+
 
 
 <p>
-Entities have a duration. Generation marks the beginning of an entity. The end of an entity can occur for different reasons.
+Entities have a duration. Generation marks the beginning of an entity. The end of an entity can occur for different reasons.</p>
 <ul>
 <li> an entity was destroyed: e.g. a painting was destroyed by fire; a Web page is taken out of a site;
 <li> an entity was consumed: e.g. Bob ate all his soup, Alice ran out of gas when driving to work;
@@ -1305,12 +1306,12 @@
 <li> an entity is time limited: e.g. the BBC news site on April 3rd, 2012;
 <li> an entity attribute is changing: e.g. the traffic light changed from green to red.
 </ul>
-In the first two cases, the entity has physically disappeared after its termination: there is no more soup, or painting.  In the last two cases, there may be an "offer voucher" that still exists, but it is no longer valid; likewise, on April 4th, the BBC news site still exists but it is not the same entity as BBC news Web site on April 3rd; or the traffic light became red and therefore is regarded as a different entity to the green light.
+<p>In the first two cases, the entity has physically disappeared after its termination: there is no more soup, or painting.  In the last two cases, there may be an "offer voucher" that still exists, but it is no longer valid; likewise, on April 4th, the BBC news site still exists but it is not the same entity as BBC news Web site on April 3rd; or the traffic light became red and therefore is regarded as a different entity to the green light.
 </p>
 
 
 
-<p>
+
 <div class="attributes" id="attributes-invalidation"><dfn title="wasInvalidatedBy">Invalidation</dfn><span class="withPn">, written <span class="pnExpression">wasInvalidatedBy(id,e,a,t,attrs)</span> in PROV-N,</span> has:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for a invalidation;</li> 
@@ -1493,15 +1494,15 @@
 There are three types of agents that are common across most anticipated domains of use; It is acknowledged that these types do not cover all kinds of agent. </p>
 <ul>
 <li><span class="name">SoftwareAgent</span>
-<div class="glossary-ref" data-ref="glossary-software-agent"></li>
-
-<p>
+<div class="glossary-ref" data-ref="glossary-software-agent">
+
+<p></li>
 
 <li><span class="name">Organization</span>
 
-<div class="glossary-ref" data-ref="glossary-organization"></li>
-
-<p>
+<div class="glossary-ref" data-ref="glossary-organization">
+
+<p></li>
 
 <li><span class="name">Person</span>