diff --git a/figures/chowlk-library-complete.xml b/figures/chowlk-library-complete.xml new file mode 100644 index 0000000..009b725 --- /dev/null +++ b/figures/chowlk-library-complete.xml @@ -0,0 +1,772 @@ +[ + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&lt;b&gt;@base&lt;/b&gt;: http://example.org/def/base#&lt;/div&gt;&lt;div&gt;&lt;b&gt;other:&lt;/b&gt; http://example.org/other#&lt;br&gt;&lt;/div&gt;\" style=\"shape=note;whiteSpace=wrap;html=1;backgroundOutline=1;darkOpacity=0.05;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"290\" height=\"100\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 290, + "h": 100, + "aspect": "fixed", + "title": "namespaces" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&lt;b&gt;@base&lt;/b&gt;: http://example.org/def/base#&lt;/div&gt;&lt;div style=&quot;&quot;&gt;&lt;b&gt;other:&lt;/b&gt; http://example.org/other#&lt;br&gt;&lt;/div&gt;&lt;div&gt;&lt;div style=&quot;&quot;&gt;&lt;b&gt;owl&lt;/b&gt;: http://www.w3.org/2002/07/owl#&lt;/div&gt;&lt;div&gt;&lt;b&gt;rdf&lt;/b&gt;: http://www.w3.org/1999/02/22-rdf-syntax-ns#&lt;/div&gt;&lt;div&gt;&lt;b&gt;rdfs&lt;/b&gt;: http://www.w3.org/2000/01/rdf-schema#&lt;/div&gt;&lt;div&gt;&lt;b&gt;xml&lt;/b&gt;: http://www.w3.org/XML/1998/namespace&lt;/div&gt;&lt;div&gt;&lt;b&gt;xsd&lt;/b&gt;: http://www.w3.org/2001/XMLSchema#&lt;/div&gt;&lt;div&gt;&lt;b&gt;dc&lt;/b&gt;: http://purl.org/dc/elements/1.1/&lt;/div&gt;&lt;div&gt;&lt;b&gt;dcterms&lt;/b&gt;: http://purl.org/dc/terms/&lt;/div&gt;&lt;div&gt;&lt;b&gt;vann&lt;/b&gt;: http://purl.org/vocab/vann/&lt;/div&gt;&lt;/div&gt;\" style=\"shape=note;whiteSpace=wrap;html=1;backgroundOutline=1;darkOpacity=0.05;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"290\" height=\"170\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 290, + "h": 170, + "aspect": "fixed", + "title": "default namespaces" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&lt;b style=&quot;border-color: var(--border-color);&quot;&gt;owl:Ontology&lt;/b&gt;: &amp;lt;https://w3id.org/example#&amp;gt;&lt;b&gt;&lt;br&gt;&lt;/b&gt;&lt;/div&gt;&lt;div&gt;&lt;b&gt;&lt;br&gt;&lt;/b&gt;&lt;/div&gt;&lt;div&gt;&lt;span style=&quot;background-color: light-dark(rgb(255, 255, 255), rgb(18, 18, 18));&quot;&gt;&lt;b&gt;dcterms&lt;/b&gt;&lt;/span&gt;&lt;b&gt;:title&lt;/b&gt;: &quot;The example ontology&quot;@en &lt;br&gt;&lt;b&gt;dcterms&lt;/b&gt;&lt;b&gt;:description&lt;/b&gt;: &quot;Brief description of your ontology.&quot;@en &lt;br&gt;&lt;br&gt;&lt;b&gt;dcterms&lt;/b&gt;&lt;b&gt;:created&lt;/b&gt;: &quot;2021-01-01&quot;^^xsd:date &lt;br&gt;&lt;b&gt;dcterms&lt;/b&gt;&lt;b&gt;:creator&lt;/b&gt;: &amp;lt;https://w3id.org/people#AuthorURI&amp;gt;&lt;br&gt;&lt;b&gt;dcterms&lt;/b&gt;&lt;b&gt;:contributo&lt;/b&gt;r: &amp;lt;https://w3id.org/people#AContributorURI&amp;gt;&lt;br&gt;&lt;br&gt;&lt;b&gt;dcterms&lt;/b&gt;&lt;b&gt;:license&lt;/b&gt;: &amp;lt;https://creativecommons.org/licenses/by/4.0/&amp;gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;&lt;b&gt;vann:preferredNamespaceUr&lt;/b&gt;i: &amp;lt;https://w3id.org/example#&amp;gt;&lt;br&gt;&lt;b&gt;vann:preferredNamespacePrefix&lt;/b&gt;: &quot;choosenprefix&quot; &lt;br&gt;&lt;br&gt;&lt;b&gt;owl:versionIRI&lt;/b&gt;: &amp;lt;https://w3id.org/example/1.0.1&amp;gt;&lt;br&gt;&lt;b&gt;owl:versionInfo&lt;/b&gt;: &quot;0.0.1&quot;&lt;br&gt;&lt;b&gt;owl:priorVersion&lt;/b&gt;: &amp;lt;https://w3id.org/example/1.0.0&amp;gt;&lt;br&gt;&lt;/div&gt;\" style=\"shape=document;whiteSpace=wrap;html=1;boundedLbl=1;labelBackgroundColor=#ffffff;strokeColor=#000000;fontSize=12;fontColor=#000000;size=0.1875;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"370\" height=\"320\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 370, + "h": 320, + "aspect": "fixed", + "title": "recommended metadata" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&lt;b&gt;owl:versionInfo&lt;/b&gt;: &quot;0.0.1&quot;&lt;br&gt;&lt;/div&gt;&lt;div&gt;&lt;b&gt;owl:priorVersion&lt;/b&gt;: &amp;lt;https://w3id.org/example/1.0.0&amp;gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;&lt;b style=&quot;border-color: var(--border-color);&quot;&gt;owl:backwardCompatibleWith&lt;/b&gt;: &amp;lt;https://w3id.org/example/1.0.0&amp;gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;&lt;b style=&quot;border-color: var(--border-color);&quot;&gt;owl:incompatibleWith&lt;/b&gt;: &amp;lt;https://w3id.org/example/0.2.0&amp;gt;&lt;br&gt;&lt;/div&gt;\" style=\"shape=document;whiteSpace=wrap;html=1;boundedLbl=1;labelBackgroundColor=#ffffff;strokeColor=#000000;fontSize=12;fontColor=#000000;size=0.3076923076923077;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"380\" height=\"130\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 380, + "h": 130, + "aspect": "fixed", + "title": "versions metadata" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"Legend\" style=\"swimlane;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"-1.1368683772161603e-13\" width=\"315\" height=\"230\" as=\"geometry\"><mxRectangle x=\"330\" y=\"370\" width=\"80\" height=\"30\" as=\"alternateBounds\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"Datatype Property: datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"19\" y=\"70\" width=\"181\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"Class\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"19\" y=\"40\" width=\"181\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"&lt;u&gt;Individual&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"19\" y=\"120\" width=\"181\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" parent=\"2\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"19\" y=\"170\" as=\"sourcePoint\"/><mxPoint x=\"200\" y=\"170\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"Object Property\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"6\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"11\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"8\" value=\"\" style=\"endArrow=block;html=1;fontColor=#000099;endFill=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" parent=\"2\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"20\" y=\"190\" as=\"sourcePoint\"/><mxPoint x=\"200\" y=\"190\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"9\" value=\"&lt;font style=&quot;font-size: 12px;&quot;&gt;rdfs:subClassOf&lt;/font&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"8\"><mxGeometry x=\"-0.1196\" y=\"-1\" relative=\"1\" as=\"geometry\"><mxPoint x=\"14\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"10\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=8;rounded=0;\" edge=\"1\" parent=\"2\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"20\" y=\"210\" as=\"sourcePoint\"/><mxPoint x=\"200\" y=\"210\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"11\" value=\"&lt;font style=&quot;font-size: 12px;&quot;&gt;rdf:type&lt;/font&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"10\"><mxGeometry x=\"-0.0889\" y=\"1\" relative=\"1\" as=\"geometry\"><mxPoint x=\"8\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"12\" value=\"Namespace 2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];fillColor=#d5e8d4;strokeColor=#82b366;\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"220\" y=\"80\" width=\"80\" height=\"20\" as=\"geometry\"/></mxCell><mxCell id=\"13\" value=\"Namespace 3\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];fillColor=#ffe6cc;strokeColor=#d79b00;\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"220\" y=\"120\" width=\"80\" height=\"20\" as=\"geometry\"/></mxCell><mxCell id=\"14\" value=\"Namespace 4\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];fillColor=#fff2cc;strokeColor=#d6b656;\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"220\" y=\"160\" width=\"80\" height=\"20\" as=\"geometry\"/></mxCell><mxCell id=\"15\" value=\"Namespace 1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];fillColor=#dae8fc;strokeColor=#6c8ebf;\" vertex=\"1\" parent=\"2\"><mxGeometry x=\"220\" y=\"40\" width=\"80\" height=\"20\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 315.0000000000001, + "h": 230, + "aspect": "fixed", + "title": "legend" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"2.2737367544323206e-13\" width=\"120\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 120, + "h": 30, + "aspect": "fixed", + "title": "named class" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"2.2737367544323206e-13\" width=\"60\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 60, + "h": 30, + "aspect": "fixed", + "title": "unnamed class" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=block;html=1;fontColor=#000099;exitX=0.5;exitY=0;exitDx=0;exitDy=0;endFill=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"4\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-225\" y=\"40\" as=\"sourcePoint\"/><mxPoint x=\"-67.00000000001069\" y=\"40\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"100\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 100, + "h": 130, + "aspect": "fixed", + "title": "subclass form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;exitX=0.5;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-225\" y=\"40\" as=\"sourcePoint\"/><mxPoint x=\"-67.00000000001069\" y=\"40\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&amp;lt;&amp;lt;rdfs:subClassOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"100\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 100, + "h": 130, + "aspect": "fixed", + "title": "subclass form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"65\" y=\"65\" as=\"sourcePoint\"/><mxPoint x=\"229.9999999999893\" y=\"78.00000000000023\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&amp;lt;&amp;lt;owl:equivalentClass&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint x=\"29.29\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"297\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 397.00000000000017, + "h": 30.000000000000004, + "aspect": "fixed", + "title": "equivalent form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"≡\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=17;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"130\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"40\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"190\" y=\"40\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=12;entryX=1;entryY=0.5;entryDx=0;entryDy=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"180\" y=\"32.5\" as=\"sourcePoint\"/><mxPoint x=\"30\" y=\"42.5\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=12;exitX=0.5;exitY=1;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"235\" y=\"28.5\" as=\"sourcePoint\"/><mxPoint x=\"182\" y=\"27.5\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 290, + "h": 70, + "aspect": "fixed", + "title": "equivalent form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"65\" y=\"65\" as=\"sourcePoint\"/><mxPoint x=\"229.9999999999893\" y=\"78.00000000000023\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&amp;lt;&amp;lt;owl:disjointWith&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint x=\"34.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"296\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 395.9999999999998, + "h": 30.000000000000004, + "aspect": "fixed", + "title": "disjoint form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"⊥\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=17;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"130\" y=\"-1.1368683772161603e-13\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"39.999999999999886\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"190\" y=\"39.999999999999886\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=12;entryX=1;entryY=0.5;entryDx=0;entryDy=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"171.99999999999955\" y=\"29.999999999999886\" as=\"sourcePoint\"/><mxPoint x=\"22\" y=\"39.999999999999886\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=12;exitX=0.5;exitY=1;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"227\" y=\"25.999999999999886\" as=\"sourcePoint\"/><mxPoint x=\"174\" y=\"24.999999999999886\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 290, + "h": 70, + "aspect": "fixed", + "title": "disjoint form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"⊥\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=17;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"150\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"115\" y=\"71.74000000000001\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=12;entryX=1;entryY=0.5;entryDx=0;entryDy=0;exitX=0;exitY=0.5;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"191.99999999999955\" y=\"30\" as=\"sourcePoint\"/><mxPoint x=\"42\" y=\"40\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endSize=12;exitX=0.5;exitY=1;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"247\" y=\"26\" as=\"sourcePoint\"/><mxPoint x=\"194\" y=\"25\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"ns:Class3\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"230\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"8\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=12;exitX=1;exitY=0.5;exitDx=0;exitDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"7\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"280\" y=\"-41.999999999999545\" as=\"sourcePoint\"/><mxPoint x=\"309\" y=\"-46.74000000000001\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 330, + "h": 101.74, + "aspect": "fixed", + "title": "disjoint form 3" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"171\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual2&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"171\" y=\"68.25999999999999\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"&lt;u&gt;ns:Individual3&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"171\" y=\"135.76\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:oneOf&amp;gt;&amp;gt;\" style=\"shape=hexagon;perimeter=hexagonPerimeter2;whiteSpace=wrap;html=1;fixedSize=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"68.25999999999999\" width=\"129.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;\" edge=\"1\" source=\"5\" target=\"3\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"221\" y=\"200.76\" as=\"sourcePoint\"/><mxPoint x=\"294\" y=\"145.76\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"113.46000000000004\" y=\"72.76999999999998\" as=\"sourcePoint\"/><mxPoint x=\"171\" y=\"49.75999999999999\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"8\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"41\" y=\"45.75999999999999\" as=\"sourcePoint\"/><mxPoint x=\"-29\" y=\"47.5\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 271, + "h": 165.76, + "aspect": "fixed", + "title": "enumeration form" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;font style=&quot;font-size: 17px;&quot;&gt;⨅&lt;/font&gt;\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=17;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"25\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"67\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"67\" y=\"50\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-148\" y=\"50\" as=\"sourcePoint\"/><mxPoint x=\"10\" y=\"50\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=1;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"35.606601717798185\" y=\"39.393398282201815\" as=\"sourcePoint\"/><mxPoint x=\"77\" y=\"25\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 167.00000000000014, + "h": 80, + "aspect": "fixed", + "title": "intersection form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;span style=&quot;text-align: left;&quot;&gt;&amp;lt;&amp;lt;owl:intersectionOf&amp;gt;&amp;gt;&lt;/span&gt;\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;labelPosition=left;verticalLabelPosition=bottom;align=right;verticalAlign=top;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"25\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"67\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"67\" y=\"50\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-148\" y=\"50\" as=\"sourcePoint\"/><mxPoint x=\"10\" y=\"50\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=1;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"35.606601717798185\" y=\"39.393398282201815\" as=\"sourcePoint\"/><mxPoint x=\"77\" y=\"25\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 167, + "h": 80, + "aspect": "fixed", + "title": "intersection form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;span class=&quot;st&quot;&gt;⨆&lt;/span&gt;\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=17;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"25\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"67\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"67\" y=\"50\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-148\" y=\"50\" as=\"sourcePoint\"/><mxPoint x=\"10\" y=\"50\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=1;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"35.606601717798185\" y=\"39.393398282201815\" as=\"sourcePoint\"/><mxPoint x=\"77\" y=\"25\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 167.00000000000014, + "h": 80, + "aspect": "fixed", + "title": "union form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;span style=&quot;text-align: left;&quot;&gt;&amp;lt;&amp;lt;owl:unionOf&amp;gt;&amp;gt;&lt;/span&gt;\" style=\"ellipse;whiteSpace=wrap;html=1;aspect=fixed;labelPosition=left;verticalLabelPosition=bottom;align=right;verticalAlign=top;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"20\" width=\"30\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"57\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"57\" y=\"50\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-158\" y=\"50\" as=\"sourcePoint\"/><mxPoint y=\"50\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=diamondThin;endSize=12;html=1;fontColor=#000099;exitX=1;exitY=1;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"25.606601717798185\" y=\"39.393398282201815\" as=\"sourcePoint\"/><mxPoint x=\"67\" y=\"25\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 157, + "h": 80, + "aspect": "fixed", + "title": "union form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;startArrow=none;startFill=0;startSize=8;rounded=0;edgeStyle=orthogonalEdgeStyle;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"76\" as=\"sourcePoint\"/><mxPoint x=\"215.9999999999893\" y=\"27.750000000000227\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&amp;lt;&amp;lt;owl:complementOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint x=\"28\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"255.5\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"2.2737367544323206e-13\" width=\"60\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 355.5, + "h": 30.000000000000227, + "aspect": "fixed", + "title": "complement of" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endSize=8;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"300\" y=\"20\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"(all) ns:objectProperty\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "universal restriction (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;(&lt;span class=&quot;ILfuVd NA6bn&quot;&gt;&lt;span class=&quot;e24Kjd&quot;&gt;∀&lt;/span&gt;&lt;/span&gt;) ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "universal restriction (OP) form 3" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;&lt;div&gt;&amp;lt;&amp;lt;owl:allValuesFrom&amp;gt;&amp;gt;&lt;/div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "universal restriction (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(all) ns:datatypeProperty1: prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "universal restriction (DP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(&lt;span style=&quot;background-color: rgb(255, 255, 255);&quot;&gt;∀&lt;/span&gt;) ns:datatypeProperty1: prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "universal restriction (DP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"(some) ns:objectProperty\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "existential restriction (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"14.999999999999886\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;(&lt;span class=&quot;ILfuVd NA6bn&quot;&gt;&lt;span class=&quot;e24Kjd&quot;&gt;∃&lt;/span&gt;&lt;/span&gt;) ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "existential restriction (OP) form 3" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;&lt;div&gt;&amp;lt;&amp;lt;owl:someValuesFrom&amp;gt;&amp;gt;&lt;/div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "existential restriction (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(some) ns:datatypeProperty1: prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "existential restriction (DP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(&lt;span style=&quot;background-color: rgb(255, 255, 255);&quot;&gt;∃&lt;/span&gt;) ns:datatypeProperty1: prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "existential restriction (DP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endSize=8;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"300\" y=\"20\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"(value) ns:objectProperty\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "hasValue form 1 (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"300\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endSize=8;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"110\" y=\"15.000000000000227\" as=\"sourcePoint\"/><mxPoint x=\"310\" y=\"20\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"(∋) ns:objectProperty\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 400, + "h": 30, + "aspect": "fixed", + "title": "hasValue form 2 (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endSize=8;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;rounded=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"15\" as=\"sourcePoint\"/><mxPoint x=\"300\" y=\"20\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:hasValue&amp;gt;&amp;gt;&lt;/div&gt;ns:objectProperty\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "hasValue form 3 (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(value) ns:datatypeProperty1: &quot;data_value&quot;^^prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "hasValue form 1 (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(&lt;span style=&quot;background-color: rgb(255, 255, 255);&quot;&gt;∋&lt;/span&gt;) ns:datatypeProperty1: &quot;data_value&quot;^^prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "hasValue form 2 (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"14.999999999999886\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:objectProperty (N1..N2)&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "cardinality restriction (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:datatypeProperty1 (N1..N2)\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "cardinality restriction (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"290\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"105\" y=\"14.999999999999886\" as=\"sourcePoint\"/><mxPoint x=\"290\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:objectProperty [N1..N2]&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 390, + "h": 30, + "aspect": "fixed", + "title": "qualified cardinality restriction (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"[N1..N2] ns:datatypeProperty1: prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"170\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"170\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 170, + "h": 60, + "aspect": "fixed", + "title": "qualified cardinality restriction (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;dashed=1;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"118.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"118.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1912\" y=\"-1\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374.0000000000001, + "h": 30, + "aspect": "fixed", + "title": "no domain no range (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;dashed=1;startArrow=oval;startFill=0;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"118.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"118.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374.0000000000001, + "h": 30, + "aspect": "fixed", + "title": "no domain no range (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"118.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"118.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374.0000000000001, + "h": 30, + "aspect": "fixed", + "title": "domain and range (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;startArrow=oval;startFill=1;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"118.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"118.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374.0000000000001, + "h": 30, + "aspect": "fixed", + "title": "domain and range (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;startArrow=oval;startFill=1;dashed=1;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"118.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"118.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374.0000000000001, + "h": 30, + "aspect": "fixed", + "title": "yes domain and no range (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;startArrow=oval;startFill=0;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"118.32999999999993\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"118.32999999999993\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374.0000000000001, + "h": 30, + "aspect": "fixed", + "title": "no domain and yes range (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"60\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"190\" y=\"105\" width=\"120\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"105\" width=\"120\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endSize=8;arcSize=0;exitX=1;exitY=1;exitDx=0;exitDy=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"190\" y=\"56\" as=\"sourcePoint\"/><mxPoint x=\"4.389999999999986\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;rdfs:range&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"5\"><mxGeometry x=\"-0.3525\" y=\"-1\" relative=\"1\" as=\"geometry\"><mxPoint x=\"7.82\" y=\"5.56\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=8;entryX=0.5;entryY=0;entryDx=0;entryDy=0;arcSize=0;exitX=0;exitY=1;exitDx=0;exitDy=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"19.99660171779817\" y=\"180.60660171779818\" as=\"sourcePoint\"/><mxPoint x=\"71.38999999999999\" y=\"155\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"8\" value=\"&lt;div&gt;&amp;lt;&amp;lt;rdfs:domain&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"7\"><mxGeometry x=\"-0.055\" y=\"2\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-1\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 310, + "h": 135, + "aspect": "fixed", + "title": "domain and/or range (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"128\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;rdfs:subPropertyOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 202.99999999999994, + "aspect": "fixed", + "title": "sub property of (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint y=\"72.5\" as=\"sourcePoint\"/><mxPoint x=\"197\" y=\"72.5\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty2&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;exitX=0.5;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"153\" y=\"71\" as=\"sourcePoint\"/><mxPoint x=\"153\" y=\"1.1700000000000728\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"&amp;lt;&amp;lt;rdfs:subPropertyOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"6\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-13.370000000000001\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 73.5, + "aspect": "fixed", + "title": "sub property of (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"134.75\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:equivalentProperty&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 209.7499999999999, + "aspect": "fixed", + "title": "equivalent property (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint y=\"72.5\" as=\"sourcePoint\"/><mxPoint x=\"197\" y=\"72.5\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty2&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=8;startArrow=open;startFill=0;startSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"153\" y=\"73.92000000000007\" as=\"sourcePoint\"/><mxPoint x=\"153\" y=\"0.9200000000000728\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"&amp;lt;&amp;lt;owl:equivalentProperty&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"6\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-15.579999999999998\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 73.92000000000007, + "aspect": "fixed", + "title": "equivalent property (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"135.75\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:inverseOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 210.75000000000006, + "aspect": "fixed", + "title": "inverse of (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint y=\"72.5\" as=\"sourcePoint\"/><mxPoint x=\"197\" y=\"72.5\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty2&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;exitX=0.5;exitY=0;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"153\" y=\"70.99999999999955\" as=\"sourcePoint\"/><mxPoint x=\"153\" y=\"0.9999999999995453\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"&amp;lt;&amp;lt;owl:inverseOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"6\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-12.75\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 73.5, + "aspect": "fixed", + "title": "inverse of (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"134.75\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;rounded=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:propertyDisjointWith&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 209.75, + "aspect": "fixed", + "title": "disjoint of (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&amp;lt;&amp;lt;owl:AllDisjointProperties&amp;gt;&amp;gt;\" style=\"shape=hexagon;perimeter=hexagonPerimeter2;whiteSpace=wrap;html=1;fixedSize=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"118.25999999999999\" width=\"179.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;\" edge=\"1\" source=\"2\" target=\"7\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"271\" y=\"250.76\" as=\"sourcePoint\"/><mxPoint x=\"210\" y=\"120\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"2\" target=\"6\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"163.46000000000004\" y=\"122.76999999999998\" as=\"sourcePoint\"/><mxPoint x=\"221.0000000000001\" y=\"200.76\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"2\" target=\"8\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"91\" y=\"95.75999999999999\" as=\"sourcePoint\"/><mxPoint x=\"221.0000000000001\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty3&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"220\" y=\"190\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"7\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"220\" y=\"95.75999999999999\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"8\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"220\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 400, + "h": 265, + "aspect": "fixed", + "title": "all disjoint (OP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"123\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=8;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"130\" as=\"sourcePoint\"/><mxPoint x=\"170\" y=\"75\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:propertyChainAxiom&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint x=\"2\" y=\"3\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty3&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"240\" y=\"123\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"7\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty4&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"480\" y=\"123\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"8\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=11;arcSize=0;rounded=0;\" edge=\"1\" source=\"3\" target=\"6\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"218.60660171779818\" y=\"374.3933982822018\" as=\"sourcePoint\"/><mxPoint x=\"260\" y=\"360\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"9\" value=\"\" style=\"endArrow=diamondThin;html=1;fontColor=#000099;exitX=1.013;exitY=0.507;exitDx=0;exitDy=0;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=11;arcSize=0;rounded=0;exitPerimeter=0;\" edge=\"1\" source=\"6\" target=\"7\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"170\" y=\"171\" as=\"sourcePoint\"/><mxPoint x=\"250\" y=\"171\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 660.0000000000001, + "h": 197.99999999999994, + "aspect": "fixed", + "title": "property chain" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"(F) ns:objectProperty1 \" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 1, + "aspect": "fixed", + "title": "functional property (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt;&lt;div&gt;&amp;lt;&amp;lt;owl:FunctionalProperty&amp;gt;&amp;gt;&amp;nbsp;&lt;/div&gt;&lt;div&gt;ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "functional property (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;(IF) ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 1, + "aspect": "fixed", + "title": "inverse functional (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:InverseFunctionalProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "inverse functional (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"(T) ns:objectProperty1\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 1, + "aspect": "fixed", + "title": "transitive property (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:TransitiveProperty&amp;gt;&amp;gt;&amp;nbsp;&lt;/div&gt;&lt;div&gt;ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "transitive property (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;(S) ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 1, + "aspect": "fixed", + "title": "symmetric property (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:SymmetricProperty&amp;gt;&amp;gt;&amp;nbsp;&lt;/div&gt;&lt;div&gt;ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "symmetric property (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;(R) ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 0.3333333333333333, + "aspect": "fixed", + "title": "reflexive property (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ReflexiveProperty&amp;gt;&amp;gt;&amp;nbsp;&lt;/div&gt;&lt;div&gt;ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "reflexive property (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;(A) ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 0.3333333333333333, + "aspect": "fixed", + "title": "asymmetric property (OP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AsymmetricProperty&amp;gt;&amp;gt;&amp;nbsp;&lt;/div&gt;&lt;div&gt;ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "asymmetric property (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint as=\"sourcePoint\"/><mxPoint x=\"197\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;(IR) ns:objectProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 197, + "h": 0.3333333333333333, + "aspect": "fixed", + "title": "irreflexive property (OP) form1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:IrreflexiveProperty&amp;gt;&amp;gt;&amp;nbsp;&lt;/div&gt;&lt;div&gt;ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"250\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 250, + "h": 75, + "aspect": "fixed", + "title": "irreflexive property (OP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:datatypeProperty1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"29.999999999999886\" width=\"136\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"-1.1368683772161603e-13\" width=\"136\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 135.9999999999999, + "h": 60, + "aspect": "fixed", + "title": "no domain no range (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:datatypeProperty1: datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"29.999999999999886\" width=\"179\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"-1.1368683772161603e-13\" width=\"179\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 179.00000000000014, + "h": 60, + "aspect": "fixed", + "title": "domain and range (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:datatypeProperty1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"29.999999999999886\" width=\"136\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"-1.1368683772161603e-13\" width=\"136\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 135.9999999999999, + "h": 60, + "aspect": "fixed", + "title": "domain and no range (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:datatypeProperty1: datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"29.999999999999886\" width=\"179\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"-1.1368683772161603e-13\" width=\"179\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 179.00000000000014, + "h": 60, + "aspect": "fixed", + "title": "no domain and yes range (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"60.00000000000091\" y=\"-1.1368683772161603e-13\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"190.0000000000009\" y=\"104.99999999999989\" width=\"120\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"9.094947017729282e-13\" y=\"104.99999999999989\" width=\"120\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endSize=8;arcSize=0;exitX=1;exitY=1;exitDx=0;exitDy=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"195.0000000000009\" y=\"55.999999999999886\" as=\"sourcePoint\"/><mxPoint x=\"4.390000000000896\" y=\"180\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;rdfs:range&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"5\"><mxGeometry x=\"-0.3525\" y=\"-1\" relative=\"1\" as=\"geometry\"><mxPoint x=\"7.82\" y=\"5.56\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"7\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;endSize=8;entryX=0.5;entryY=0;entryDx=0;entryDy=0;arcSize=0;exitX=0;exitY=1;exitDx=0;exitDy=0;\" edge=\"1\" source=\"2\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"19.99660171779908\" y=\"180.60660171779818\" as=\"sourcePoint\"/><mxPoint x=\"71.3900000000009\" y=\"155\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"8\" value=\"&lt;div&gt;&amp;lt;&amp;lt;rdfs:domain&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"7\"><mxGeometry x=\"-0.055\" y=\"2\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-1\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 310, + "h": 135, + "aspect": "fixed", + "title": "domain and/or range (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=open;endSize=8;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;arcSize=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;rounded=0;\" edge=\"1\" source=\"2\" target=\"8\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-56.5\" y=\"196\" as=\"sourcePoint\"/><mxPoint x=\"3.5\" y=\"245\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;&amp;lt;&amp;lt;rdfs:range&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.3525\" y=\"-1\" relative=\"1\" as=\"geometry\"><mxPoint x=\"18\" y=\"-1\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&quot;value1&quot;^^prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"261.5\" y=\"130\" width=\"148.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&quot;value2&quot;^^prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"261.5\" y=\"198.26\" width=\"148.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"7\" value=\"&quot;value3&quot;^^prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"261.5\" y=\"265.76\" width=\"148.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"8\" value=\"&amp;lt;&amp;lt;owl:oneOf&amp;gt;&amp;gt;\" style=\"shape=hexagon;perimeter=hexagonPerimeter2;whiteSpace=wrap;html=1;fixedSize=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"90.5\" y=\"198.26\" width=\"129.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"9\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;\" edge=\"1\" source=\"8\" target=\"6\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"311.5\" y=\"330.76\" as=\"sourcePoint\"/><mxPoint x=\"384.5\" y=\"275.76\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"10\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"8\" target=\"7\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"203.96000000000004\" y=\"202.76999999999998\" as=\"sourcePoint\"/><mxPoint x=\"261.5\" y=\"179.76\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"11\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"8\" target=\"5\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"131.5\" y=\"175.76\" as=\"sourcePoint\"/><mxPoint x=\"61.5\" y=\"177.5\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 410, + "h": 295.76, + "aspect": "fixed", + "title": "enumerated datatype 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:datatypeProperty1: {&quot;value1&quot;^^prefix:datatype, &quot;value2&quot;^^prefix:datatype, &quot;value3&quot;^^prefix:datatype}\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];dashed=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"460\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"460\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 460, + "h": 60, + "aspect": "fixed", + "title": "enumerated datatype 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty1&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"1.1368683772161603e-13\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty2&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"145.0000000000001\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135.0000000000001\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65.00000000000011\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;rdfs:subPropertyOf&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 220, + "aspect": "fixed", + "title": "sub property of (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty1&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"1.1368683772161603e-13\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty2&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"145.0000000000001\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;arcSize=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135.0000000000001\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65.00000000000011\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:equivalentProperty&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-7.14\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 220, + "aspect": "fixed", + "title": "equivalent property (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty1&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty2&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"145\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;startArrow=open;startFill=0;startSize=8;arcSize=0;rounded=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-140\" y=\"135\" as=\"sourcePoint\"/><mxPoint x=\"-140\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:propertyDisjointWith&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-12\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 180, + "h": 220, + "aspect": "fixed", + "title": "disjoint of (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&amp;lt;&amp;lt;owl:AllDisjointProperties&amp;gt;&amp;gt;\" style=\"shape=hexagon;perimeter=hexagonPerimeter2;whiteSpace=wrap;html=1;fixedSize=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"118.25999999999999\" width=\"179.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;\" edge=\"1\" source=\"2\" target=\"7\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"271\" y=\"250.76\" as=\"sourcePoint\"/><mxPoint x=\"210\" y=\"120\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"2\" target=\"6\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"163.46000000000004\" y=\"122.76999999999998\" as=\"sourcePoint\"/><mxPoint x=\"221.0000000000001\" y=\"200.76\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"2\" target=\"8\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"91\" y=\"95.75999999999999\" as=\"sourcePoint\"/><mxPoint x=\"221.0000000000001\" y=\"65\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty3&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"220\" y=\"190\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"7\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty2&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"220\" y=\"95.75999999999999\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell><mxCell id=\"8\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"220\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 400, + "h": 265, + "aspect": "fixed", + "title": "all disjoint (DP)" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"(F) ns:datatypeProperty1 \" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"136\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"136\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 135.99999999999986, + "h": 60, + "aspect": "fixed", + "title": "functional property (DP) form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt;&lt;div&gt;&amp;lt;&amp;lt;owl:FunctionalProperty&amp;gt;&amp;gt; ns:datatypeProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"2.2737367544323206e-13\" width=\"230\" height=\"85\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 230, + "h": 85, + "aspect": "fixed", + "title": "functional property (DP) form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 100, + "h": 30, + "aspect": "fixed", + "title": "individual" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;exitX=0.5;exitY=0;exitDx=0;exitDy=0;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"50\" y=\"110\" as=\"sourcePoint\"/><mxPoint x=\"-77.00000000001069\" y=\"40\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"&amp;lt;&amp;lt;rdf:type&amp;gt;&amp;gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"2\"><mxGeometry x=\"-0.3277\" relative=\"1\" as=\"geometry\"><mxPoint y=\"-18.2\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"105\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 100, + "h": 135, + "aspect": "fixed", + "title": "individual type declaration form 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"30\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 100, + "h": 60, + "aspect": "fixed", + "title": "individual type declaration form 3" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"\" style=\"endArrow=open;html=1;fontColor=#000099;endFill=0;dashed=1;entryX=0.5;entryY=1;entryDx=0;entryDy=0;endSize=8;exitX=0.5;exitY=0;exitDx=0;exitDy=0;\" edge=\"1\" source=\"4\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"50\" y=\"110\" as=\"sourcePoint\"/><mxPoint x=\"-77.00000000001069\" y=\"40\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"80\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 100, + "h": 110, + "aspect": "fixed", + "title": "individual type declaration form 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1: ns:Class1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"139\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 139, + "h": 30, + "aspect": "fixed", + "title": "individual type declaration form 4" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual2&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"240\" y=\"0.5\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"73.00000000000045\" y=\"25\" as=\"sourcePoint\"/><mxPoint x=\"270\" y=\"25\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;ns:objectProperty&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 340, + "h": 30.500000000000114, + "aspect": "fixed", + "title": "individuals relation" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&quot;datatype_value&quot;^^prefix:datatype\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"240\" y=\"2.2737367544323206e-13\" width=\"190\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:datatypeProperty\" style=\"edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;fontSize=12;\" edge=\"1\" source=\"4\" target=\"2\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"2.2737367544323206e-13\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 429.99999999999983, + "h": 30, + "aspect": "fixed", + "title": "individuals datatype property association" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual2&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"275\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;endSize=8;entryX=0;entryY=0.5;entryDx=0;entryDy=0;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"502.25\" y=\"241.67999999999984\" as=\"sourcePoint\"/><mxPoint x=\"270\" y=\"15.5\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:sameAs&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 375, + "h": 30, + "aspect": "fixed", + "title": "same as" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual2&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"275\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;\" edge=\"1\" source=\"2\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"502.25\" y=\"235.20000000000005\" as=\"sourcePoint\"/><mxPoint x=\"677.25\" y=\"234.9599999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:differentFrom&amp;gt;&amp;gt;&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4\" y=\"-1\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 375, + "h": 30, + "aspect": "fixed", + "title": "different from" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"171\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual2&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"171\" y=\"68.25999999999999\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"&lt;u&gt;ns:Individual3&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"171\" y=\"135.76\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"&amp;lt;&amp;lt;owl:AllDifferent&amp;gt;&amp;gt;\" style=\"shape=hexagon;perimeter=hexagonPerimeter2;whiteSpace=wrap;html=1;fixedSize=1;\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"68.25999999999999\" width=\"129.5\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;\" edge=\"1\" source=\"5\" target=\"3\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"221\" y=\"200.76\" as=\"sourcePoint\"/><mxPoint x=\"294\" y=\"145.76\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"7\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"5\" target=\"4\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"113.46000000000004\" y=\"72.76999999999998\" as=\"sourcePoint\"/><mxPoint x=\"171\" y=\"49.75999999999999\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"8\" style=\"rounded=0;jumpSize=4;orthogonalLoop=1;jettySize=auto;html=1;dashed=1;endArrow=diamondThin;endSize=12;endFill=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;edgeStyle=orthogonalEdgeStyle;\" edge=\"1\" source=\"5\" target=\"2\" parent=\"1\"><mxGeometry relative=\"1\" as=\"geometry\"><mxPoint x=\"41\" y=\"45.75999999999999\" as=\"sourcePoint\"/><mxPoint x=\"-29\" y=\"47.5\" as=\"targetPoint\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 271, + "h": 165.76000000000005, + "aspect": "fixed", + "title": "all different" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 196, + "h": 85, + "aspect": "fixed", + "title": "annotation property declaration" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"89\" width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;\" edge=\"1\" source=\"4\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"228.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"228.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"5\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 374, + "h": 140, + "aspect": "fixed", + "title": "class annotation individual" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"89\" width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&amp;lt;https://w3id.org/example&amp;gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" y=\"110\" width=\"178\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;\" edge=\"1\" source=\"4\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"228.32999999999993\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"228.32999999999993\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"5\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 452, + "h": 140, + "aspect": "fixed", + "title": "class annotation URI reference" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"89\" width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"&quot;literal&quot;^^xsd:string\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"274\" y=\"110\" width=\"178\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"5\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;\" edge=\"1\" source=\"4\" target=\"3\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20\" y=\"228.32999999999998\" as=\"sourcePoint\"/><mxPoint x=\"192.00000000000023\" y=\"228.32999999999998\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"5\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 452, + "h": 140, + "aspect": "fixed", + "title": "class annotation literal" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"89\" width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"112\" y=\"110\" as=\"sourcePoint\"/><mxPoint x=\"282.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;u&gt;ns:Individual2&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"285\" y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 385, + "h": 140, + "aspect": "fixed", + "title": "individual annotation individual" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"89\" width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"112\" y=\"110\" as=\"sourcePoint\"/><mxPoint x=\"282.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;https://w3id.org/example&amp;gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"285\" y=\"110\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 472, + "h": 140, + "aspect": "fixed", + "title": "individual annotation URI reference" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"89\" width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"112\" y=\"110\" as=\"sourcePoint\"/><mxPoint x=\"282.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&quot;literal&quot;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"285\" y=\"110\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"110\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 472, + "h": 140, + "aspect": "fixed", + "title": "individual annotation literal" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"186\" y=\"125\" as=\"sourcePoint\"/><mxPoint x=\"368.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"371\" y=\"122.5\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"8\" y=\"100\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 558, + "h": 175, + "aspect": "fixed", + "title": "object property annotation individual" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"186\" y=\"125\" as=\"sourcePoint\"/><mxPoint x=\"368.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;https://w3id.org/example&amp;gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"371\" y=\"122.5\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"8\" y=\"100\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 558, + "h": 175, + "aspect": "fixed", + "title": "object property annotation URI reference" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"186\" y=\"125\" as=\"sourcePoint\"/><mxPoint x=\"368.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&quot;literal&quot;@en\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"371\" y=\"122.5\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"8\" y=\"100\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 558, + "h": 175, + "aspect": "fixed", + "title": "object property annotation literal" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"198\" y=\"137.5\" as=\"sourcePoint\"/><mxPoint x=\"378.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;u&gt;ns:Individual1&lt;/u&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"381\" y=\"122.5\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"8.00000000000091\" y=\"99.99999999999989\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 568, + "h": 175, + "aspect": "fixed", + "title": "datatype property annotation individual" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"198\" y=\"137.5\" as=\"sourcePoint\"/><mxPoint x=\"378.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&amp;lt;https://w3id.org/example&amp;gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"381\" y=\"122.5\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"8.00000000000091\" y=\"99.99999999999989\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 568, + "h": 175, + "aspect": "fixed", + "title": "datatype property annotation uri reference" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:AnnotationProperty&amp;gt;&amp;gt; ns:annotationProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"196\" height=\"85\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"\" style=\"endArrow=classic;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;dashed=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;\" edge=\"1\" source=\"6\" target=\"5\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"198\" y=\"137.5\" as=\"sourcePoint\"/><mxPoint x=\"378.0000000000057\" y=\"125\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"4\" value=\"&lt;div&gt;ns:annotationProperty1&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"3\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&quot;literal&quot;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"381\" y=\"122.5\" width=\"187\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"6\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"8.00000000000091\" y=\"99.99999999999989\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 568, + "h": 175, + "aspect": "fixed", + "title": "datatype property annotation literal" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;strike&gt;ns:Class&lt;/strike&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"120\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 120, + "h": 30, + "aspect": "fixed", + "title": "deprecated class" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"ns:Class2\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"273.9999999999999\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"-1.1368683772161603e-13\" width=\"100\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"4\" value=\"\" style=\"endArrow=classic;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;endSize=8;arcSize=0;rounded=0;\" edge=\"1\" source=\"3\" target=\"2\" parent=\"1\"><mxGeometry width=\"50\" height=\"50\" relative=\"1\" as=\"geometry\"><mxPoint x=\"-20.000000000000114\" y=\"118.32999999999993\" as=\"sourcePoint\"/><mxPoint x=\"192.0000000000001\" y=\"118.32999999999993\" as=\"targetPoint\"/></mxGeometry></mxCell><mxCell id=\"5\" value=\"&lt;div&gt;&lt;strike&gt;ns:objectProperty&lt;/strike&gt;&lt;/div&gt;\" style=\"text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=#ffffff;\" vertex=\"1\" connectable=\"0\" parent=\"4\"><mxGeometry x=\"-0.1269\" relative=\"1\" as=\"geometry\"><mxPoint x=\"4.17\" as=\"offset\"/></mxGeometry></mxCell></root></mxGraphModel>", + "w": 373.99999999999983, + "h": 30.000000000000107, + "aspect": "fixed", + "title": "deprecated object property 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&amp;lt;&amp;lt;owl:ObjectProperty&amp;gt;&amp;gt; ns:objectProperty1&lt;br&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 180, + "h": 75, + "aspect": "fixed", + "title": "deprecated object property 2" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;strike&gt;ns:datatypeProperty1: datatype&lt;/strike&gt;\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"29.999999999999886\" width=\"179\" height=\"30\" as=\"geometry\"/></mxCell><mxCell id=\"3\" value=\"ns:Class1\" style=\"rounded=0;whiteSpace=wrap;html=1;snapToPoint=1;points=[[0.1,0],[0.2,0],[0.3,0],[0.4,0],[0.5,0],[0.6,0],[0.7,0],[0.8,0],[0.9,0],[0,0.1],[0,0.3],[0,0.5],[0,0.7],[0,0.9],[0.1,1],[0.2,1],[0.3,1],[0.4,1],[0.5,1],[0.6,1],[0.7,1],[0.8,1],[0.9,1],[1,0.1],[1,0.3],[1,0.5],[1,0.7],[1,0.9]];\" vertex=\"1\" parent=\"1\"><mxGeometry y=\"-1.1368683772161603e-13\" width=\"179\" height=\"30\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 179.00000000000003, + "h": 60, + "aspect": "fixed", + "title": "deprecated datatype property 1" + }, + { + "xml": "<mxGraphModel><root><mxCell id=\"0\"/><mxCell id=\"1\" parent=\"0\"/><mxCell id=\"2\" value=\"&lt;div&gt;&lt;strike&gt;&amp;lt;&amp;lt;owl:DatatypeProperty&amp;gt;&amp;gt; ns:datatypeProperty1&lt;/strike&gt;&lt;/div&gt;\" style=\"rhombus;whiteSpace=wrap;html=1;\" vertex=\"1\" parent=\"1\"><mxGeometry x=\"-1.1368683772161603e-13\" width=\"180\" height=\"75\" as=\"geometry\"/></mxCell></root></mxGraphModel>", + "w": 180, + "h": 75, + "aspect": "fixed", + "title": "deprecated datatype property 2" + } +] \ No newline at end of file diff --git a/figures/example-subgraph.drawio b/figures/example-subgraph.drawio new file mode 100644 index 0000000..691c2a1 --- /dev/null +++ b/figures/example-subgraph.drawio @@ -0,0 +1,778 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/figures/ontology-overview.drawio b/figures/ontology-overview.drawio new file mode 100644 index 0000000..97edb85 --- /dev/null +++ b/figures/ontology-overview.drawio @@ -0,0 +1,557 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +