style.n3
1.04 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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix g: <http://www.w3.org/2001/02pd/gv#>.
@prefix p: <http://ontologies-r-us.org/schemata/people#> .
@prefix o: <http://ontologies-r-us.org/schemata/organizations#> .
@prefix : <style#>.
@prefix v: <#>.
<> g:digraph :theGraph.
:theGraph g:label "Example Scenario\\n$Id: style.n3,v 1.2 2001/05/23 19:49:26 connolly Exp $";
g:rankdir "LR".
this log:forAll v:n, v:p, v:str.
{ v:p a g:EdgeProperty;
rdfs:label v:str }
log:implies { v:p g:label v:str }.
{ v:n a p:Person;
p:name v:str. }
log:implies { :theGraph g:hasNode v:n.
v:n g:label v:str; g:shape "plaintext" }.
p:livesIn a g:EdgeProperty.
p:worksFor a g:EdgeProperty.
p:isParentOf a g:EdgeProperty.
p:isStudentAt a g:EdgeProperty.
{ v:n a o:Company;
o:name v:str }
log:implies { :theGraph g:hasNode v:n.
v:n g:shape "diamond"; g:label v:str }.
o:isClientOf a g:EdgeProperty.
o:clientOf a g:EdgeProperty; g:label "is client of". # @@hack
o:hasLocation a g:EdgeProperty.