auditDiagram.n3
1.13 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
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p: <http://www.w3.org/2001/02pd/rec54#>.
@prefix g: <http://www.w3.org/2001/02pd/gv#>.
@prefix : <#>.
######
#
# Diagramatic stylesheet...
#
this log:forAll :C, :C1, :C2, :e1.
{ :C u:subClassOf p:TRPub } log:implies { :C g:color "blue" }.
{ :C u:subClassOf p:ACnotice } log:implies { :C g:color "green" }.
{ :C u:subClassOf p:WGAction } log:implies { :C g:color "brown" }.
{ :C u:subClassOf p:ACaction } log:implies { :C g:color "orange" }.
:dottedEdgeTo a g:EdgeProperty;
g:style "dotted".
:solidEdgeTo a g:EdgeProperty.
{ <#C1> is p:effect of <#C2> } log:implies
{ <#C2> :dottedEdgeTo <#C1> }.
{ <#C1> p:cites <#C2> } log:implies
{ <#C2> :solidEdgeTo <#C1> }.
u:label u:subPropertyOf g:label. #hmm... exceptions.
this log:forAll :s, :p, :o.
{ :s [ u:subPropertyOf :p ] :o } log:implies { :s :p :o }.
this log:forAll :g, :p, :n1, :n2.
{ :g g:hasNode :n1.
:n1 :p :n2.
:p a g:EdgeProperty }
log:implies { :g g:hasNode :n2 }.
{ :g g:hasNode :n1.
:n2 :p :n1.
:p a g:EdgeProperty }
log:implies { :g g:hasNode :n2 }.