-
Notifications
You must be signed in to change notification settings - Fork 45
Expand file tree
/
Copy pathrules-ns.ttl
More file actions
162 lines (133 loc) · 5.69 KB
/
rules-ns.ttl
File metadata and controls
162 lines (133 loc) · 5.69 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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
PREFIX ex: <http://example.org/>
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 srl: <http://www.w3.org/ns/shacl-rules#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX dc: <http://purl.org/dc/elements/1.1/>
<> a owl:Ontology ;
dc:title "The SHACL Rules Language Vocabulary (SRL)" ;
dc:date "2026-12-31" ;
dc:description "This is the RDF Schema for SHACL Rules." ;
rdfs:seeAlso <https://w3c.org/TR/shacl12-rules> .
#### SHACL Rules Syntax
## -- Classes
srl:RuleSet rdf:type rdfs:Class ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-rule-set> ;
rdfs:label "Rule Set" ;
rdfs:comment "The class of rule sets." .
srl:Rule rdf:type rdfs:Class ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-rule> ;
rdfs:label "A SHACL Rule" ;
rdfs:comment "The class of SHACL Rules." .
## -- Properties
srl:rules rdf:type rdf:Property ;
rdfs:domain srl:RuleSet ;
# range - list of rules
rdfs:isDefinedBy srl: ;
rdfs:label "Rules of a Rule Set" ;
rdfs:comment "The list of rules of the rule set." .
srl:data rdf:type rdf:Property ;
rdfs:domain srl:RuleSet ;
# range - list
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-data-block> ;
rdfs:label "Data" ;
rdfs:comment "The list of data of the rule set." .
srl:head rdf:type rdf:Property ;
rdfs:domain srl:Rule ;
# range - list of triple templates
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-rule-head> ;
rdfs:label "Rule head" ;
rdfs:comment "The consequent of a rule." .
srl:body rdf:type rdf:Property ;
rdfs:domain srl:Rule ;
# range : list of rule elements
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-rule-body> ;
rdfs:label "Rule body" ;
rdfs:comment "The antecedent of a rule." .
## -- Rule Body
srl:RuleElement rdf:type rdfs:Class ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-rule-body-element> ;
rdfs:label "A SHACL Rule Element" ;
rdfs:comment "The class of SHACL Rule Elements." .
srl:TriplePattern rdf:type rdfs:Class ;
rdfs:subClassOf srl:RuleElement ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-triple-pattern> ;
rdfs:label "A SHACL Rule Element" ;
rdfs:comment "The class of triple patterns." .
srl:CondidtionElement rdf:type rdfs:Class ;
rdfs:subClassOf srl:RuleElement ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-condition-element> ;
rdfs:label "A SHACL Rule condition element" ;
rdfs:comment "The class of SHACL condition elements." .
srl:AssignmentElement rdf:type rdfs:Class ;
rdfs:subClassOf srl:RuleElement ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-assignment-element> ;
rdfs:label "A SHACL Rule assignment element" ;
rdf:comment "The class of SHACL assignment elements." .
srl:NegationElement rdf:type rdfs:Class ;
rdfs:subClassOf srl:RuleElement ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#dfn-negation-element> ;
rdfs:label "A SHACL Rule negation element" ;
rdf:comment "The class of SHACL negation elements." .
## ----
srl:filter rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:label "filter" ;
rdfs:comment "A filter rule element" .
## @@Remove
srl:assign rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:label "assign" ;
rdfs:comment "An asssignment rule element" .
srl:assignVar rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:label "assignment variable" ;
rdfs:comment "The variable of an assignment" .
srl:assignValue rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:label "addignment value" ;
rdfs:comment "The value or expression for an assignment" .
srl:not rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:label "negation rule element" ;
rdfs:comment "A negation rule element" .
## ----
srl:subject rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:range rdfs:Resource ;
rdfs:label "subject" ;
rdfs:comment "The subject of a triple, triple pattern or triple template." .
srl:predicate rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:range rdfs:Resource ;
rdfs:label "predicate" ;
rdfs:comment "The predicate of a triple, triple pattern or triple template." .
srl:object rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:range rdfs:Resource ;
rdfs:label "object" ;
rdfs:comment "The object of a triple, triple pattern or triple template." .
srl:varName rdf:type rdf:Property ;
rdfs:isDefinedBy srl: ;
rdfs:isDefinedBy <https://www.w3.org/TR/shacl12-rules/#rdf-rules-syntax> ;
rdfs:label "name of a variable" ;
rdfs:comment "Name of a variable name." .