5:-module(owl,[allDifferent/1,annotationProperty/1,class/1,dataRange/1,datatypeProperty/1,deprecatedClass/1,deprecatedProperty/1,functionalProperty/1,inverseFunctionalProperty/1,namedIndividual/1,nothing/1,objectProperty/1,ontology/1,ontologyProperty/1,restriction/1,symmetricProperty/1,thing/1,transitiveProperty/1,first/2,object/2,predicate/2,rest/2,subject/2,type/2,value/2,comment/2,domain/2,isDefinedBy/2,label/2,member_triple/2,range/2,seeAlso/2,subClassOf/2,subPropertyOf/2,allValuesFrom/2,backwardCompatibleWitesh/2,cardinality/2,complementOf/2,differentFrom/2,disjointWith/2,distinctMembers/2,equivalentClass/2,equivalentProperty/2,hasValue/2,imports/2,incompatibleWith/2,intersectionOf/2,inverseOf/2,maxCardinality/2,minCardinality/2,onProperty/2,oneOf/2,priorVersion/2,sameAs/2,sameIndividualAs/2,someValuesFrom/2,unionOf/2,versionInfo/2,first/3,object/3,predicate/3,rest/3,subject/3,type/3,value/3,comment/3,domain/3,isDefinedBy/3,label/3,member_triple/3,range/3,seeAlso/3,subClassOf/3,subPropertyOf/3,allValuesFrom/3,backwardCompatibleWitesh/3,cardinality/3,complementOf/3,differentFrom/3,disjointWith/3,distinctMembers/3,equivalentClass/3,equivalentProperty/3,hasValue/3,imports/3,incompatibleWith/3,intersectionOf/3,inverseOf/3,maxCardinality/3,minCardinality/3,onProperty/3,oneOf/3,priorVersion/3,sameAs/3,sameIndividualAs/3,someValuesFrom/3,unionOf/3,versionInfo/3,first_node/3,object_node/3,predicate_node/3,rest_node/3,subject_node/3,type_node/3,value_node/3,comment_node/3,domain_node/3,isDefinedBy_node/3,label_node/3,member_triple_node/3,range_node/3,seeAlso_node/3,subClassOf_node/3,subPropertyOf_node/3,allValuesFrom_node/3,backwardCompatibleWitesh_node/3,cardinality_node/3,complementOf_node/3,differentFrom_node/3,disjointWith_node/3,distinctMembers_node/3,equivalentClass_node/3,equivalentProperty_node/3,hasValue_node/3,imports_node/3,incompatibleWith_node/3,intersectionOf_node/3,inverseOf_node/3,maxCardinality_node/3,minCardinality_node/3,onProperty_node/3,oneOf_node/3,priorVersion_node/3,sameAs_node/3,sameIndividualAs_node/3,someValuesFrom_node/3,unionOf_node/3,versionInfo_node/3,first_node/4,object_node/4,predicate_node/4,rest_node/4,subject_node/4,type_node/4,value_node/4,comment_node/4,domain_node/4,isDefinedBy_node/4,label_node/4,member_triple_node/4,range_node/4,seeAlso_node/4,subClassOf_node/4,subPropertyOf_node/4,allValuesFrom_node/4,backwardCompatibleWitesh_node/4,cardinality_node/4,complementOf_node/4,differentFrom_node/4,disjointWith_node/4,distinctMembers_node/4,equivalentClass_node/4,equivalentProperty_node/4,hasValue_node/4,imports_node/4,incompatibleWith_node/4,intersectionOf_node/4,inverseOf_node/4,maxCardinality_node/4,minCardinality_node/4,onProperty_node/4,oneOf_node/4,priorVersion_node/4,sameAs_node/4,sameIndividualAs_node/4,someValuesFrom_node/4,unionOf_node/4,versionInfo_node/4,first_axiom/3,object_axiom/3,predicate_axiom/3,rest_axiom/3,subject_axiom/3,type_axiom/3,value_axiom/3,comment_axiom/3,domain_axiom/3,isDefinedBy_axiom/3,label_axiom/3,member_triple_axiom/3,range_axiom/3,seeAlso_axiom/3,subClassOf_axiom/3,subPropertyOf_axiom/3,allValuesFrom_axiom/3,backwardCompatibleWitesh_axiom/3,cardinality_axiom/3,complementOf_axiom/3,differentFrom_axiom/3,disjointWith_axiom/3,distinctMembers_axiom/3,equivalentClass_axiom/3,equivalentProperty_axiom/3,hasValue_axiom/3,imports_axiom/3,incompatibleWith_axiom/3,intersectionOf_axiom/3,inverseOf_axiom/3,maxCardinality_axiom/3,minCardinality_axiom/3,onProperty_axiom/3,oneOf_axiom/3,priorVersion_axiom/3,sameAs_axiom/3,sameIndividualAs_axiom/3,someValuesFrom_axiom/3,unionOf_axiom/3,versionInfo_axiom/3,first_axiom/4,object_axiom/4,predicate_axiom/4,rest_axiom/4,subject_axiom/4,type_axiom/4,value_axiom/4,comment_axiom/4,domain_axiom/4,isDefinedBy_axiom/4,label_axiom/4,member_triple_axiom/4,range_axiom/4,seeAlso_axiom/4,subClassOf_axiom/4,subPropertyOf_axiom/4,allValuesFrom_axiom/4,backwardCompatibleWitesh_axiom/4,cardinality_axiom/4,complementOf_axiom/4,differentFrom_axiom/4,disjointWith_axiom/4,distinctMembers_axiom/4,equivalentClass_axiom/4,equivalentProperty_axiom/4,hasValue_axiom/4,imports_axiom/4,incompatibleWith_axiom/4,intersectionOf_axiom/4,inverseOf_axiom/4,maxCardinality_axiom/4,minCardinality_axiom/4,onProperty_axiom/4,oneOf_axiom/4,priorVersion_axiom/4,sameAs_axiom/4,sameIndividualAs_axiom/4,someValuesFrom_axiom/4,unionOf_axiom/4,versionInfo_axiom/4,op(300,xfy,first),op(300,xfy,object),op(300,xfy,predicate),op(300,xfy,rest),op(300,xfy,subject),op(300,xfy,type),op(300,xfy,value),op(300,xfy,comment),op(300,xfy,domain),op(300,xfy,isDefinedBy),op(300,xfy,label),op(300,xfy,member_triple),op(300,xfy,range),op(300,xfy,seeAlso),op(300,xfy,subClassOf),op(300,xfy,subPropertyOf),op(300,xfy,allValuesFrom),op(300,xfy,backwardCompatibleWitesh),op(300,xfy,cardinality),op(300,xfy,complementOf),op(300,xfy,differentFrom),op(300,xfy,disjointWith),op(300,xfy,distinctMembers),op(300,xfy,equivalentClass),op(300,xfy,equivalentProperty),op(300,xfy,hasValue),op(300,xfy,imports),op(300,xfy,incompatibleWith),op(300,xfy,intersectionOf),op(300,xfy,inverseOf),op(300,xfy,maxCardinality),op(300,xfy,minCardinality),op(300,xfy,onProperty),op(300,xfy,oneOf),op(300,xfy,priorVersion),op(300,xfy,sameAs),op(300,xfy,sameIndividualAs),op(300,xfy,someValuesFrom),op(300,xfy,unionOf),op(300,xfy,versionInfo)]). 6:-use_module(library(semweb/rdf11)). 7:-use_module(library(semweb/rdfs)). 8
9:-op(300,xfy,first). 10:-op(300,xfy,object). 11:-op(300,xfy,predicate). 12:-op(300,xfy,rest). 13:-op(300,xfy,subject). 14:-op(300,xfy,type). 15:-op(300,xfy,value). 16:-op(300,xfy,comment). 17:-op(300,xfy,domain). 18:-op(300,xfy,isDefinedBy). 19:-op(300,xfy,label). 20:-op(300,xfy,member_triple). 21:-op(300,xfy,range). 22:-op(300,xfy,seeAlso). 23:-op(300,xfy,subClassOf). 24:-op(300,xfy,subPropertyOf). 25:-op(300,xfy,allValuesFrom). 26:-op(300,xfy,backwardCompatibleWitesh). 27:-op(300,xfy,cardinality). 28:-op(300,xfy,complementOf). 29:-op(300,xfy,differentFrom). 30:-op(300,xfy,disjointWith). 31:-op(300,xfy,distinctMembers). 32:-op(300,xfy,equivalentClass). 33:-op(300,xfy,equivalentProperty). 34:-op(300,xfy,hasValue). 35:-op(300,xfy,imports). 36:-op(300,xfy,incompatibleWith). 37:-op(300,xfy,intersectionOf). 38:-op(300,xfy,inverseOf). 39:-op(300,xfy,maxCardinality). 40:-op(300,xfy,minCardinality). 41:-op(300,xfy,onProperty). 42:-op(300,xfy,oneOf). 43:-op(300,xfy,priorVersion). 44:-op(300,xfy,sameAs). 45:-op(300,xfy,sameIndividualAs). 46:-op(300,xfy,someValuesFrom). 47:-op(300,xfy,unionOf). 48:-op(300,xfy,versionInfo). 49
50:-rdf_meta owl:allDifferent(r).
51
52:-rdf_meta owl:annotationProperty(r).
53
54:-rdf_meta owl:class(r).
55
56:-rdf_meta owl:dataRange(r).
57
58:-rdf_meta owl:datatypeProperty(r).
59
60:-rdf_meta owl:deprecatedClass(r).
61
62:-rdf_meta owl:deprecatedProperty(r).
63
64:-rdf_meta owl:functionalProperty(r).
65
66:-rdf_meta owl:inverseFunctionalProperty(r).
67
68:-rdf_meta owl:namedIndividual(r).
69
70:-rdf_meta owl:nothing(r).
71
72:-rdf_meta owl:objectProperty(r).
73
74:-rdf_meta owl:ontology(r).
75
76:-rdf_meta owl:ontologyProperty(r).
77
78:-rdf_meta owl:restriction(r).
79
80:-rdf_meta owl:symmetricProperty(r).
81
82:-rdf_meta owl:thing(r).
83
84:-rdf_meta owl:transitiveProperty(r).
85
86:-rdf_meta owl:allValuesFrom(r,r).
87
88:-rdf_meta owl:backwardCompatibleWitesh(r,r).
89
90:-rdf_meta owl:cardinality(r,r).
91
92:-rdf_meta owl:comment(r,r).
93
94:-rdf_meta owl:complementOf(r,r).
95
96:-rdf_meta owl:differentFrom(r,r).
97
98:-rdf_meta owl:disjointWith(r,r).
99
100:-rdf_meta owl:distinctMembers(r,r).
101
102:-rdf_meta owl:domain(r,r).
103
104:-rdf_meta owl:equivalentClass(r,r).
105
106:-rdf_meta owl:equivalentProperty(r,r).
107
108:-rdf_meta owl:first(r,r).
109
110:-rdf_meta owl:hasValue(r,r).
111
112:-rdf_meta owl:imports(r,r).
113
114:-rdf_meta owl:incompatibleWith(r,r).
115
116:-rdf_meta owl:intersectionOf(r,r).
117
118:-rdf_meta owl:inverseOf(r,r).
119
120:-rdf_meta owl:isDefinedBy(r,r).
121
122:-rdf_meta owl:label(r,r).
123
124:-rdf_meta owl:maxCardinality(r,r).
125
126:-rdf_meta owl:member_triple(r,r).
127
128:-rdf_meta owl:minCardinality(r,r).
129
130:-rdf_meta owl:object(r,r).
131
132:-rdf_meta owl:onProperty(r,r).
133
134:-rdf_meta owl:oneOf(r,r).
135
136:-rdf_meta owl:predicate(r,r).
137
138:-rdf_meta owl:priorVersion(r,r).
139
140:-rdf_meta owl:range(r,r).
141
142:-rdf_meta owl:rest(r,r).
143
144:-rdf_meta owl:sameAs(r,r).
145
146:-rdf_meta owl:sameIndividualAs(r,r).
147
148:-rdf_meta owl:seeAlso(r,r).
149
150:-rdf_meta owl:someValuesFrom(r,r).
151
152:-rdf_meta owl:subClassOf(r,r).
153
154:-rdf_meta owl:subPropertyOf(r,r).
155
156:-rdf_meta owl:subject(r,r).
157
158:-rdf_meta owl:type(r,r).
159
160:-rdf_meta owl:unionOf(r,r).
161
162:-rdf_meta owl:value(r,r).
163
164:-rdf_meta owl:versionInfo(r,r).
165
166:-rdf_meta owl:allValuesFrom(r,r,g).
167
168:-rdf_meta owl:allValuesFrom_axiom(r,r,r).
169
170:-rdf_meta owl:allValuesFrom_node(r,r,r).
171
172:-rdf_meta owl:backwardCompatibleWitesh(r,r,g).
173
174:-rdf_meta owl:backwardCompatibleWitesh_axiom(r,r,r).
175
176:-rdf_meta owl:backwardCompatibleWitesh_node(r,r,r).
177
178:-rdf_meta owl:cardinality(r,r,g).
179
180:-rdf_meta owl:cardinality_axiom(r,r,r).
181
182:-rdf_meta owl:cardinality_node(r,r,r).
183
184:-rdf_meta owl:comment(r,r,g).
185
186:-rdf_meta owl:comment_axiom(r,r,r).
187
188:-rdf_meta owl:comment_node(r,r,r).
189
190:-rdf_meta owl:complementOf(r,r,g).
191
192:-rdf_meta owl:complementOf_axiom(r,r,r).
193
194:-rdf_meta owl:complementOf_node(r,r,r).
195
196:-rdf_meta owl:differentFrom(r,r,g).
197
198:-rdf_meta owl:differentFrom_axiom(r,r,r).
199
200:-rdf_meta owl:differentFrom_node(r,r,r).
201
202:-rdf_meta owl:disjointWith(r,r,g).
203
204:-rdf_meta owl:disjointWith_axiom(r,r,r).
205
206:-rdf_meta owl:disjointWith_node(r,r,r).
207
208:-rdf_meta owl:distinctMembers(r,r,g).
209
210:-rdf_meta owl:distinctMembers_axiom(r,r,r).
211
212:-rdf_meta owl:distinctMembers_node(r,r,r).
213
214:-rdf_meta owl:domain(r,r,g).
215
216:-rdf_meta owl:domain_axiom(r,r,r).
217
218:-rdf_meta owl:domain_node(r,r,r).
219
220:-rdf_meta owl:equivalentClass(r,r,g).
221
222:-rdf_meta owl:equivalentClass_axiom(r,r,r).
223
224:-rdf_meta owl:equivalentClass_node(r,r,r).
225
226:-rdf_meta owl:equivalentProperty(r,r,g).
227
228:-rdf_meta owl:equivalentProperty_axiom(r,r,r).
229
230:-rdf_meta owl:equivalentProperty_node(r,r,r).
231
232:-rdf_meta owl:first(r,r,g).
233
234:-rdf_meta owl:first_axiom(r,r,r).
235
236:-rdf_meta owl:first_node(r,r,r).
237
238:-rdf_meta owl:hasValue(r,r,g).
239
240:-rdf_meta owl:hasValue_axiom(r,r,r).
241
242:-rdf_meta owl:hasValue_node(r,r,r).
243
244:-rdf_meta owl:imports(r,r,g).
245
246:-rdf_meta owl:imports_axiom(r,r,r).
247
248:-rdf_meta owl:imports_node(r,r,r).
249
250:-rdf_meta owl:incompatibleWith(r,r,g).
251
252:-rdf_meta owl:incompatibleWith_axiom(r,r,r).
253
254:-rdf_meta owl:incompatibleWith_node(r,r,r).
255
256:-rdf_meta owl:intersectionOf(r,r,g).
257
258:-rdf_meta owl:intersectionOf_axiom(r,r,r).
259
260:-rdf_meta owl:intersectionOf_node(r,r,r).
261
262:-rdf_meta owl:inverseOf(r,r,g).
263
264:-rdf_meta owl:inverseOf_axiom(r,r,r).
265
266:-rdf_meta owl:inverseOf_node(r,r,r).
267
268:-rdf_meta owl:isDefinedBy(r,r,g).
269
270:-rdf_meta owl:isDefinedBy_axiom(r,r,r).
271
272:-rdf_meta owl:isDefinedBy_node(r,r,r).
273
274:-rdf_meta owl:label(r,r,g).
275
276:-rdf_meta owl:label_axiom(r,r,r).
277
278:-rdf_meta owl:label_node(r,r,r).
279
280:-rdf_meta owl:maxCardinality(r,r,g).
281
282:-rdf_meta owl:maxCardinality_axiom(r,r,r).
283
284:-rdf_meta owl:maxCardinality_node(r,r,r).
285
286:-rdf_meta owl:member_triple(r,r,g).
287
288:-rdf_meta owl:member_triple_axiom(r,r,r).
289
290:-rdf_meta owl:member_triple_node(r,r,r).
291
292:-rdf_meta owl:minCardinality(r,r,g).
293
294:-rdf_meta owl:minCardinality_axiom(r,r,r).
295
296:-rdf_meta owl:minCardinality_node(r,r,r).
297
298:-rdf_meta owl:object(r,r,g).
299
300:-rdf_meta owl:object_axiom(r,r,r).
301
302:-rdf_meta owl:object_node(r,r,r).
303
304:-rdf_meta owl:onProperty(r,r,g).
305
306:-rdf_meta owl:onProperty_axiom(r,r,r).
307
308:-rdf_meta owl:onProperty_node(r,r,r).
309
310:-rdf_meta owl:oneOf(r,r,g).
311
312:-rdf_meta owl:oneOf_axiom(r,r,r).
313
314:-rdf_meta owl:oneOf_node(r,r,r).
315
316:-rdf_meta owl:predicate(r,r,g).
317
318:-rdf_meta owl:predicate_axiom(r,r,r).
319
320:-rdf_meta owl:predicate_node(r,r,r).
321
322:-rdf_meta owl:priorVersion(r,r,g).
323
324:-rdf_meta owl:priorVersion_axiom(r,r,r).
325
326:-rdf_meta owl:priorVersion_node(r,r,r).
327
328:-rdf_meta owl:range(r,r,g).
329
330:-rdf_meta owl:range_axiom(r,r,r).
331
332:-rdf_meta owl:range_node(r,r,r).
333
334:-rdf_meta owl:rest(r,r,g).
335
336:-rdf_meta owl:rest_axiom(r,r,r).
337
338:-rdf_meta owl:rest_node(r,r,r).
339
340:-rdf_meta owl:sameAs(r,r,g).
341
342:-rdf_meta owl:sameAs_axiom(r,r,r).
343
344:-rdf_meta owl:sameAs_node(r,r,r).
345
346:-rdf_meta owl:sameIndividualAs(r,r,g).
347
348:-rdf_meta owl:sameIndividualAs_axiom(r,r,r).
349
350:-rdf_meta owl:sameIndividualAs_node(r,r,r).
351
352:-rdf_meta owl:seeAlso(r,r,g).
353
354:-rdf_meta owl:seeAlso_axiom(r,r,r).
355
356:-rdf_meta owl:seeAlso_node(r,r,r).
357
358:-rdf_meta owl:someValuesFrom(r,r,g).
359
360:-rdf_meta owl:someValuesFrom_axiom(r,r,r).
361
362:-rdf_meta owl:someValuesFrom_node(r,r,r).
363
364:-rdf_meta owl:subClassOf(r,r,g).
365
366:-rdf_meta owl:subClassOf_axiom(r,r,r).
367
368:-rdf_meta owl:subClassOf_node(r,r,r).
369
370:-rdf_meta owl:subPropertyOf(r,r,g).
371
372:-rdf_meta owl:subPropertyOf_axiom(r,r,r).
373
374:-rdf_meta owl:subPropertyOf_node(r,r,r).
375
376:-rdf_meta owl:subject(r,r,g).
377
378:-rdf_meta owl:subject_axiom(r,r,r).
379
380:-rdf_meta owl:subject_node(r,r,r).
381
382:-rdf_meta owl:type(r,r,g).
383
384:-rdf_meta owl:type_axiom(r,r,r).
385
386:-rdf_meta owl:type_node(r,r,r).
387
388:-rdf_meta owl:unionOf(r,r,g).
389
390:-rdf_meta owl:unionOf_axiom(r,r,r).
391
392:-rdf_meta owl:unionOf_node(r,r,r).
393
394:-rdf_meta owl:value(r,r,g).
395
396:-rdf_meta owl:value_axiom(r,r,r).
397
398:-rdf_meta owl:value_node(r,r,r).
399
400:-rdf_meta owl:versionInfo(r,r,g).
401
402:-rdf_meta owl:versionInfo_axiom(r,r,r).
403
404:-rdf_meta owl:versionInfo_node(r,r,r).
405
406:-rdf_meta owl:allValuesFrom_axiom(r,r,g,r).
407
408:-rdf_meta owl:allValuesFrom_node(r,r,g,r).
409
410:-rdf_meta owl:backwardCompatibleWitesh_axiom(r,r,g,r).
411
412:-rdf_meta owl:backwardCompatibleWitesh_node(r,r,g,r).
413
414:-rdf_meta owl:cardinality_axiom(r,r,g,r).
415
416:-rdf_meta owl:cardinality_node(r,r,g,r).
417
418:-rdf_meta owl:comment_axiom(r,r,g,r).
419
420:-rdf_meta owl:comment_node(r,r,g,r).
421
422:-rdf_meta owl:complementOf_axiom(r,r,g,r).
423
424:-rdf_meta owl:complementOf_node(r,r,g,r).
425
426:-rdf_meta owl:differentFrom_axiom(r,r,g,r).
427
428:-rdf_meta owl:differentFrom_node(r,r,g,r).
429
430:-rdf_meta owl:disjointWith_axiom(r,r,g,r).
431
432:-rdf_meta owl:disjointWith_node(r,r,g,r).
433
434:-rdf_meta owl:distinctMembers_axiom(r,r,g,r).
435
436:-rdf_meta owl:distinctMembers_node(r,r,g,r).
437
438:-rdf_meta owl:domain_axiom(r,r,g,r).
439
440:-rdf_meta owl:domain_node(r,r,g,r).
441
442:-rdf_meta owl:equivalentClass_axiom(r,r,g,r).
443
444:-rdf_meta owl:equivalentClass_node(r,r,g,r).
445
446:-rdf_meta owl:equivalentProperty_axiom(r,r,g,r).
447
448:-rdf_meta owl:equivalentProperty_node(r,r,g,r).
449
450:-rdf_meta owl:first_axiom(r,r,g,r).
451
452:-rdf_meta owl:first_node(r,r,g,r).
453
454:-rdf_meta owl:hasValue_axiom(r,r,g,r).
455
456:-rdf_meta owl:hasValue_node(r,r,g,r).
457
458:-rdf_meta owl:imports_axiom(r,r,g,r).
459
460:-rdf_meta owl:imports_node(r,r,g,r).
461
462:-rdf_meta owl:incompatibleWith_axiom(r,r,g,r).
463
464:-rdf_meta owl:incompatibleWith_node(r,r,g,r).
465
466:-rdf_meta owl:intersectionOf_axiom(r,r,g,r).
467
468:-rdf_meta owl:intersectionOf_node(r,r,g,r).
469
470:-rdf_meta owl:inverseOf_axiom(r,r,g,r).
471
472:-rdf_meta owl:inverseOf_node(r,r,g,r).
473
474:-rdf_meta owl:isDefinedBy_axiom(r,r,g,r).
475
476:-rdf_meta owl:isDefinedBy_node(r,r,g,r).
477
478:-rdf_meta owl:label_axiom(r,r,g,r).
479
480:-rdf_meta owl:label_node(r,r,g,r).
481
482:-rdf_meta owl:maxCardinality_axiom(r,r,g,r).
483
484:-rdf_meta owl:maxCardinality_node(r,r,g,r).
485
486:-rdf_meta owl:member_triple_axiom(r,r,g,r).
487
488:-rdf_meta owl:member_triple_node(r,r,g,r).
489
490:-rdf_meta owl:minCardinality_axiom(r,r,g,r).
491
492:-rdf_meta owl:minCardinality_node(r,r,g,r).
493
494:-rdf_meta owl:object_axiom(r,r,g,r).
495
496:-rdf_meta owl:object_node(r,r,g,r).
497
498:-rdf_meta owl:onProperty_axiom(r,r,g,r).
499
500:-rdf_meta owl:onProperty_node(r,r,g,r).
501
502:-rdf_meta owl:oneOf_axiom(r,r,g,r).
503
504:-rdf_meta owl:oneOf_node(r,r,g,r).
505
506:-rdf_meta owl:predicate_axiom(r,r,g,r).
507
508:-rdf_meta owl:predicate_node(r,r,g,r).
509
510:-rdf_meta owl:priorVersion_axiom(r,r,g,r).
511
512:-rdf_meta owl:priorVersion_node(r,r,g,r).
513
514:-rdf_meta owl:range_axiom(r,r,g,r).
515
516:-rdf_meta owl:range_node(r,r,g,r).
517
518:-rdf_meta owl:rest_axiom(r,r,g,r).
519
520:-rdf_meta owl:rest_node(r,r,g,r).
521
522:-rdf_meta owl:sameAs_axiom(r,r,g,r).
523
524:-rdf_meta owl:sameAs_node(r,r,g,r).
525
526:-rdf_meta owl:sameIndividualAs_axiom(r,r,g,r).
527
528:-rdf_meta owl:sameIndividualAs_node(r,r,g,r).
529
530:-rdf_meta owl:seeAlso_axiom(r,r,g,r).
531
532:-rdf_meta owl:seeAlso_node(r,r,g,r).
533
534:-rdf_meta owl:someValuesFrom_axiom(r,r,g,r).
535
536:-rdf_meta owl:someValuesFrom_node(r,r,g,r).
537
538:-rdf_meta owl:subClassOf_axiom(r,r,g,r).
539
540:-rdf_meta owl:subClassOf_node(r,r,g,r).
541
542:-rdf_meta owl:subPropertyOf_axiom(r,r,g,r).
543
544:-rdf_meta owl:subPropertyOf_node(r,r,g,r).
545
546:-rdf_meta owl:subject_axiom(r,r,g,r).
547
548:-rdf_meta owl:subject_node(r,r,g,r).
549
550:-rdf_meta owl:type_axiom(r,r,g,r).
551
552:-rdf_meta owl:type_node(r,r,g,r).
553
554:-rdf_meta owl:unionOf_axiom(r,r,g,r).
555
556:-rdf_meta owl:unionOf_node(r,r,g,r).
557
558:-rdf_meta owl:value_axiom(r,r,g,r).
559
560:-rdf_meta owl:value_node(r,r,g,r).
561
562:-rdf_meta owl:versionInfo_axiom(r,r,g,r).
563
564:-rdf_meta owl:versionInfo_node(r,r,g,r).
570owl:allDifferent(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#AllDifferent').
576owl:annotationProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#AnnotationProperty').
582owl:class(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#Class').
588owl:dataRange(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#DataRange').
594owl:datatypeProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#DatatypeProperty').
600owl:deprecatedClass(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#DeprecatedClass').
606owl:deprecatedProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#DeprecatedProperty').
612owl:functionalProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#FunctionalProperty').
618owl:inverseFunctionalProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#InverseFunctionalProperty').
624owl:namedIndividual(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#NamedIndividual').
630owl:nothing(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#Nothing').
636owl:objectProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#ObjectProperty').
642owl:ontology(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#Ontology').
648owl:ontologyProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#OntologyProperty').
654owl:restriction(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#Restriction').
660owl:symmetricProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#SymmetricProperty').
666owl:thing(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#Thing').
672owl:transitiveProperty(A):-rdf(A,rdf:type,'http://www.w3.org/2002/07/owl#TransitiveProperty').
673
674owl:allValuesFrom(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#allValuesFrom',B).
675
676owl:backwardCompatibleWitesh(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#backwardCompatibleWith',B).
677
678owl:cardinality(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#cardinality',B).
679
680owl:(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#comment',B).
681
682owl:complementOf(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#complementOf',B).
683
684owl:differentFrom(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#differentFrom',B).
685
686owl:disjointWith(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#disjointWith',B).
687
688owl:distinctMembers(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#distinctMembers',B).
689
690owl:domain(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#domain',B).
691
692owl:equivalentClass(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#equivalentClass',B).
693
694owl:equivalentProperty(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#equivalentProperty',B).
695
696owl:first(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',B).
697
698owl:hasValue(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#hasValue',B).
699
700owl:imports(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#imports',B).
701
702owl:incompatibleWith(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#incompatibleWith',B).
703
704owl:intersectionOf(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#intersectionOf',B).
705
706owl:inverseOf(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#inverseOf',B).
707
708owl:isDefinedBy(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy',B).
709
710owl:label(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#label',B).
711
712owl:maxCardinality(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#maxCardinality',B).
713
714owl:member_triple(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#member',B).
715
716owl:minCardinality(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#minCardinality',B).
717
718owl:object(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object',B).
719
720owl:onProperty(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#onProperty',B).
721
722owl:oneOf(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#oneOf',B).
723
724owl:predicate(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate',B).
725
726owl:priorVersion(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#priorVersion',B).
727
728owl:range(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#range',B).
729
730owl:rest(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',B).
731
732owl:sameAs(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#sameAs',B).
733
734owl:sameIndividualAs(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#sameIndividualAs',B).
735
736owl:seeAlso(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#seeAlso',B).
737
738owl:someValuesFrom(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#someValuesFrom',B).
739
740owl:subClassOf(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#subClassOf',B).
741
742owl:subPropertyOf(A,B):-rdf_has(A,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf',B).
743
744owl:subject(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject',B).
745
746owl:type(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',B).
747
748owl:unionOf(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#unionOf',B).
749
750owl:value(A,B):-rdf_has(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value',B).
751
752owl:versionInfo(A,B):-rdf_has(A,'http://www.w3.org/2002/07/owl#versionInfo',B).
753
754owl:allValuesFrom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#allValuesFrom',B,C).
755
756owl:allValuesFrom_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#allValuesFrom',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#allValuesFrom'),rdf(C,owl:annotatedTarget,B).
757
758owl:allValuesFrom_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#allValuesFrom',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#allValuesFrom'),rdf(C,rdf:object,B).
759
760owl:backwardCompatibleWitesh(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#backwardCompatibleWith',B,C).
761
762owl:backwardCompatibleWitesh_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#backwardCompatibleWith',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#backwardCompatibleWith'),rdf(C,owl:annotatedTarget,B).
763
764owl:backwardCompatibleWitesh_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#backwardCompatibleWith',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#backwardCompatibleWith'),rdf(C,rdf:object,B).
765
766owl:cardinality(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#cardinality',B,C).
767
768owl:cardinality_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#cardinality',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#cardinality'),rdf(C,owl:annotatedTarget,B).
769
770owl:cardinality_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#cardinality',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#cardinality'),rdf(C,rdf:object,B).
771
772owl:(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#comment',B,C).
773
774owl:(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#comment',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#comment'),rdf(C,owl:annotatedTarget,B).
775
776owl:(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#comment',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#comment'),rdf(C,rdf:object,B).
777
778owl:complementOf(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#complementOf',B,C).
779
780owl:complementOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#complementOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#complementOf'),rdf(C,owl:annotatedTarget,B).
781
782owl:complementOf_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#complementOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#complementOf'),rdf(C,rdf:object,B).
783
784owl:differentFrom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#differentFrom',B,C).
785
786owl:differentFrom_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#differentFrom',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#differentFrom'),rdf(C,owl:annotatedTarget,B).
787
788owl:differentFrom_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#differentFrom',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#differentFrom'),rdf(C,rdf:object,B).
789
790owl:disjointWith(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#disjointWith',B,C).
791
792owl:disjointWith_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#disjointWith',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#disjointWith'),rdf(C,owl:annotatedTarget,B).
793
794owl:disjointWith_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#disjointWith',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#disjointWith'),rdf(C,rdf:object,B).
795
796owl:distinctMembers(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#distinctMembers',B,C).
797
798owl:distinctMembers_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#distinctMembers',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#distinctMembers'),rdf(C,owl:annotatedTarget,B).
799
800owl:distinctMembers_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#distinctMembers',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#distinctMembers'),rdf(C,rdf:object,B).
801
802owl:domain(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#domain',B,C).
803
804owl:domain_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#domain',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#domain'),rdf(C,owl:annotatedTarget,B).
805
806owl:domain_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#domain',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#domain'),rdf(C,rdf:object,B).
807
808owl:equivalentClass(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentClass',B,C).
809
810owl:equivalentClass_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentClass',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#equivalentClass'),rdf(C,owl:annotatedTarget,B).
811
812owl:equivalentClass_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentClass',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#equivalentClass'),rdf(C,rdf:object,B).
813
814owl:equivalentProperty(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentProperty',B,C).
815
816owl:equivalentProperty_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentProperty',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#equivalentProperty'),rdf(C,owl:annotatedTarget,B).
817
818owl:equivalentProperty_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentProperty',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#equivalentProperty'),rdf(C,rdf:object,B).
819
820owl:first(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',B,C).
821
822owl:first_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first'),rdf(C,owl:annotatedTarget,B).
823
824owl:first_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first'),rdf(C,rdf:object,B).
825
826owl:hasValue(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#hasValue',B,C).
827
828owl:hasValue_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#hasValue',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#hasValue'),rdf(C,owl:annotatedTarget,B).
829
830owl:hasValue_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#hasValue',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#hasValue'),rdf(C,rdf:object,B).
831
832owl:imports(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#imports',B,C).
833
834owl:imports_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#imports',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#imports'),rdf(C,owl:annotatedTarget,B).
835
836owl:imports_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#imports',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#imports'),rdf(C,rdf:object,B).
837
838owl:incompatibleWith(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#incompatibleWith',B,C).
839
840owl:incompatibleWith_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#incompatibleWith',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#incompatibleWith'),rdf(C,owl:annotatedTarget,B).
841
842owl:incompatibleWith_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#incompatibleWith',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#incompatibleWith'),rdf(C,rdf:object,B).
843
844owl:intersectionOf(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#intersectionOf',B,C).
845
846owl:intersectionOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#intersectionOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#intersectionOf'),rdf(C,owl:annotatedTarget,B).
847
848owl:intersectionOf_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#intersectionOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#intersectionOf'),rdf(C,rdf:object,B).
849
850owl:inverseOf(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#inverseOf',B,C).
851
852owl:inverseOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#inverseOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#inverseOf'),rdf(C,owl:annotatedTarget,B).
853
854owl:inverseOf_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#inverseOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#inverseOf'),rdf(C,rdf:object,B).
855
856owl:isDefinedBy(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy',B,C).
857
858owl:isDefinedBy_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy'),rdf(C,owl:annotatedTarget,B).
859
860owl:isDefinedBy_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy'),rdf(C,rdf:object,B).
861
862owl:label(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#label',B,C).
863
864owl:label_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#label',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#label'),rdf(C,owl:annotatedTarget,B).
865
866owl:label_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#label',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#label'),rdf(C,rdf:object,B).
867
868owl:maxCardinality(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#maxCardinality',B,C).
869
870owl:maxCardinality_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#maxCardinality',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#maxCardinality'),rdf(C,owl:annotatedTarget,B).
871
872owl:maxCardinality_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#maxCardinality',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#maxCardinality'),rdf(C,rdf:object,B).
873
874owl:member_triple(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#member',B,C).
875
876owl:member_triple_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#member',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#member'),rdf(C,owl:annotatedTarget,B).
877
878owl:member_triple_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#member',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#member'),rdf(C,rdf:object,B).
879
880owl:minCardinality(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#minCardinality',B,C).
881
882owl:minCardinality_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#minCardinality',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#minCardinality'),rdf(C,owl:annotatedTarget,B).
883
884owl:minCardinality_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#minCardinality',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#minCardinality'),rdf(C,rdf:object,B).
885
886owl:object(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object',B,C).
887
888owl:object_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object'),rdf(C,owl:annotatedTarget,B).
889
890owl:object_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object'),rdf(C,rdf:object,B).
891
892owl:onProperty(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#onProperty',B,C).
893
894owl:onProperty_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#onProperty',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#onProperty'),rdf(C,owl:annotatedTarget,B).
895
896owl:onProperty_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#onProperty',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#onProperty'),rdf(C,rdf:object,B).
897
898owl:oneOf(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#oneOf',B,C).
899
900owl:oneOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#oneOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#oneOf'),rdf(C,owl:annotatedTarget,B).
901
902owl:oneOf_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#oneOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#oneOf'),rdf(C,rdf:object,B).
903
904owl:predicate(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate',B,C).
905
906owl:predicate_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate'),rdf(C,owl:annotatedTarget,B).
907
908owl:predicate_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate'),rdf(C,rdf:object,B).
909
910owl:priorVersion(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#priorVersion',B,C).
911
912owl:priorVersion_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#priorVersion',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#priorVersion'),rdf(C,owl:annotatedTarget,B).
913
914owl:priorVersion_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#priorVersion',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#priorVersion'),rdf(C,rdf:object,B).
915
916owl:range(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#range',B,C).
917
918owl:range_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#range',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#range'),rdf(C,owl:annotatedTarget,B).
919
920owl:range_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#range',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#range'),rdf(C,rdf:object,B).
921
922owl:rest(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',B,C).
923
924owl:rest_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest'),rdf(C,owl:annotatedTarget,B).
925
926owl:rest_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest'),rdf(C,rdf:object,B).
927
928owl:sameAs(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#sameAs',B,C).
929
930owl:sameAs_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#sameAs',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#sameAs'),rdf(C,owl:annotatedTarget,B).
931
932owl:sameAs_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#sameAs',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#sameAs'),rdf(C,rdf:object,B).
933
934owl:sameIndividualAs(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#sameIndividualAs',B,C).
935
936owl:sameIndividualAs_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#sameIndividualAs',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#sameIndividualAs'),rdf(C,owl:annotatedTarget,B).
937
938owl:sameIndividualAs_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#sameIndividualAs',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#sameIndividualAs'),rdf(C,rdf:object,B).
939
940owl:seeAlso(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#seeAlso',B,C).
941
942owl:seeAlso_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#seeAlso',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#seeAlso'),rdf(C,owl:annotatedTarget,B).
943
944owl:seeAlso_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#seeAlso',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#seeAlso'),rdf(C,rdf:object,B).
945
946owl:someValuesFrom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#someValuesFrom',B,C).
947
948owl:someValuesFrom_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#someValuesFrom',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#someValuesFrom'),rdf(C,owl:annotatedTarget,B).
949
950owl:someValuesFrom_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#someValuesFrom',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#someValuesFrom'),rdf(C,rdf:object,B).
951
952owl:subClassOf(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subClassOf',B,C).
953
954owl:subClassOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subClassOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#subClassOf'),rdf(C,owl:annotatedTarget,B).
955
956owl:subClassOf_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subClassOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#subClassOf'),rdf(C,rdf:object,B).
957
958owl:subPropertyOf(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf',B,C).
959
960owl:subPropertyOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf'),rdf(C,owl:annotatedTarget,B).
961
962owl:subPropertyOf_node(A,B,C):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf'),rdf(C,rdf:object,B).
963
964owl:subject(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject',B,C).
965
966owl:subject_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject'),rdf(C,owl:annotatedTarget,B).
967
968owl:subject_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject'),rdf(C,rdf:object,B).
969
970owl:type(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',B,C).
971
972owl:type_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'),rdf(C,owl:annotatedTarget,B).
973
974owl:type_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'),rdf(C,rdf:object,B).
975
976owl:unionOf(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#unionOf',B,C).
977
978owl:unionOf_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#unionOf',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#unionOf'),rdf(C,owl:annotatedTarget,B).
979
980owl:unionOf_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#unionOf',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#unionOf'),rdf(C,rdf:object,B).
981
982owl:value(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value',B,C).
983
984owl:value_axiom(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value'),rdf(C,owl:annotatedTarget,B).
985
986owl:value_node(A,B,C):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value'),rdf(C,rdf:object,B).
987
988owl:versionInfo(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#versionInfo',B,C).
989
990owl:versionInfo_axiom(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#versionInfo',B),rdf(C,owl:annotatedSource,A),rdf(C,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#versionInfo'),rdf(C,owl:annotatedTarget,B).
991
992owl:versionInfo_node(A,B,C):-rdf(A,'http://www.w3.org/2002/07/owl#versionInfo',B),rdf(C,rdf:subject,A),rdf(C,rdf:predicate,'http://www.w3.org/2002/07/owl#versionInfo'),rdf(C,rdf:object,B).
993
994owl:allValuesFrom_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#allValuesFrom',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#allValuesFrom'),rdf(D,owl:annotatedTarget,B).
995
996owl:allValuesFrom_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#allValuesFrom',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#allValuesFrom'),rdf(D,rdf:object,B).
997
998owl:backwardCompatibleWitesh_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#backwardCompatibleWith',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#backwardCompatibleWith'),rdf(D,owl:annotatedTarget,B).
999
1000owl:backwardCompatibleWitesh_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#backwardCompatibleWith',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#backwardCompatibleWith'),rdf(D,rdf:object,B).
1001
1002owl:cardinality_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#cardinality',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#cardinality'),rdf(D,owl:annotatedTarget,B).
1003
1004owl:cardinality_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#cardinality',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#cardinality'),rdf(D,rdf:object,B).
1005
1006owl:(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#comment',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#comment'),rdf(D,owl:annotatedTarget,B).
1007
1008owl:(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#comment',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#comment'),rdf(D,rdf:object,B).
1009
1010owl:complementOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#complementOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#complementOf'),rdf(D,owl:annotatedTarget,B).
1011
1012owl:complementOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#complementOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#complementOf'),rdf(D,rdf:object,B).
1013
1014owl:differentFrom_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#differentFrom',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#differentFrom'),rdf(D,owl:annotatedTarget,B).
1015
1016owl:differentFrom_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#differentFrom',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#differentFrom'),rdf(D,rdf:object,B).
1017
1018owl:disjointWith_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#disjointWith',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#disjointWith'),rdf(D,owl:annotatedTarget,B).
1019
1020owl:disjointWith_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#disjointWith',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#disjointWith'),rdf(D,rdf:object,B).
1021
1022owl:distinctMembers_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#distinctMembers',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#distinctMembers'),rdf(D,owl:annotatedTarget,B).
1023
1024owl:distinctMembers_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#distinctMembers',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#distinctMembers'),rdf(D,rdf:object,B).
1025
1026owl:domain_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#domain',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#domain'),rdf(D,owl:annotatedTarget,B).
1027
1028owl:domain_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#domain',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#domain'),rdf(D,rdf:object,B).
1029
1030owl:equivalentClass_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentClass',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#equivalentClass'),rdf(D,owl:annotatedTarget,B).
1031
1032owl:equivalentClass_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentClass',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#equivalentClass'),rdf(D,rdf:object,B).
1033
1034owl:equivalentProperty_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentProperty',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#equivalentProperty'),rdf(D,owl:annotatedTarget,B).
1035
1036owl:equivalentProperty_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#equivalentProperty',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#equivalentProperty'),rdf(D,rdf:object,B).
1037
1038owl:first_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first'),rdf(D,owl:annotatedTarget,B).
1039
1040owl:first_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#first'),rdf(D,rdf:object,B).
1041
1042owl:hasValue_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#hasValue',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#hasValue'),rdf(D,owl:annotatedTarget,B).
1043
1044owl:hasValue_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#hasValue',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#hasValue'),rdf(D,rdf:object,B).
1045
1046owl:imports_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#imports',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#imports'),rdf(D,owl:annotatedTarget,B).
1047
1048owl:imports_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#imports',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#imports'),rdf(D,rdf:object,B).
1049
1050owl:incompatibleWith_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#incompatibleWith',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#incompatibleWith'),rdf(D,owl:annotatedTarget,B).
1051
1052owl:incompatibleWith_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#incompatibleWith',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#incompatibleWith'),rdf(D,rdf:object,B).
1053
1054owl:intersectionOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#intersectionOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#intersectionOf'),rdf(D,owl:annotatedTarget,B).
1055
1056owl:intersectionOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#intersectionOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#intersectionOf'),rdf(D,rdf:object,B).
1057
1058owl:inverseOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#inverseOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#inverseOf'),rdf(D,owl:annotatedTarget,B).
1059
1060owl:inverseOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#inverseOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#inverseOf'),rdf(D,rdf:object,B).
1061
1062owl:isDefinedBy_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy'),rdf(D,owl:annotatedTarget,B).
1063
1064owl:isDefinedBy_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#isDefinedBy'),rdf(D,rdf:object,B).
1065
1066owl:label_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#label',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#label'),rdf(D,owl:annotatedTarget,B).
1067
1068owl:label_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#label',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#label'),rdf(D,rdf:object,B).
1069
1070owl:maxCardinality_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#maxCardinality',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#maxCardinality'),rdf(D,owl:annotatedTarget,B).
1071
1072owl:maxCardinality_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#maxCardinality',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#maxCardinality'),rdf(D,rdf:object,B).
1073
1074owl:member_triple_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#member',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#member'),rdf(D,owl:annotatedTarget,B).
1075
1076owl:member_triple_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#member',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#member'),rdf(D,rdf:object,B).
1077
1078owl:minCardinality_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#minCardinality',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#minCardinality'),rdf(D,owl:annotatedTarget,B).
1079
1080owl:minCardinality_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#minCardinality',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#minCardinality'),rdf(D,rdf:object,B).
1081
1082owl:object_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object'),rdf(D,owl:annotatedTarget,B).
1083
1084owl:object_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#object'),rdf(D,rdf:object,B).
1085
1086owl:onProperty_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#onProperty',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#onProperty'),rdf(D,owl:annotatedTarget,B).
1087
1088owl:onProperty_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#onProperty',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#onProperty'),rdf(D,rdf:object,B).
1089
1090owl:oneOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#oneOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#oneOf'),rdf(D,owl:annotatedTarget,B).
1091
1092owl:oneOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#oneOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#oneOf'),rdf(D,rdf:object,B).
1093
1094owl:predicate_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate'),rdf(D,owl:annotatedTarget,B).
1095
1096owl:predicate_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate'),rdf(D,rdf:object,B).
1097
1098owl:priorVersion_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#priorVersion',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#priorVersion'),rdf(D,owl:annotatedTarget,B).
1099
1100owl:priorVersion_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#priorVersion',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#priorVersion'),rdf(D,rdf:object,B).
1101
1102owl:range_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#range',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#range'),rdf(D,owl:annotatedTarget,B).
1103
1104owl:range_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#range',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#range'),rdf(D,rdf:object,B).
1105
1106owl:rest_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest'),rdf(D,owl:annotatedTarget,B).
1107
1108owl:rest_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest'),rdf(D,rdf:object,B).
1109
1110owl:sameAs_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#sameAs',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#sameAs'),rdf(D,owl:annotatedTarget,B).
1111
1112owl:sameAs_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#sameAs',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#sameAs'),rdf(D,rdf:object,B).
1113
1114owl:sameIndividualAs_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#sameIndividualAs',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#sameIndividualAs'),rdf(D,owl:annotatedTarget,B).
1115
1116owl:sameIndividualAs_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#sameIndividualAs',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#sameIndividualAs'),rdf(D,rdf:object,B).
1117
1118owl:seeAlso_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#seeAlso',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#seeAlso'),rdf(D,owl:annotatedTarget,B).
1119
1120owl:seeAlso_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#seeAlso',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#seeAlso'),rdf(D,rdf:object,B).
1121
1122owl:someValuesFrom_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#someValuesFrom',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#someValuesFrom'),rdf(D,owl:annotatedTarget,B).
1123
1124owl:someValuesFrom_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#someValuesFrom',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#someValuesFrom'),rdf(D,rdf:object,B).
1125
1126owl:subClassOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subClassOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#subClassOf'),rdf(D,owl:annotatedTarget,B).
1127
1128owl:subClassOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subClassOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#subClassOf'),rdf(D,rdf:object,B).
1129
1130owl:subPropertyOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf'),rdf(D,owl:annotatedTarget,B).
1131
1132owl:subPropertyOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2000/01/rdf-schema#subPropertyOf'),rdf(D,rdf:object,B).
1133
1134owl:subject_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject'),rdf(D,owl:annotatedTarget,B).
1135
1136owl:subject_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#subject'),rdf(D,rdf:object,B).
1137
1138owl:type_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'),rdf(D,owl:annotatedTarget,B).
1139
1140owl:type_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'),rdf(D,rdf:object,B).
1141
1142owl:unionOf_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#unionOf',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#unionOf'),rdf(D,owl:annotatedTarget,B).
1143
1144owl:unionOf_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#unionOf',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#unionOf'),rdf(D,rdf:object,B).
1145
1146owl:value_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value'),rdf(D,owl:annotatedTarget,B).
1147
1148owl:value_node(A,B,C,D):-rdf(A,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/1999/02/22-rdf-syntax-ns#value'),rdf(D,rdf:object,B).
1149
1150owl:versionInfo_axiom(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#versionInfo',B,C),rdf(D,owl:annotatedSource,A),rdf(D,owl:annotatedProperty,'http://www.w3.org/2002/07/owl#versionInfo'),rdf(D,owl:annotatedTarget,B).
1151
1152owl:versionInfo_node(A,B,C,D):-rdf(A,'http://www.w3.org/2002/07/owl#versionInfo',B,C),rdf(D,rdf:subject,A),rdf(D,rdf:predicate,'http://www.w3.org/2002/07/owl#versionInfo'),rdf(D,rdf:object,B)