figures/readme-eapi-bounded-visible.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 9.0.0 (20230911.1827)
 -->
<!-- Title: PROV&#45;O render Pages: 1 -->
<svg width="690pt" height="168pt"
 viewBox="0.00 0.00 690.25 167.81" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 163.81)">
<title>PROV&#45;O render</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-163.81 686.25,-163.81 686.25,4 -4,4"/>
<!-- _76da9a31235f6e839beef61ffbfe4528c999389aa41e52bcda17cebe555f1f28 -->
<g id="node1" class="node">
<title>_76da9a31235f6e839beef61ffbfe4528c999389aa41e52bcda17cebe555f1f28</title>
<g id="a_node1"><a xlink:title="ID &#45; urn:example:Activity&#45;Bounded">
<polygon fill="#9fb1fc" stroke="#0000ff" points="184,-108.41 0,-108.41 0,-51.41 184,-51.41 184,-108.41"/>
<text text-anchor="middle" x="92" y="-91.11" font-family="Times,serif" font-size="14.00">ID &#45; kb:Activity&#45;Bounded</text>
<text text-anchor="middle" x="92" y="-58.61" font-family="Times,serif" font-size="14.00">A time&#45;bounded prov:Activity.</text>
</a>
</g>
</g>
<!-- _e8ec3441e147149ea107b69dc1c1fcbb9a932defa7e221433a425c35b337c522 -->
<g id="node4" class="node">
<title>_e8ec3441e147149ea107b69dc1c1fcbb9a932defa7e221433a425c35b337c522</title>
<g id="a_node4"><a xlink:title="Start of urn:example:Activity&#45;Bounded">
<ellipse fill="lightgray" stroke="dimgray" cx="92" cy="-158.01" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _76da9a31235f6e839beef61ffbfe4528c999389aa41e52bcda17cebe555f1f28&#45;&gt;_e8ec3441e147149ea107b69dc1c1fcbb9a932defa7e221433a425c35b337c522 -->
<g id="edge2" class="edge">
<title>_76da9a31235f6e839beef61ffbfe4528c999389aa41e52bcda17cebe555f1f28&#45;&gt;_e8ec3441e147149ea107b69dc1c1fcbb9a932defa7e221433a425c35b337c522</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M92,-108.81C92,-124.11 92,-141.76 92,-150.86"/>
<polygon fill="dimgray" stroke="dimgray" points="97,-154.83 87,-154.83 87,-152.83 97,-152.83 97,-154.83"/>
<polyline fill="none" stroke="dimgray" points="92,-155.83 92,-150.83"/>
</g>
<!-- _43eb293df1e2cecfff5aa4f5f50cf09b1ff2943b0f2e46444d186625c2adfe43 -->
<g id="node2" class="node">
<title>_43eb293df1e2cecfff5aa4f5f50cf09b1ff2943b0f2e46444d186625c2adfe43</title>
<g id="a_node2"><a xlink:title="ID &#45; urn:example:Entity&#45;Bounded">
<ellipse fill="#fff68f" stroke="#808080" cx="324" cy="-79.91" rx="122.15" ry="40.31"/>
<text text-anchor="middle" x="324" y="-91.11" font-family="Times,serif" font-size="14.00">ID &#45; kb:Entity&#45;Bounded</text>
<text text-anchor="middle" x="324" y="-58.61" font-family="Times,serif" font-size="14.00">A time&#45;bounded prov:Entity.</text>
</a>
</g>
</g>
<!-- _8ab97ee53009c8b6ba1e0ac34459da4c4b10056481287a1a7b14bf0485c951b7 -->
<g id="node5" class="node">
<title>_8ab97ee53009c8b6ba1e0ac34459da4c4b10056481287a1a7b14bf0485c951b7</title>
<g id="a_node5"><a xlink:title="Generation of urn:example:Entity&#45;Bounded">
<ellipse fill="lightgray" stroke="dimgray" cx="324" cy="-158.01" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _43eb293df1e2cecfff5aa4f5f50cf09b1ff2943b0f2e46444d186625c2adfe43&#45;&gt;_8ab97ee53009c8b6ba1e0ac34459da4c4b10056481287a1a7b14bf0485c951b7 -->
<g id="edge4" class="edge">
<title>_43eb293df1e2cecfff5aa4f5f50cf09b1ff2943b0f2e46444d186625c2adfe43&#45;&gt;_8ab97ee53009c8b6ba1e0ac34459da4c4b10056481287a1a7b14bf0485c951b7</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M324,-120.3C324,-132.29 324,-144.11 324,-150.97"/>
<polygon fill="dimgray" stroke="dimgray" points="329,-154.75 319,-154.75 319,-152.75 329,-152.75 329,-154.75"/>
<polyline fill="none" stroke="dimgray" points="324,-155.75 324,-150.75"/>
</g>
<!-- _379e9538757e4b23891e0e0072cd4155531411afd24aa8f10fe7e92674eb4e96 -->
<g id="node3" class="node">
<title>_379e9538757e4b23891e0e0072cd4155531411afd24aa8f10fe7e92674eb4e96</title>
<g id="a_node3"><a xlink:title="End of urn:example:Activity&#45;Bounded">
<ellipse fill="lightgray" stroke="dimgray" cx="92" cy="-1.8" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _379e9538757e4b23891e0e0072cd4155531411afd24aa8f10fe7e92674eb4e96&#45;&gt;_76da9a31235f6e839beef61ffbfe4528c999389aa41e52bcda17cebe555f1f28 -->
<g id="edge1" class="edge">
<title>_379e9538757e4b23891e0e0072cd4155531411afd24aa8f10fe7e92674eb4e96&#45;&gt;_76da9a31235f6e839beef61ffbfe4528c999389aa41e52bcda17cebe555f1f28</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M92,-8.76C92,-17.81 92,-35.58 92,-50.97"/>
<polygon fill="dimgray" stroke="dimgray" points="87,-4.88 97,-4.88 97,-6.88 87,-6.88 87,-4.88"/>
<polyline fill="none" stroke="dimgray" points="92,-3.88 92,-8.88"/>
</g>
<!-- _2746d2fb15d9aacee7bc5bb93e1647311a3ff906084e7f6da5789360e595866d -->
<g id="node6" class="node">
<title>_2746d2fb15d9aacee7bc5bb93e1647311a3ff906084e7f6da5789360e595866d</title>
<g id="a_node6"><a xlink:title="Invalidation of urn:example:Entity&#45;Bounded">
<ellipse fill="lightgray" stroke="dimgray" cx="324" cy="-1.8" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _2746d2fb15d9aacee7bc5bb93e1647311a3ff906084e7f6da5789360e595866d&#45;&gt;_43eb293df1e2cecfff5aa4f5f50cf09b1ff2943b0f2e46444d186625c2adfe43 -->
<g id="edge3" class="edge">
<title>_2746d2fb15d9aacee7bc5bb93e1647311a3ff906084e7f6da5789360e595866d&#45;&gt;_43eb293df1e2cecfff5aa4f5f50cf09b1ff2943b0f2e46444d186625c2adfe43</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M324,-8.53C324,-15.34 324,-27.32 324,-39.48"/>
<polygon fill="dimgray" stroke="dimgray" points="319,-4.88 329,-4.88 329,-6.88 319,-6.88 319,-4.88"/>
<polyline fill="none" stroke="dimgray" points="324,-3.88 324,-8.88"/>
</g>
<!-- _4615c7064914601f5709c4c407b3f768beb0b048528a4cc8c1b5cbbddaa3c990 -->
<g id="node7" class="node">
<title>_4615c7064914601f5709c4c407b3f768beb0b048528a4cc8c1b5cbbddaa3c990</title>
<g id="a_node7"><a xlink:title="Beginning of urn:example:ProperInterval&#45;Bounded">
<ellipse fill="lightgray" stroke="dimgray" cx="573" cy="-158.01" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _f84c92260ab2d2315cd50c2b113ccacfea5d163151c39340226181aa24fc16fa -->
<g id="node8" class="node">
<title>_f84c92260ab2d2315cd50c2b113ccacfea5d163151c39340226181aa24fc16fa</title>
<g id="a_node8"><a xlink:title="End of urn:example:ProperInterval&#45;Bounded">
<ellipse fill="lightgray" stroke="dimgray" cx="573" cy="-1.8" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _43916420533cee1c06220413ee7374c33b47c1a489cc6c9927eecdbb81435b89 -->
<g id="node9" class="node">
<title>_43916420533cee1c06220413ee7374c33b47c1a489cc6c9927eecdbb81435b89</title>
<g id="a_node9"><a xlink:title="ID &#45; urn:example:ProperInterval&#45;Bounded">
<polygon fill="none" stroke="dimgray" stroke-dasharray="1,5" points="682.25,-116.41 463.75,-116.41 463.75,-43.41 682.25,-43.41 682.25,-116.41"/>
<text text-anchor="middle" x="573" y="-99.11" font-family="Times,serif" font-size="14.00">ID &#45; kb:ProperInterval&#45;Bounded</text>
<text text-anchor="middle" x="573" y="-50.61" font-family="Times,serif" font-size="14.00">A time&#45;bounded time:ProperInterval.</text>
</a>
</g>
</g>
<!-- _f84c92260ab2d2315cd50c2b113ccacfea5d163151c39340226181aa24fc16fa&#45;&gt;_43916420533cee1c06220413ee7374c33b47c1a489cc6c9927eecdbb81435b89 -->
<g id="edge5" class="edge">
<title>_f84c92260ab2d2315cd50c2b113ccacfea5d163151c39340226181aa24fc16fa&#45;&gt;_43916420533cee1c06220413ee7374c33b47c1a489cc6c9927eecdbb81435b89</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M573,-8.57C573,-16.09 573,-29.84 573,-43.21"/>
<polygon fill="dimgray" stroke="dimgray" points="568,-4.88 578,-4.88 578,-6.88 568,-6.88 568,-4.88"/>
<polyline fill="none" stroke="dimgray" points="573,-3.88 573,-8.88"/>
</g>
<!-- _43916420533cee1c06220413ee7374c33b47c1a489cc6c9927eecdbb81435b89&#45;&gt;_4615c7064914601f5709c4c407b3f768beb0b048528a4cc8c1b5cbbddaa3c990 -->
<g id="edge6" class="edge">
<title>_43916420533cee1c06220413ee7374c33b47c1a489cc6c9927eecdbb81435b89&#45;&gt;_4615c7064914601f5709c4c407b3f768beb0b048528a4cc8c1b5cbbddaa3c990</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M573,-116.73C573,-129.98 573,-143.6 573,-151.11"/>
<polygon fill="dimgray" stroke="dimgray" points="578,-154.85 568,-154.85 568,-152.85 578,-152.85 578,-154.85"/>
<polyline fill="none" stroke="dimgray" points="573,-155.85 573,-150.85"/>
</g>
</g>
</svg>