added class pnExpression for provenance notation expressions
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 07 Mar 2012 17:24:10 +0000
changeset 1797 5b4187ee9c86
parent 1796 22edc54bf1be
child 1798 70741716f9c0
added class pnExpression for provenance notation expressions
model/extra.css
model/prov-dm.html
--- a/model/extra.css	Wed Mar 07 12:11:14 2012 +0000
+++ b/model/extra.css	Wed Mar 07 17:24:10 2012 +0000
@@ -258,6 +258,13 @@
     background-color: #f9f9f9;
 }
 
+.pnExpression {
+    font-weight: normal;
+    font-size:120%;
+    font-family: monospace;
+}
+
+
 div[class="grammar"] span[class="name"]:before {
     content: "'";
 }
--- a/model/prov-dm.html	Wed Mar 07 12:11:14 2012 +0000
+++ b/model/prov-dm.html	Wed Mar 07 17:24:10 2012 +0000
@@ -837,10 +837,10 @@
 
 <h2>PROV-DM Core</h2>
 
-<p>In this section, we revisit each concept introduced in <a href='#conceptualization'>Section 2</a>, and provide its detailed definition in the PROV data model, in terms of its various constituents. </p>
+<p>In this section, we revisit each concept introduced in <a href="'#conceptualization'">Section 2</a>, and provide its detailed definition in the PROV data model, in terms of its various constituents. </p>
 
 <p>In PROV-DM, we distinguish elements from relations, which are respectively discussed in 
-<a href='#term-element'>Section 4.1</a> and <a href='#term-relation'>Section 4.2</a>.</p>
+<a href="'#term-element'">Section 4.1</a> and <a href="'#term-relation'">Section 4.2</a>.</p>
 
 <section id="term-element"> 
 <h3>Element</h3>
@@ -854,7 +854,7 @@
 <div class="glossary-ref" ref="glossary-entity" withspan='true'></div>
 
 
-<p><div class="attributes" id="attributes-entity">An entity<span class="withAsn">, written <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN, </span> contains:</p>
+<p><div class="attributes" id="attributes-entity">An entity<span class="withAsn">, written <span class="pnExpression" id="pn-entity">entity(id, [ attr1=val1, ...])</span> in PROV-ASN, </span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>: an identifier for an entity; </li>
 <li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs representing this entity's situation in the world.</li>
@@ -906,7 +906,7 @@
 
 <div class="glossary-ref" ref="glossary-activity" withspan='true'></div>
 
-<p><div class="attributes" id="attributes-activity"> An activity<span class="withAsn">, written <span class="name">activity(id, st, et, [ attr1=val1, ...])</span> in PROV-ASN,</span> contains:</p>
+<p><div class="attributes" id="attributes-activity"> An activity<span class="withAsn">, written <span class="pnExpression" id="pn-activity">activity(id, st, et, [ attr1=val1, ...])</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>: an identifier for an activity;</li>
 <li><span class='attribute'>startTime</span>: an OPTIONAL time for the start of the activity;</li>
@@ -944,7 +944,7 @@
 <div class="glossary-ref" ref="glossary-agent" withspan='true'></div>
 
 
-<p><div class="attributes" id="attributes-agent">An agent<span class="withAsn">, noted <span class="name">agent(id, [ attr1=val1, ...])</span> in PROV-ASN,</span> contains:</p>
+<p><div class="attributes" id="attributes-agent">An agent<span class="withAsn">, noted <span class="pnExpression" id="pn-agent">agent(id, [ attr1=val1, ...])</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>: an identifier for an agent;</li>
 <li><span class='attribute'>attributes</span>: a set of attribute-value pairs representing this agent's situation in the world.
@@ -987,7 +987,7 @@
 trustworthiness of some of the entities or agents involved. Likewise, an interactive visualization component may want to enrich a set of provenance descriptions with information helping reproduce their
 visual representation. To help with interoperability, PROV-DM introduces a simple annotation mechanism allowing anything that is identifiable to be associated with notes.</p>
 
-<p><div class="attributes" id="attributes-note">A <dfn title="dfn-note">note</dfn><span class="withAsn">, noted <span class="name">note(id, [ attr1=val1, ...])</span> in PROV-ASN,</span> contains:</p>
+<p><div class="attributes" id="attributes-note">A <dfn title="dfn-note">note</dfn><span class="withAsn">, noted <span class="pnExpression">note(id, [ attr1=val1, ...])</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>: an identifier for a note;</li>
 <li><span class='attribute'>attributes</span>: a set of attribute-value pairs, whose meaning is application specific.</li>
@@ -1063,7 +1063,7 @@
 <div class="glossary-ref" ref="glossary-generation" withspan='true'></div>
 
 <p>
