-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrdflog.shacl.ttl
66 lines (55 loc) · 4.73 KB
/
rdflog.shacl.ttl
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
61
62
63
64
65
66
# sh ~/shacl-1.4.2/bin/shaclvalidate.sh -shapesfile ~/projects/pyjviz/rdflog.shacl.ttl -datafile ~/.pyjviz/rdflog/conditional_join.ttl
#
@base <https://github.com/pyjanitor-devs/pyjviz/rdflog.shacl.ttl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dash: <http://datashapes.org/dash#> .
<Arrow> rdf:type rdfs:Class; rdf:type sh:NodeShape; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1; sh:class <Arrow>];
sh:property [sh:path <from>; sh:minCount 1; sh:maxCount 1; sh:class <RDFNode>];
sh:property [sh:path <to>; sh:minCount 1; sh:maxCount 1; sh:class <RDFNode>];
sh:property [sh:path <arrow-label>; sh:minCount 1; sh:maxCount 1; sh:dataclass xsd:string].
<WithBlock> rdf:type rdfs:Class; rdf:type sh:NodeShape; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1; sh:class <WithBlock>];
sh:property [sh:path rdf:label; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <part-of>; sh:minCount 1; sh:maxCount 1; sh:or ([sh:class <WithBlock>] [sh:node rdf:nil])].
<CodeBlock> rdf:type rdfs:Class; rdfs:subClassOf <WithBlock>; rdf:type sh:NodeShape; dash:closedByType true.
<MethodCall> rdf:type rdfs:Class; rdfs:subClassOf <WithBlock>; rdf:type sh:NodeShape; dash:closedByType true;
sh:property [sh:path <method-counter>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:integer];
sh:property [sh:path <method-stack-depth>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:integer];
sh:property [sh:path <method-stack-trace>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <method-display>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <method-call-arg0>; sh:minCount 1; sh:maxCount 1; sh:class <ObjState>];
sh:property [sh:path <method-call-arg0-name>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <method-call-arg1>; sh:minCount 0; sh:maxCount 1; sh:or ([sh:class <ObjState>] [sh:class <NestedCall>])];
sh:property [sh:path <method-call-arg2>; sh:minCount 0; sh:maxCount 1; sh:class <ObjState>];
sh:property [sh:path <method-call-return>; sh:minCount 1; sh:maxCount 1; sh:class <ObjState>].
<NestedCall> rdf:type rdfs:Class; rdf:type sh:NodeShape; sh:closed true;
sh:property [sh:path <ret-val>; sh:minCount 1; sh:maxCount 1; sh:class <ObjState>].
<Obj> rdf:type rdfs:Class; rdf:type sh:NodeShape; sh:closed true; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1; sh:class <Obj>];
sh:property [sh:path <obj-type>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <obj-uuid>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <obj-pyid>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:integer].
<ObjState> rdf:type rdfs:Class; rdf:type sh:NodeShape; sh:closed true; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1; sh:class <ObjState>];
sh:property [sh:path <part-of>; sh:minCount 1; sh:maxCount 1; sh:class <WithBlock>];
sh:property [sh:path <obj>; sh:minCount 1; sh:maxCount 1; sh:class <Obj>];
sh:property [sh:path <version>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <df-shape>; sh:minCount 1; sh:maxCount: 1; sh:datatype xsd:string];
sh:property [sh:path <df-head>; sh:minCount 0; sh:maxCount: 1; ; sh:datatype xsd:string].
<ObjStateCC> rdf:type rdfs:Class; rdf:type sh:NodeShape; sh:closed true; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1; sh:class <ObjStateCC>];
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1; sh:class <CC>];
<CC> rdf:type rdfs:Class; rdf:type sh:NodeShape; sh:closed true; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1];
<CCGlance> rdf:type rdfs:Class; rdfs:subClassOf <CC>; rdf:type sh:NodeShape; sh:closed true; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1];
sh:property [sh:path <shape>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <head>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
<CCBasicPlot> rdf:type rdfs:Class; rdfs:subClassOf <CC>; rdf:type sh:NodeShape; sh:closed true; dash:closedByType true;
sh:property [sh:path rdf:type; sh:minCount 1; sh:maxCount 1];
sh:property [sh:path <shape>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];
sh:property [sh:path <plot-im>; sh:minCount 1; sh:maxCount 1; sh:datatype xsd:string];