--- a/ontology/ProvenanceFormalModel.html Mon Oct 03 23:55:57 2011 +0200
+++ b/ontology/ProvenanceFormalModel.html Tue Oct 04 00:03:58 2011 +0200
@@ -507,7 +507,6 @@
</rdf:Description>
</pre>
</div>
- <p>The following diagram illustrates the above example: </p>
</section>
<section>
<h5>cf:CrimeFile</h5>
@@ -520,7 +519,6 @@
</rdf:Description>
</pre>
</div>
- <p>The following diagram illustrates the above example: </p>
</section>
<section>
<h5>cf:FileCreation, cf:FileEditing, cf:FileAppending, cf:EmailProcessExecution, cf:SpellChecking</h5>
@@ -532,7 +530,13 @@
</rdf:Description>
</pre>
</div>
- <p>The following diagram illustrates the above example: </p>
+ <p>The following diagram illustrates the above specialization: </p>
+ <img
+ src="http://www.w3.org/2011/prov/wiki/images/5/5d/AlternativeSchema.png"
+ style="width: 60%; min-width: 20em; max-width: 40em" /><br>
+ <em>Example extension of PROV ontology in order to describe
+ the crime file scenario</em>
+ </p>
</section>
</section>
<section>
--- a/ontology/examples/ontology-extensions/crime-file/diagrams/2011-09-14-dGarijo/GlobalSchema.graphml Mon Oct 03 23:55:57 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,257 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
- <!--Created by yFiles for Java HEAD-Current-->
- <key for="graphml" id="d0" yfiles.type="resources"/>
- <key for="port" id="d1" yfiles.type="portgraphics"/>
- <key for="port" id="d2" yfiles.type="portgeometry"/>
- <key for="port" id="d3" yfiles.type="portuserdata"/>
- <key attr.name="url" attr.type="string" for="node" id="d4"/>
- <key attr.name="description" attr.type="string" for="node" id="d5"/>
- <key for="node" id="d6" yfiles.type="nodegraphics"/>
- <key attr.name="Description" attr.type="string" for="graph" id="d7"/>
- <key attr.name="url" attr.type="string" for="edge" id="d8"/>
- <key attr.name="description" attr.type="string" for="edge" id="d9"/>
- <key for="edge" id="d10" yfiles.type="edgegraphics"/>
- <graph edgedefault="directed" id="G">
- <data key="d7"/>
- <node id="n0" yfiles.foldertype="group">
- <data key="d4"/>
- <data key="d5"/>
- <data key="d6">
- <y:ProxyAutoBoundsNode>
- <y:Realizers active="0">
- <y:GroupNode>
- <y:Geometry height="202.87646484375" width="351.0" x="120.0" y="228.12353515625"/>
- <y:Fill color="#F5F5F5" transparent="false"/>
- <y:BorderStyle color="#000000" type="dashed" width="1.0"/>
- <y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="22.37646484375" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="351.0" x="0.0" y="0.0">CrimeFileScenarioExtension</y:NodeLabel>
- <y:Shape type="roundrectangle"/>
- <y:State closed="false" innerGraphDisplayEnabled="false"/>
- <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/>
- <y:BorderInsets bottom="5" bottomF="5.0" left="95" leftF="95.0" right="105" rightF="105.0" top="0" topF="0.0"/>
- </y:GroupNode>
- <y:GroupNode>
- <y:Geometry height="50.0" width="50.0" x="117.0" y="210.0"/>
- <y:Fill color="#F5F5F5" transparent="false"/>
- <y:BorderStyle color="#000000" type="dashed" width="1.0"/>
- <y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="22.37646484375" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="50.0" x="0.0" y="0.0">1</y:NodeLabel>
- <y:Shape type="roundrectangle"/>
- <y:State closed="false" innerGraphDisplayEnabled="false"/>
- <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/>
- <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
- </y:GroupNode>
- </y:Realizers>
- </y:ProxyAutoBoundsNode>
- </data>
- <graph edgedefault="directed" id="n0:">
- <node id="n0::n0">
- <data key="d5"/>
- <data key="d6">
- <y:GenericNode configuration="BevelNode2">
- <y:Geometry height="55.0" width="121.0" x="230.0" y="356.0"/>
- <y:Fill color="#FF9900" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="85.369140625" x="17.8154296875" y="18.1494140625">rdfs:Resource?</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- <node id="n0::n1">
- <data key="d5"/>
- <data key="d6">
- <y:GenericNode configuration="BevelNode2">
- <y:Geometry height="55.0" width="121.0" x="230.0" y="265.5"/>
- <y:Fill color="#FF9900" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="57.35546875" x="31.822265625" y="18.1494140625">xsd:String</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- </graph>
- </node>
- <node id="n1">
- <data key="d6">
- <y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="230.0" y="-42.0"/>
- <y:Fill color="#99CCFF" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="34.01171875" x="43.494140625" y="18.1494140625">Entity</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- <node id="n2">
- <data key="d6">
- <y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="464.0" y="117.0"/>
- <y:Fill color="#99CCFF" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="35.359375" x="42.8203125" y="18.1494140625">Agent</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- <node id="n3">
- <data key="d6">
- <y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="230.0" y="117.0"/>
- <y:Fill color="#99CCFF" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="103.380859375" x="8.8095703125" y="18.1494140625">Process Execution</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- <node id="n4">
- <data key="d6">
- <y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="46.0" y="-42.0"/>
- <y:Fill color="#99CCFF" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="28.6796875" x="46.16015625" y="18.1494140625">Role</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- <node id="n5">
- <data key="d6">
- <y:GenericNode configuration="BevelNode3">
- <y:Geometry height="55.0" width="121.0" x="46.0" y="43.0"/>
- <y:Fill color="#99CCFF" transparent="false"/>
- <y:BorderStyle hasColor="false" type="line" width="1.0"/>
- <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="33.40234375" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="68.04296875" x="26.478515625" y="10.798828125">Provenance
-Container</y:NodeLabel>
- </y:GenericNode>
- </data>
- </node>
- <edge id="e0" source="n1" target="n1">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
- <y:Point x="290.5" y="-79.5"/>
- </y:Path>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="170.751953125" x="-30.074432373046875" y="-32.67512893676758">wasDerivedFrom, dependedOn</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e1" source="n3" target="n2">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="94.041015625" x="9.451416015625" y="2.0">wasControlledBy</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e2" source="n1" target="n3">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="-27.50244140625"/>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="thead" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="96.05078125" x="-98.05078125" y="75.1607894897461">wasGeneratedBy</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e3" source="n3" target="n3">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
- <y:Point x="290.5" y="213.5"/>
- </y:Path>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="60.712890625" x="35.79241943359375" y="15.940704345703125">preceeded</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e4" source="n3" target="n1">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="11.0" sy="-2.5" tx="11.0" ty="-0.5"/>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="30.021484375" x="2.0" y="-61.321044921875">used</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e5" source="n4" target="n1">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="shead" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="26.013671875" x="10.115234375" y="-20.701171875">is_a</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e6" source="n2" target="n1">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="60.482666015625" ty="0.0"/>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="26.013671875" x="-59.9537565348283" y="-75.47155817882357">is_a</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e7" source="n3" target="n1">
- <data key="d10">
- <y:ArcEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
- <y:Point x="382.09783935546875" y="65.0"/>
- </y:Path>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="26.013671875" x="27.5132850708452" y="-39.9102783203125">is_a</y:EdgeLabel>
- <y:Arc height="-91.59782409667969" ratio="-2.3043477535247803" type="fixedRatio"/>
- </y:ArcEdge>
- </data>
- </edge>
- <edge id="e8" source="n5" target="n1">
- <data key="d10">
- <y:PolyLineEdge>
- <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="head" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="26.013671875" x="21.3583984375" y="-42.585008704144016">is_a</y:EdgeLabel>
- <y:BendStyle smoothed="false"/>
- </y:PolyLineEdge>
- </data>
- </edge>
- <edge id="e9" source="n1" target="n0::n1">
- <data key="d10">
- <y:ArcEdge>
- <y:Path sx="17.16666666666663" sy="9.0" tx="0.0" ty="0.0">
- <y:Point x="162.8401641845703" y="135.91468811035156"/>
- </y:Path>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="thead" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="84.712890625" x="-113.81427685003376" y="223.67083930969238">hasFileContent</y:EdgeLabel>
- <y:Arc height="-136.46826171875" ratio="-1.8257038593292236" type="fixedRatio"/>
- </y:ArcEdge>
- </data>
- </edge>
- <edge id="e10" source="n1" target="n0::n0">
- <data key="d10">
- <y:ArcEdge>
- <y:Path sx="20.16666666666663" sy="6.0" tx="0.0" ty="0.0">
- <y:Point x="134.6817169189453" y="178.96510314941406"/>
- </y:Path>
- <y:LineStyle color="#000000" type="line" width="1.0"/>
- <y:Arrows source="none" target="standard"/>
- <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" modelName="six_pos" modelPosition="thead" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="67.369140625" x="-94.06657979238594" y="314.1629476547241">hasFilePath</y:EdgeLabel>
- <y:Arc height="-166.12098693847656" ratio="-1.692873477935791" type="fixedRatio"/>
- </y:ArcEdge>
- </data>
- </edge>
- </graph>
- <data key="d0">
- <y:Resources/>
- </data>
-</graphml>