-<div class="attributes" id="attributes-generation"><dfn title="dfn-Generation">Generation</dfn><span class="withAsn">, written <span class="name">wasGeneratedBy(id,e,a,t,attrs)</span> in PROV-ASN,</span> has the following components:</p>
+<div class="attributes" id="attributes-generation"><dfn title="dfn-Generation">Generation</dfn><span class="withAsn">, written <span class="pnExpression">wasGeneratedBy(id,e,a,t,attrs)</span> in PROV-ASN,</span> has the following components:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for a generation;</li> 
 <li><span class='attribute'>entity</span>:  an identifier for a created entity; </li>
@@ -1113,7 +1113,7 @@
 <div class="glossary-ref" ref="glossary-usage" withspan='true'></div>
 
 
-<p><div class="attributes" id="attributes-usage"><dfn title="dfn-Usage">Usage</dfn><span class="withAsn">, written <span class="name">used(id,a,e,t,attrs)</span> in PROV-ASN,</span> has the following constituents:</p>
+<p><div class="attributes" id="attributes-usage"><dfn title="dfn-Usage">Usage</dfn><span class="withAsn">, written <span class="pnExpression">used(id,a,e,t,attrs)</span> in PROV-ASN,</span> has the following constituents:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for a usage;</li> 
 <li><span class='attribute'>activity</span>: an identifier for the consuming activity;</li>
@@ -1173,7 +1173,7 @@
 href="#term-responsibility">Section Responsibility</a>, is a relation between agents expressing that an agent was acting on behalf of another, in the context of an activity. </p>
 
 
-<p><div class="attributes" id="attributes-activity-association">An <dfn title="dfn-activity-association">activity association</dfn><span class="withAsn">, written <span class="name">wasAssociatedWith(id,a,ag,pl,attrs)</span> in PROV-ASN,</span> has the following
+<p><div class="attributes" id="attributes-activity-association">An <dfn title="dfn-activity-association">activity association</dfn><span class="withAsn">, written <span class="pnExpression">wasAssociatedWith(id,a,ag,pl,attrs)</span> in PROV-ASN,</span> has the following
 constituents:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for the association between an activity and an agent;</li> 
@@ -1217,7 +1217,7 @@
 
 
 
