minor edits to formal semantics
authorSatya Sahoo <satya.sahoo@case.edu>
Tue, 15 Nov 2011 14:13:19 -0500
changeset 907 a0e671e825cf
parent 906 aa8fb2bf2bbd
child 908 486ed0ddaf18
minor edits to formal semantics
ontology/ProvenanceFormalModel.html
--- a/ontology/ProvenanceFormalModel.html	Tue Nov 15 18:23:38 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html	Tue Nov 15 14:13:19 2011 -0500
@@ -729,6 +729,8 @@
 				&lt;/rdf:Description&gt;	
 			</pre>
 		  </div>
+		<div class='issue'> There is proposal to either rename wasScheduledAfter or clarify its definition in PROV-DM. These are issues <a href="http://www.w3.org/2011/prov/track/issues/148">Issue-148</a>
+		  </div>
         </section>
 
 		
@@ -947,28 +949,7 @@
 					&lt;/rdf:Description&gt;	
 				</pre>
 			  </div>	    	
-	    </section>
-
-		 
-		 <section>
-			<h4>Properties under Discussion</h4>
-				<p>Temporary section for terms not part of "core" ontology.</p>
-				<section id="followed">
-					  <h4>followed</h4>
-				      <p>The followed links two instances of ProcessExecution to model ordering of the ProcessExecution instances.</p>
-				      <img src="diagram-history/khalidDiagrams/followed.png" 
-		               style="height: 3em"  alt="followed links ProcessExecution to ProcessExecution" />
-					  <div><b>Example</b></div>
-					  <p> Example of followed property from the <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> is <i>pe4 followed pe1</i>. The RDF/XML syntax for asserting this is given below.</p>		
-					  <div class="exampleOuter">
-						<pre class="example">
-							&lt;rdf:Description rdf:about="http://www.example.com/crimeFile#pe4"&gt;
-								&lt;prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe1"/&gt;
-							&lt;/rdf:Description&gt;	
-						</pre>
-					  </div>
-				</section>
-		 </section>		
+	    </section>		
       </section>
 
 		<section id="characteristics-of-object-properties">
@@ -1853,7 +1834,7 @@
 			  &lt;/rdf:Description&gt;
 		  </pre>
 		</div>
-		<p>we can infer that</p>
+		<p>we can infer the following</p>
 		<div class="exampleOuter">
 		  <pre class="example">
 			  &lt;rdf:Description rdf:about="http://www.example.com/crimeFile#Alice"&gt;