-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathowlrlplain.spin.ttl
236 lines (226 loc) · 22.2 KB
/
owlrlplain.spin.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
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
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
@prefix ex: <http://www.example.org/time#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sp: <http://spinrdf.org/sp#> .
@prefix spl: <http://spinrdf.org/spl#> .
owl:Thing spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/2002/07/owl#sourceIndividual> ?i . ?x <http://www.w3.org/2002/07/owl#assertionProperty> ?p . ?x <http://www.w3.org/2002/07/owl#targetValue> ?lt . ?i ?p ?lt .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Nothing> .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?c1 <http://www.w3.org/2002/07/owl#disjointWith> ?c2 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c1 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c2 .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AsymmetricProperty> . ?x ?p ?y . ?y ?p ?x .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/2002/07/owl#sameAs> ?y . ?x <http://www.w3.org/2002/07/owl#differentFrom> ?y .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/2002/07/owl#sourceIndividual> ?i1 . ?x <http://www.w3.org/2002/07/owl#assertionProperty> ?p . ?x <http://www.w3.org/2002/07/owl#targetIndividual> ?i2 . ?i1 ?p ?i2 .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#IrreflexiveProperty> . ?x ?p ?x .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/2002/07/owl#maxQualifiedCardinality> \"0\"^^xsd:integer . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?x <http://www.w3.org/2002/07/owl#onClass> ?c . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?y . ?y <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?c1 <http://www.w3.org/2002/07/owl#disjointWith> ?c2 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c1 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c2 .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/2002/07/owl#maxCardinality> \"0\"^^xsd:integer . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?y .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?c1 <http://www.w3.org/2002/07/owl#complementOf> ?c2 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c1 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c2 .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?p1 <http://www.w3.org/2002/07/owl#propertyDisjointWith> ?p2 . ?x ?p1 ?y . ?x ?p2 ?y .}"^^xsd:string
] ;
spin:constraint [ a sp:Ask ;
sp:text "ASK WHERE {?x <http://www.w3.org/2002/07/owl#maxQualifiedCardinality> \"0\"^^xsd:integer . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?x <http://www.w3.org/2002/07/owl#onClass> <http://www.w3.org/2002/07/owl#Thing> . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?o <http://www.w3.org/2002/07/owl#sameAs> ?o .} WHERE {?s ?p ?o .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y ?p1 ?x .} WHERE {?p1 <http://www.w3.org/2002/07/owl#inverseOf> ?p2 . ?x ?p2 ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?v <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?y .} WHERE {?x <http://www.w3.org/2002/07/owl#allValuesFrom> ?y . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?v .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2002/07/owl#equivalentProperty> ?p .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#DatatypeProperty> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c <http://www.w3.org/2002/07/owl#equivalentClass> ?c .} WHERE {?c <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#hasValue> ?i . ?c1 <http://www.w3.org/2002/07/owl#onProperty> ?p1 . ?c2 <http://www.w3.org/2002/07/owl#hasValue> ?i . ?c2 <http://www.w3.org/2002/07/owl#onProperty> ?p2 . ?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y1 <http://www.w3.org/2002/07/owl#sameAs> ?y2 .} WHERE {?x <http://www.w3.org/2002/07/owl#maxCardinality> \"1\"^^xsd:integer . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?y1 . ?u ?p ?y2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c1 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#equivalentClass> ?c2 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x ?p2 ?y .} WHERE {?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 . ?x ?p1 ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?s ?p2 ?o .} WHERE {?p <http://www.w3.org/2002/07/owl#sameAs> ?p2 . ?s ?p ?o .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 .} WHERE {?p1 <http://www.w3.org/2002/07/owl#equivalentProperty> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x .} WHERE {?x <http://www.w3.org/2002/07/owl#hasValue> ?y . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u ?p ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x ?p ?z .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#TransitiveProperty> . ?x ?p ?y . ?y ?p ?z .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p1 <http://www.w3.org/2000/01/rdf-schema#domain> ?c .} WHERE {?p2 <http://www.w3.org/2000/01/rdf-schema#domain> ?c . ?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2000/01/rdf-schema#domain> ?c2 .} WHERE {?p <http://www.w3.org/2000/01/rdf-schema#domain> ?c1 . ?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2002/07/owl#sameAs> ?p .} WHERE {?s ?p ?o .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#equivalentClass> ?c2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c1 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#equivalentClass> ?c2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?s <http://www.w3.org/2002/07/owl#sameAs> ?s .} WHERE {?s ?p ?o .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?u ?p ?y .} WHERE {?x <http://www.w3.org/2002/07/owl#hasValue> ?y . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y1 <http://www.w3.org/2002/07/owl#sameAs> ?y2 .} WHERE {?x <http://www.w3.org/2002/07/owl#maxQualifiedCardinality> \"1\"^^xsd:string . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?x <http://www.w3.org/2002/07/owl#onClass> <http://www.w3.org/2002/07/owl#Thing> . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?y1 . ?u ?p ?y2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2002/07/owl#Thing> .} WHERE {?c <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2000/01/rdf-schema#range> ?c2 .} WHERE {?p <http://www.w3.org/2000/01/rdf-schema#range> ?c1 . ?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c2 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#equivalentClass> ?c2 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c1 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y <http://www.w3.org/2002/07/owl#sameAs> ?x .} WHERE {?x <http://www.w3.org/2002/07/owl#sameAs> ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p1 <http://www.w3.org/2002/07/owl#equivalentProperty> ?p2 .} WHERE {?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 . ?p2 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p1 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2002/07/owl#equivalentProperty> ?p .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x ?p2 ?y .} WHERE {?p1 <http://www.w3.org/2002/07/owl#equivalentProperty> ?p2 . ?x ?p1 ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#allValuesFrom> ?y1 . ?c1 <http://www.w3.org/2002/07/owl#onProperty> ?p . ?c2 <http://www.w3.org/2002/07/owl#allValuesFrom> ?y2 . ?c2 <http://www.w3.org/2002/07/owl#onProperty> ?p . ?y1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?y2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?s2 ?p ?o .} WHERE {?s <http://www.w3.org/2002/07/owl#sameAs> ?s2 . ?s ?p ?o .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?s ?p ?o2 .} WHERE {?o <http://www.w3.org/2002/07/owl#sameAs> ?o2 . ?s ?p ?o .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x <http://www.w3.org/2002/07/owl#sameAs> ?z .} WHERE {?x <http://www.w3.org/2002/07/owl#sameAs> ?y . ?y <http://www.w3.org/2002/07/owl#sameAs> ?z .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y1 <http://www.w3.org/2002/07/owl#sameAs> ?y2 .} WHERE {?x <http://www.w3.org/2002/07/owl#maxQualifiedCardinality> \"1\"^^xsd:integer . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?x <http://www.w3.org/2002/07/owl#onClass> ?c . ?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x . ?u ?p ?y1 . ?y1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c . ?u ?p ?y2 . ?y2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c1 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#allValuesFrom> ?y . ?c1 <http://www.w3.org/2002/07/owl#onProperty> ?p1 . ?c2 <http://www.w3.org/2002/07/owl#allValuesFrom> ?y . ?c2 <http://www.w3.org/2002/07/owl#onProperty> ?p2 . ?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {<http://www.w3.org/2002/07/owl#Nothing> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c .} WHERE {?c <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2002/07/owl#equivalentClass> ?c2 .} WHERE {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 . ?c2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c1 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p3 .} WHERE {?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 . ?p2 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p3 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c .} WHERE {?p <http://www.w3.org/2000/01/rdf-schema#domain> ?c . ?x ?p ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#someValuesFrom> ?y1 . ?c1 <http://www.w3.org/2002/07/owl#onProperty> ?p . ?c2 <http://www.w3.org/2002/07/owl#someValuesFrom> ?y2 . ?c2 <http://www.w3.org/2002/07/owl#onProperty> ?p . ?y1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?y2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p1 <http://www.w3.org/2000/01/rdf-schema#range> ?c .} WHERE {?p2 <http://www.w3.org/2000/01/rdf-schema#range> ?c . ?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x ?p1 ?y .} WHERE {?p1 <http://www.w3.org/2002/07/owl#equivalentProperty> ?p2 . ?x ?p2 ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y ?p2 ?x .} WHERE {?p1 <http://www.w3.org/2002/07/owl#inverseOf> ?p2 . ?x ?p1 ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y ?p ?x .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#SymmetricProperty> . ?x ?p ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#DatatypeProperty> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p2 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p1 .} WHERE {?p1 <http://www.w3.org/2002/07/owl#equivalentProperty> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c2 .} WHERE {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 . ?x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c1 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c3 .} WHERE {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 . ?c2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c3 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c2 .} WHERE {?c1 <http://www.w3.org/2002/07/owl#someValuesFrom> ?y . ?c1 <http://www.w3.org/2002/07/owl#onProperty> ?p1 . ?c2 <http://www.w3.org/2002/07/owl#someValuesFrom> ?y . ?c2 <http://www.w3.org/2002/07/owl#onProperty> ?p2 . ?p1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x .} WHERE {?x <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.w3.org/2002/07/owl#Thing> . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u ?p ?v .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?u <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?x .} WHERE {?x <http://www.w3.org/2002/07/owl#someValuesFrom> ?y . ?x <http://www.w3.org/2002/07/owl#onProperty> ?p . ?u ?p ?v . ?v <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?c <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?c .} WHERE {?c <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?c .} WHERE {?p <http://www.w3.org/2000/01/rdf-schema#range> ?c . ?x ?p ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?p <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> ?p .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?x1 <http://www.w3.org/2002/07/owl#sameAs> ?x2 .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#InverseFunctionalProperty> . ?x1 ?p ?y . ?x2 ?p ?y .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text "CONSTRUCT {?y1 <http://www.w3.org/2002/07/owl#sameAs> ?y2 .} WHERE {?p <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#FunctionalProperty> . ?x ?p ?y1 . ?x ?p ?y2 .}"^^xsd:string
] ;
spin:rule [ a sp:Construct ;
sp:text """
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
CONSTRUCT {?y1 a ?C .} WHERE {
?C owl:intersectionOf ?l .
?l rdf:first ?C1 .
?l rdf:rest ?R .
?R rdf:first ?C2 .
?R rdf:rest rdf:nil .
?y1 a ?C1 .
?y1 a ?C2 .
}"""^^xsd:string
] .