figures/readme-activities-related-by-intervals-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="542pt" height="593pt"
 viewBox="0.00 0.00 541.88 593.20" 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 589.2)">
<title>PROV&#45;O render</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-589.2 537.88,-589.2 537.88,4 -4,4"/>
<!-- _a805d85dc8e9a8cd5bfeeff18cd6e09ed010304f16e0ea69040df86362d57814 -->
<g id="node1" class="node">
<title>_a805d85dc8e9a8cd5bfeeff18cd6e09ed010304f16e0ea69040df86362d57814</title>
<g id="a_node1"><a xlink:title="ID &#45; urn:example:activity&#45;earlier">
<polygon fill="#9fb1fc" stroke="#0000ff" points="184,-489.75 0,-489.75 0,-432.75 184,-432.75 184,-489.75"/>
<text text-anchor="middle" x="92" y="-472.45" font-family="Times,serif" font-size="14.00">ID &#45; kb:activity&#45;earlier</text>
<text text-anchor="middle" x="92" y="-439.95" font-family="Times,serif" font-size="14.00">An Activity that occurs earlier.</text>
</a>
</g>
</g>
<!-- _63d0c0e6579a3f803c84f8f5ff2a82e43a6c0478f344bfdce4a164cf15a8c2e4 -->
<g id="node10" class="node">
<title>_63d0c0e6579a3f803c84f8f5ff2a82e43a6c0478f344bfdce4a164cf15a8c2e4</title>
<g id="a_node10"><a xlink:title="Start of urn:example:activity&#45;earlier">
<ellipse fill="lightgray" stroke="dimgray" cx="215" cy="-543.8" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _a805d85dc8e9a8cd5bfeeff18cd6e09ed010304f16e0ea69040df86362d57814&#45;&gt;_63d0c0e6579a3f803c84f8f5ff2a82e43a6c0478f344bfdce4a164cf15a8c2e4 -->
<g id="edge9" class="edge">
<title>_a805d85dc8e9a8cd5bfeeff18cd6e09ed010304f16e0ea69040df86362d57814&#45;&gt;_63d0c0e6579a3f803c84f8f5ff2a82e43a6c0478f344bfdce4a164cf15a8c2e4</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M134.67,-490.2C162.84,-508.64 196.85,-530.91 209.72,-539.34"/>
<polygon fill="dimgray" stroke="dimgray" points="215.77,-537.32 210.29,-545.69 208.61,-544.59 214.09,-536.23 215.77,-537.32"/>
<polyline fill="none" stroke="dimgray" points="213.86,-542.06 209.68,-539.32"/>
</g>
<!-- _2c0fb15bfaf33092647d83ba04deda2ad8a92315d346a3a8dc62dcd902e1b43a -->
<g id="node2" class="node">
<title>_2c0fb15bfaf33092647d83ba04deda2ad8a92315d346a3a8dc62dcd902e1b43a</title>
<g id="a_node2"><a xlink:title="ID &#45; urn:example:activity&#45;later">
<polygon fill="#9fb1fc" stroke="#0000ff" points="231,-136.2 47,-136.2 47,-79.2 231,-79.2 231,-136.2"/>
<text text-anchor="middle" x="139" y="-118.9" font-family="Times,serif" font-size="14.00">ID &#45; kb:activity&#45;later</text>
<text text-anchor="middle" x="139" y="-86.4" font-family="Times,serif" font-size="14.00">An Activity that occurs earlier.</text>
</a>
</g>
</g>
<!-- _9361ab5023e4f1b97b2e2c40a9e55a2d67cd74ad632620629e210d770d99a083 -->
<g id="node9" class="node">
<title>_9361ab5023e4f1b97b2e2c40a9e55a2d67cd74ad632620629e210d770d99a083</title>
<g id="a_node9"><a xlink:title="Start of urn:example:activity&#45;later">
<ellipse fill="lightgray" stroke="dimgray" cx="139" cy="-216.95" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _2c0fb15bfaf33092647d83ba04deda2ad8a92315d346a3a8dc62dcd902e1b43a&#45;&gt;_9361ab5023e4f1b97b2e2c40a9e55a2d67cd74ad632620629e210d770d99a083 -->
<g id="edge8" class="edge">
<title>_2c0fb15bfaf33092647d83ba04deda2ad8a92315d346a3a8dc62dcd902e1b43a&#45;&gt;_9361ab5023e4f1b97b2e2c40a9e55a2d67cd74ad632620629e210d770d99a083</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M139,-136.6C139,-161.57 139,-196.3 139,-210.03"/>
<polygon fill="dimgray" stroke="dimgray" points="144,-213.75 134,-213.75 134,-211.75 144,-211.75 144,-213.75"/>
<polyline fill="none" stroke="dimgray" points="139,-214.75 139,-209.75"/>
</g>
<!-- _d2f44d173cbb977fb6b45000c150733034f5c0397b9a79bc73eca26dc597d120 -->
<g id="node3" class="node">
<title>_d2f44d173cbb977fb6b45000c150733034f5c0397b9a79bc73eca26dc597d120</title>
<g id="a_node3"><a xlink:title="End of urn:example:activity&#45;earlier">
<ellipse fill="lightgray" stroke="dimgray" cx="215" cy="-378.7" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _d2f44d173cbb977fb6b45000c150733034f5c0397b9a79bc73eca26dc597d120&#45;&gt;_a805d85dc8e9a8cd5bfeeff18cd6e09ed010304f16e0ea69040df86362d57814 -->
<g id="edge10" class="edge">
<title>_d2f44d173cbb977fb6b45000c150733034f5c0397b9a79bc73eca26dc597d120&#45;&gt;_a805d85dc8e9a8cd5bfeeff18cd6e09ed010304f16e0ea69040df86362d57814</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M210.05,-382.94C197.44,-391.2 163.09,-413.69 134.68,-432.3"/>
<polygon fill="dimgray" stroke="dimgray" points="210.64,-376.58 216.12,-384.95 214.44,-386.04 208.97,-377.68 210.64,-376.58"/>
<polyline fill="none" stroke="dimgray" points="214.21,-380.21 210.03,-382.95"/>
</g>
<!-- _09d8e758000f961bd4077fdcc1db8b86dc50cddd93167578f2fff45cd658b563 -->
<g id="node4" class="node">
<title>_09d8e758000f961bd4077fdcc1db8b86dc50cddd93167578f2fff45cd658b563</title>
<g id="a_node4"><a xlink:title="End of urn:example:activity&#45;later">
<ellipse fill="lightgray" stroke="dimgray" cx="139" cy="-41.4" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _09d8e758000f961bd4077fdcc1db8b86dc50cddd93167578f2fff45cd658b563&#45;&gt;_2c0fb15bfaf33092647d83ba04deda2ad8a92315d346a3a8dc62dcd902e1b43a -->
<g id="edge11" class="edge">
<title>_09d8e758000f961bd4077fdcc1db8b86dc50cddd93167578f2fff45cd658b563&#45;&gt;_2c0fb15bfaf33092647d83ba04deda2ad8a92315d346a3a8dc62dcd902e1b43a</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M139,-48.35C139,-55.39 139,-67.57 139,-79"/>
<polygon fill="dimgray" stroke="dimgray" points="134,-44.52 144,-44.52 144,-46.52 134,-46.52 134,-44.52"/>
<polyline fill="none" stroke="dimgray" points="139,-43.52 139,-48.52"/>
</g>
<!-- _ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452 -->
<g id="node5" class="node">
<title>_ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452</title>
<g id="a_node5"><a xlink:title="End of urn:example:interval&#45;earlier">
<ellipse fill="lightgray" stroke="dimgray" cx="230" cy="-339.1" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452&#45;&gt;_d2f44d173cbb977fb6b45000c150733034f5c0397b9a79bc73eca26dc597d120 -->
<g id="edge1" class="edge">
<title>_ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452&#45;&gt;_d2f44d173cbb977fb6b45000c150733034f5c0397b9a79bc73eca26dc597d120</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M229.63,-341.03C228.24,-344.51 223.22,-357.09 219.45,-366.54"/>
<polygon fill="dimgray" stroke="dimgray" points="216.32,-364.94 215.87,-375.53 222.82,-367.53 216.32,-364.94"/>
</g>
<!-- _9e8912e62d6dd653f96e6d6801a33e48bc610e90ed2ef1f8bde777eeda52150c -->
<g id="node11" class="node">
<title>_9e8912e62d6dd653f96e6d6801a33e48bc610e90ed2ef1f8bde777eeda52150c</title>
<g id="a_node11"><a xlink:title="ID &#45; urn:example:interval&#45;earlier">
<polygon fill="none" stroke="dimgray" stroke-dasharray="1,5" points="533.88,-506 202.12,-506 202.12,-416.5 533.88,-416.5 533.88,-506"/>
<text text-anchor="middle" x="368" y="-488.7" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;earlier</text>
<text text-anchor="middle" x="368" y="-440.2" font-family="Times,serif" font-size="14.00">A Proper Interval that starts and ends earlier, and contains</text>
<text text-anchor="middle" x="368" y="-423.7" font-family="Times,serif" font-size="14.00"> the earlier activity.</text>
</a>
</g>
</g>
<!-- _ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452&#45;&gt;_9e8912e62d6dd653f96e6d6801a33e48bc610e90ed2ef1f8bde777eeda52150c -->
<g id="edge12" class="edge">
<title>_ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452&#45;&gt;_9e8912e62d6dd653f96e6d6801a33e48bc610e90ed2ef1f8bde777eeda52150c</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M234.35,-343.89C247.05,-354.94 285.21,-388.17 317.52,-416.3"/>
<polygon fill="dimgray" stroke="dimgray" points="228.35,-345.29 234.92,-337.75 236.43,-339.07 229.86,-346.61 228.35,-345.29"/>
<polyline fill="none" stroke="dimgray" points="230.88,-340.87 234.65,-344.15"/>
</g>
<!-- _e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b -->
<g id="node6" class="node">
<title>_e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b</title>
<g id="a_node6"><a xlink:title="Beginning of urn:example:interval&#45;later">
<ellipse fill="lightgray" stroke="dimgray" cx="230" cy="-299.5" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b&#45;&gt;_ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452 -->
<g id="edge3" class="edge">
<title>_e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b&#45;&gt;_ab79264e888a96ca5ca405bc9e4e509c3f52fd88400bd34ddda3459e3d4e2452</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M230,-301.75C230,-305.41 230,-316.39 230,-325.33"/>
<polygon fill="dimgray" stroke="dimgray" points="226.5,-325.29 230,-335.29 233.5,-325.29 226.5,-325.29"/>
</g>
<!-- _912839800cdec8378a11309264203c7d1fff7e7530472bf38e25dc977682b7ff -->
<g id="node7" class="node">
<title>_912839800cdec8378a11309264203c7d1fff7e7530472bf38e25dc977682b7ff</title>
<g id="a_node7"><a xlink:title="Beginning of urn:example:interval&#45;earlier">
<ellipse fill="lightgray" stroke="dimgray" cx="230" cy="-583.4" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _a1f253e17c6af14be30f57554e95c42e55cc778fb6467f7e085e9c7c2ee71cfd -->
<g id="node8" class="node">
<title>_a1f253e17c6af14be30f57554e95c42e55cc778fb6467f7e085e9c7c2ee71cfd</title>
<g id="a_node8"><a xlink:title="Instant in urn:example:interval&#45;later known to follow urn:example:End&#45;f78a8e66&#45;65a9&#45;531d&#45;b538&#45;3b1cb6201406.">
<ellipse fill="lightgray" stroke="dimgray" cx="139" cy="-1.8" rx="1.8" ry="1.8"/>
</a>
</g>
</g>
<!-- _a1f253e17c6af14be30f57554e95c42e55cc778fb6467f7e085e9c7c2ee71cfd&#45;&gt;_09d8e758000f961bd4077fdcc1db8b86dc50cddd93167578f2fff45cd658b563 -->
<g id="edge2" class="edge">
<title>_a1f253e17c6af14be30f57554e95c42e55cc778fb6467f7e085e9c7c2ee71cfd&#45;&gt;_09d8e758000f961bd4077fdcc1db8b86dc50cddd93167578f2fff45cd658b563</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M139,-4.05C139,-7.71 139,-18.69 139,-27.63"/>
<polygon fill="dimgray" stroke="dimgray" points="135.5,-27.59 139,-37.59 142.5,-27.59 135.5,-27.59"/>
</g>
<!-- _9361ab5023e4f1b97b2e2c40a9e55a2d67cd74ad632620629e210d770d99a083&#45;&gt;_e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b -->
<g id="edge4" class="edge">
<title>_9361ab5023e4f1b97b2e2c40a9e55a2d67cd74ad632620629e210d770d99a083&#45;&gt;_e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M138.95,-219.2C138.78,-224.83 138.79,-248.2 150,-261.7 167.31,-282.55 199,-292.17 216.86,-296.11"/>
<polygon fill="dimgray" stroke="dimgray" points="216.17,-299.55 226.65,-297.96 217.47,-292.67 216.17,-299.55"/>
</g>
<!-- _63d0c0e6579a3f803c84f8f5ff2a82e43a6c0478f344bfdce4a164cf15a8c2e4&#45;&gt;_912839800cdec8378a11309264203c7d1fff7e7530472bf38e25dc977682b7ff -->
<g id="edge6" class="edge">
<title>_63d0c0e6579a3f803c84f8f5ff2a82e43a6c0478f344bfdce4a164cf15a8c2e4&#45;&gt;_912839800cdec8378a11309264203c7d1fff7e7530472bf38e25dc977682b7ff</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M215.37,-545.73C216.76,-549.21 221.78,-561.79 225.55,-571.24"/>
<polygon fill="dimgray" stroke="dimgray" points="222.18,-572.23 229.13,-580.23 228.68,-569.64 222.18,-572.23"/>
</g>
<!-- _9e8912e62d6dd653f96e6d6801a33e48bc610e90ed2ef1f8bde777eeda52150c&#45;&gt;_912839800cdec8378a11309264203c7d1fff7e7530472bf38e25dc977682b7ff -->
<g id="edge7" class="edge">
<title>_9e8912e62d6dd653f96e6d6801a33e48bc610e90ed2ef1f8bde777eeda52150c&#45;&gt;_912839800cdec8378a11309264203c7d1fff7e7530472bf38e25dc977682b7ff</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M317.4,-506.31C285.06,-534.46 246.91,-567.68 234.29,-578.67"/>
<polygon fill="dimgray" stroke="dimgray" points="234.89,-584.77 228.32,-577.23 229.83,-575.92 236.4,-583.46 234.89,-584.77"/>
<polyline fill="none" stroke="dimgray" points="230.85,-581.66 234.62,-578.37"/>
</g>
<!-- _4bca873673d304621bcd6c81ad9327797dab3892c71ef23fe5d4617ddd92619d -->
<g id="node12" class="node">
<title>_4bca873673d304621bcd6c81ad9327797dab3892c71ef23fe5d4617ddd92619d</title>
<g id="a_node12"><a xlink:title="ID &#45; urn:example:interval&#45;later">
<polygon fill="none" stroke="dimgray" stroke-dasharray="1,5" points="482.75,-261.7 159.25,-261.7 159.25,-172.2 482.75,-172.2 482.75,-261.7"/>
<text text-anchor="middle" x="321" y="-244.4" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;later</text>
<text text-anchor="middle" x="321" y="-195.9" font-family="Times,serif" font-size="14.00">A Proper Interval that starts later, comes after the earlier</text>
<text text-anchor="middle" x="321" y="-179.4" font-family="Times,serif" font-size="14.00"> interval, and contains the later activity.</text>
</a>
</g>
</g>
<!-- _4bca873673d304621bcd6c81ad9327797dab3892c71ef23fe5d4617ddd92619d&#45;&gt;_e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b -->
<g id="edge5" class="edge">
<title>_4bca873673d304621bcd6c81ad9327797dab3892c71ef23fe5d4617ddd92619d&#45;&gt;_e10288bd323c8a6a06209183404f5993e625c566e2b44f3e4a436ff02b0aa49b</title>
<path fill="none" stroke="dimgray" stroke-dasharray="1,5" d="M271.24,-262C256.14,-275.37 241.66,-288.18 234.56,-294.46"/>
<polygon fill="dimgray" stroke="dimgray" points="234.96,-300.78 228.34,-293.3 229.83,-291.97 236.46,-299.46 234.96,-300.78"/>
<polyline fill="none" stroke="dimgray" points="230.9,-297.7 234.64,-294.39"/>
</g>
</g>
</svg>