-<p>An activity start<span class="withAsn">, written <span class="name">wasStartedBy(id,a,ag,attrs)</span> in PROV-ASN,</span> contains:</p>
+<p>An activity start<span class="withAsn">, written <span class="pnExpression">wasStartedBy(id,a,ag,attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for the activity start;</li> 
 <li><span class='attribute'>activity</span>: an identifier for the started activity;
@@ -1225,7 +1225,7 @@
 <li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the agent started the activity.
 </ul>
 
-<p>An activity end<span class="withAsn">, written <span class="name">wasEndedBy(id,a,ag,attrs)</span> in PROV-ASN,</span> contains:</p>
+<p>An activity end<span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,ag,attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for the activity end;</li> 
 <li><span class='attribute'>activity</span>: an identifier for the ended activity;
@@ -1291,7 +1291,7 @@
 might be a need to define specific aspects of control that various
 agents exert over a given activity.</p>
 
-<p><div class="attributes" id="attributes-responsibility-chain">A <dfn title="dfn-responsibility-chain">responsibility chain</dfn><span class="withAsn">, written <span class="name">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span> in PROV-ASN,</span> has the following constituents:</p>
+<p><div class="attributes" id="attributes-responsibility-chain">A <dfn title="dfn-responsibility-chain">responsibility chain</dfn><span class="withAsn">, written <span class="pnExpression">actedOnBehalfOf(id,ag2,ag1,a,attrs)</span> in PROV-ASN,</span> has the following constituents:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier for the responsibility chain;</li> 
 <li><span class='attribute'>subordinate</span>: an identifier for the agent associated with an activity, acting on behalf of the responsible
@@ -1394,7 +1394,7 @@
 
 <p>The three kinds of <dfn id="dfn-derivation">derivations</dfn> are successively introduced.  Making use of the attribute <span class="name">steps</span>, we can distinguish the various derivation types.</p>
 
-<p><div class="attributes" id="attributes-derivation">A <dfn>precise-1 derivation</dfn><span class="withAsn">, written <span class="name">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span> in PROV-ASN,</span> contains:</p>
+<p><div class="attributes" id="attributes-derivation">A <dfn>precise-1 derivation</dfn><span class="withAsn">, written <span class="pnExpression">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier  identifying the derivation;</li> 
 <li><span class='attribute'>generatedEntity</span>: the identifier  of the generation entity;</li>
@@ -1410,7 +1410,7 @@
 derivation.</p>
 
 
-<p>An <dfn>imprecise-1 derivation</dfn><span class="withAsn">, written <span class="name">wasDerivedFrom(id, e2,e1, t, attrs)</span> in PROV-ASN,</span> contains:</p>
+<p>An <dfn>imprecise-1 derivation</dfn><span class="withAsn">, written <span class="pnExpression">wasDerivedFrom(id, e2,e1, t, attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier identifying the derivation;</li> 
 <li><span class='attribute'>generatedEntity</span>: the identifier of  the generated entity;</li>
@@ -1421,7 +1421,7 @@
 <p>An imprecise-1 derivation MUST include the attribute <span class="name">prov:steps</span>,  since it is the only means to distinguish this derivation from an imprecise-n derivation.</p>
 
 
-<p>An <dfn>imprecise-n derivation</dfn><span class="withAsn">, written <span class="name">wasDerivedFrom(id, e2, e1, t, attrs)</span> in PROV-ASN,</span> contains:</p>
+<p>An <dfn>imprecise-n derivation</dfn><span class="withAsn">, written <span class="pnExpression">wasDerivedFrom(id, e2, e1, t, attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier  identifying the derivation;</li> 
 <li><span class='attribute'>generatedEntity</span>: the identifier of the generated entity;</li>
@@ -1507,7 +1507,7 @@
   
 
 <p><div class="attributes" id="attributes-alternate">
-An <dfn title="dfn-Alternate">alternate relation</dfn><span class="withAsn">, written <span class="name">alternateOf(alt1, alt2)</span> in PROV-ASN,</span> addresses case (1). It has the following constituents:</p>
+An <dfn title="dfn-Alternate">alternate relation</dfn><span class="withAsn">, written <span class="pnExpression">alternateOf(alt1, alt2)</span> in PROV-ASN,</span> addresses case (1). It has the following constituents:</p>
 
 <ul>
 <li><span class='attribute'>firstAlternate</span>: an identifier of the first of the two entities;</li>
@@ -1528,7 +1528,7 @@
 
 <p>
 <div class="attributes" id="attributes-specialization">
-A <dfn title="dfn-Specialization">specialization relation</dfn><span class="withAsn">, written <span class="name">specializationOf(sub, super)</span> in PROV-ASN,</span> addresses case  (2). It  has the following constituents:</p>
+A <dfn title="dfn-Specialization">specialization relation</dfn><span class="withAsn">, written <span class="pnExpression">specializationOf(sub, super)</span> in PROV-ASN,</span> addresses case  (2). It  has the following constituents:</p>
 
 <ul>
 <li><span class='attribute'>specializedEntity</span>: an identifier of the specialized entity;</li>
@@ -1569,7 +1569,7 @@
 annotated. The annotation mechanism (with note and annotation) forms a key aspect of the extensibility mechanism of PROV-DM (see <a
 href="#extensibility-section">extensibility section</a>).</p> 
 
-<p>An <dfn title="dfn-annotation">annotation relation</dfn><span class="withAsn">, written <span class="name">hasAnnotation(r,n)</span> in PROV-ASN,</span> has the following constituents:</p>
+<p>An <dfn title="dfn-annotation">annotation relation</dfn><span class="withAsn">, written <span class="pnExpression">hasAnnotation(r,n)</span> in PROV-ASN,</span> has the following constituents:</p>
 <ul>
 <li><span class='attribute'>something</span>: the identifier of something being annotated;</li>
 <li><span class='attribute'>note</span>: an identifier of a note.</li>
@@ -1831,7 +1831,7 @@
  The agent who is responsible for the revision may optionally be specified.
  Revision is a particular case of  <a href="#Derivation-Relation">derivation</a> of an entity into its revised version.</p>
 
-<p> A revision relation<span class="withAsn">, written <span class="name">wasRevisionOf(id,e2,e1,ag,attrs)</span> in PROV-ASN,</span> contains:</p>
+<p> A revision relation<span class="withAsn">, written <span class="pnExpression">wasRevisionOf(id,e2,e1,ag,attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li> 
 <li><span class='attribute'>newer</span>: the identifier of the revised  entity;
@@ -1866,7 +1866,7 @@
 
 <p><dfn id="dfn-attribution">Attribution</dfn> is the ascribing of an entity to an agent. More precisely, when an entity  <span class="name">e</span> is attributed to agent  <span class="name">ag</span>, entity <span class="name">e</span> was generated by some activity <span class="name">a</span>, which in turn was associated to agent  <span class="name">ag</span>. Thus, this relation is useful when the activity is not known, or irrelevant.
 
-<p> An attribution relation<span class="withAsn">, written <span class="name"> wasAttributedTo(id,e,ag,attr)</span> in PROV-ASN,</span> contains the following elements:</p>
+<p> An attribution relation<span class="withAsn">, written <span class="pnExpression"> wasAttributedTo(id,e,ag,attr)</span> in PROV-ASN,</span> contains the following elements:</p>
 <ul>
 <li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li> 
 <li><span class='attribute'>entity</span>: an entity identifier;</li>
@@ -1902,7 +1902,7 @@
 
 <p>
 An information flow ordering relation<span class="withAsn">, written as 
-<span class="name">wasInformedBy(id,a2,a1,attrs)</span> in PROV-ASN,</span> contains: 
+<span class="pnExpression">wasInformedBy(id,a2,a1,attrs)</span> in PROV-ASN,</span> contains: 
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier  identifying the relation;</li> 
 <li><span class='attribute'>informed</span>: the identifier of the informed activity;
@@ -1926,7 +1926,7 @@
 
 <p>
 A control ordering relation<span class="withAsn">, written as 
-<span class="name">wasStartedBy(id, a2, a1, attrs)</span> in PROV-ASN,</span> contains: </p>
+<span class="pnExpression">wasStartedBy(id, a2, a1, attrs)</span> in PROV-ASN,</span> contains: </p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier of the relation;</li> 
 <li><span class='attribute'>started</span>: the identifier of  the started activity;
@@ -1957,7 +1957,7 @@
 some responsibility for  <span class="name">e2</span>'s existence.
 
 
-<p> A traceability relation<span class="withAsn">, written <span class="name">tracedTo(id,e2,e1,attrs)</span> in PROV-ASN,</span> contains:</p>
+<p> A traceability relation<span class="withAsn">, written <span class="pnExpression">tracedTo(id,e2,e1,attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier identifying the relation;</li> 
 <li><span class='attribute'>entity</span>:  an identifier identifying an entity;
@@ -1997,7 +1997,7 @@
 someone other that its original author. Quotation
  is a particular case of  <a href="#Derivation-Relation">derivation</a> in which entity <span class="name">e2</span> is derived from entity <span class="name">e1</span> by copying, or "quoting", parts of it.</p>
 
-<p>  A quotation relation<span class="withAsn">, written <span class="name"> wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span> in PROV-ASN,</span> contains:</p>
+<p>  A quotation relation<span class="withAsn">, written <span class="pnExpression"> wasQuotedFrom(id,e2,e1,ag2,ag1,attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>: an OPTIONAL identifier for the relation;</li> 
 <li><span class='attribute'>quote</span>:  an identifier  of the entity that represents the quote (the partial copy);
@@ -2018,7 +2018,7 @@
 
 <p> An <dfn>original source relation</dfn> is a particular case of <a href="#Derivation-Relation">derivation</a> that states that an entity <span class="name">e2</span> (derived) was originally part of some other entity <span class="name">e1</span> (the original source).</p>
 
-<p> An original source relation<span class="withAsn">, written <span class="name"> hadOriginalSource(id,e2,e1,attrs)</span>,</span> contains:</p>
+<p> An original source relation<span class="withAsn">, written <span class="pnExpression"> hadOriginalSource(id,e2,e1,attrs)</span>,</span> contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier identifying the relation;</li> 
 <li><span class='attribute'>derived</span>: an identifier for the derived entity; </li>
@@ -2070,7 +2070,7 @@
 </div>
 
 
-<p> A relation CollectionAfterInsertion<span class="withAsn">, written <span class="name"> CollectionAfterInsertion(collAfter, collBefore, key, value)</span>,</span> contains:</p>
+<p> A relation CollectionAfterInsertion<span class="withAsn">, written <span class="pnExpression"> CollectionAfterInsertion(collAfter, collBefore, key, value)</span>,</span> contains:</p>
 <ul>
 <li><span class='attribute'>after</span>: an identifier for the collection <em>after</em> insertion; </li>
 <li><span class='attribute'>before</span>: an identifier for the collection <em>before</em> insertion;</li>
@@ -2078,7 +2078,7 @@
 <li><span class='attribute'>value</span>: an identifier  for the value that has been inserted with the key.</li>
 </ul>
 
-<p> A relation CollectionAfterDeletion, written <span class="name"> CollectionAfterDeletion(collAfter, collBefore, key)</span>, contains:</p>
+<p> A relation CollectionAfterDeletion, written <span class="pnExpression"> CollectionAfterDeletion(collAfter, collBefore, key)</span>, contains:</p>
 <ul>
 <li><span class='attribute'>after</span>: an identifier  for the collection  <em>after</em> the deletion; </li>
 <li><span class='attribute'>before</span>: an identifier  for the collection <em>before</em> the deletion;</li>