orgDiagram.n3
1.64 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
@prefix g: <http://www.w3.org/2001/02pd/gv#>.
@prefix l: <http://www.w3.org/2000/10/swap/log.n3#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix o: <http://www.w3.org/2001/02pd/swa2#>.
@prefix : <http://www.w3.org/2001/02pd/orgDiagram#>.
@prefix v: <#>.
<> l:forAll
v:prop, v:str,
v:n1, v:n2, v:ek,
v:thing, v:org,
v:context, v:graph, v:subg.
{ v:thing a o:Person;
u:label v:str. }
l:implies { v:thing g:shape "plaintext"; g:label v:str }.
{ v:prop a g:EdgeProperty;
u:label v:str } l:implies { v:prop g:label v:str }.
:IntraClusterProperty u:subClassOf g:EdgeProperty.
o:lead a :IntraClusterProperty.
o:director a :IntraClusterProperty.
o:chair a :IntraClusterProperty.
o:hasGroup a :IntraClusterProperty.
{ v:graph g:hasNode v:n1.
v:n1 v:ek v:n2.
v:ek a :IntraClusterProperty. }
l:implies { v:graph g:hasNode v:n2. }.
{ v:thing a o:IG; u:label v:str }
l:implies { v:thing g:shape "polygon"; g:label v:str }.
{ v:thing a o:WG; u:label v:str }
l:implies { v:thing g:shape "polygon"; g:style "bold"; g:label v:str }.
{ v:thing a o:CG; u:label v:str }
l:implies { v:thing g:shape "diamond"; g:style "bold"; g:label v:str }.
{ v:thing a o:WGplanned; u:label v:str }
l:implies { v:thing g:shape "polygon"; g:style "bold,dotted"; g:label v:str }.
o:hasDomain u:subPropertyOf :subStructure;
a g:EdgeProperty.
o:hasActivity u:subPropertyOf :subStructure;
a g:EdgeProperty.
{ v:graph g:hasNode v:org.
v:org :subStructure v:thing.
v:thing u:label v:str.
v:subg is :cluster of v:thing }
l:implies { v:graph g:subgraph v:subg.
v:subg g:label v:str.
v:thing g:label "".
v:subg g:hasNode v:thing. }.