sdml-core 0.4.1

Core Model for Simple Domain Modeling Language (SDML)
Documentation
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
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
/**
This Rust module contains the SDML model of the SDML library module `skos` for SKOS.
*/
use crate::model::{
    annotations::HasAnnotations,
    definitions::{StructureBody, UnionBody},
    modules::Module,
    values::SimpleValue,
};
use std::str::FromStr;
use url::Url;

// ------------------------------------------------------------------------------------------------
// Public Types
// ------------------------------------------------------------------------------------------------

pub const MODULE_PATH: &str = "::org::w3";
pub const MODULE_NAME: &str = "skos";
pub const MODULE_URL: &str = "http://www.w3.org/2004/02/skos/core#";

pub const COLLECTION: &str = "Collection";
pub const CONCEPT: &str = "Concept";
pub const CONCEPT_SCHEME: &str = "ConceptScheme";
pub const ORDERED_COLLECTION: &str = "OrderedCollection";

pub const ALT_LABEL: &str = "altLabel";
pub const BROAD_MATCH: &str = "broadMatch";
pub const BROADER: &str = "broader";
pub const BROADER_TRANSITIVE: &str = "broaderTransitive";
pub const CHANGE_NOTE: &str = "changeNote";
pub const CLOSE_MATCH: &str = "closeMatch";
pub const DEFINITION: &str = "definition";
pub const EDITORIAL_NOTE: &str = "editorialNote";
pub const EXACT_MATCH: &str = "exactMatch";
pub const EXAMPLE: &str = "example";
pub const HAS_TOP_CONCEPT: &str = "hasTopConcept";
pub const HIDDEN_LABEL: &str = "hiddenLabel";
pub const HISTORY_NOTE: &str = "historyNote";
pub const IN_SCHEME: &str = "inScheme";
pub const MAPPING_RELATION: &str = "mappingRelation";
pub const MEMBER: &str = "member";
pub const MEMBER_LIST: &str = "memberList";
pub const NARROW_MATCH: &str = "narrowMatch";
pub const NARROWER: &str = "narrower";
pub const NARROWER_TRANSITIVE: &str = "narrowerTransitive";
pub const NOTATION: &str = "notation";
pub const NOTE: &str = "note";
pub const PREF_LABEL: &str = "prefLabel";
pub const RELATED: &str = "related";
pub const RELATED_MATCH: &str = "relatedMatch";
pub const SCOPE_NOTE: &str = "scopeNote";
pub const SEMANTIC_RELATION: &str = "semanticRelation";
pub const TOP_CONCEPT_OF: &str = "topConceptOf";

// ------------------------------------------------------------------------------------------------
// Public Functions
// ------------------------------------------------------------------------------------------------

module_function!(|| {
    let module_uri: url::Url = url::Url::parse(MODULE_URL).unwrap();

    module!(
        id!(unchecked skos), module_uri ; call |module: Module|
        module.with_imports([import_statement!(
            id!(unchecked dc),
            id!(unchecked owl),
            id!(unchecked rdf),
            id!(unchecked rdfs)
        )])
            .with_annotations([
                annotation!(id!(unchecked rdf:type), id!(unchecked owl:Ontology)),
                annotation!(id!(unchecked dcterms:title), "SKOS Vocabulary"),
                annotation!(
                    id!(unchecked dcterms:contributor),
                    vs!(
                        "Dave Beckett",
                        "Nikki Rogers",
                        "Participants in W3C's Semantic Web Deployment Working Group."
                    )
                ),
                annotation!(
                    id!(unchecked dcterms:creator),
                    vs!("Alistair Miles", "Sean Bechhofer")
                ),
                annotation!(
                    id!(unchecked rdfs:seeAlso),
                    Url::parse("http://www.w3.org/TR/skos-reference/").unwrap()
                ),
            ])
            .with_definitions([
                structure!(
                    id!(unchecked Collection) ; call |body: StructureBody|
                    body.with_annotations([
                        annotation!(id!(unchecked rdf:type), id!(unchecked owl:Class)),
                        annotation!(
                            id!(unchecked owl:disjointWith),
                            vs!(id!(unchecked Concept), id!(unchecked ConceptScheme))
                        ),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("Collection"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A meaningful collection of concepts."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!(
                                "Labelled collections can be used where you would like a set of concepts to be displayed under a 'node label' in the hierarchy."@en
                            )
                        ),
                    ])).into(),
                structure!(
                    id!(unchecked Concept) ; call |body: StructureBody|
                    body.with_annotations([
                        annotation!(id!(unchecked rdf:type), id!(unchecked owl:Class)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("Concept"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("An idea or notion; a unit of thought."@en)
                        ),
                    ])).into(),
                structure!(
                    id!(unchecked ConceptScheme) ; call |body: StructureBody|
                    body.with_annotations([
                        annotation!(id!(unchecked rdf:type), id!(unchecked owl:Class)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("Concept Scheme"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A set of concepts, optionally including statements about semantic relationships between those concepts."@en)
                        ),
                        annotation!(
                            id!(unchecked example),
                            rdf_str!("Thesauri, classification schemes, subject heading lists, taxonomies, 'folksonomies', and other types of controlled vocabulary are all examples of concept schemes. Concept schemes are also embedded in glossaries and terminologies."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("A concept scheme may be defined to include concepts from different sources."@en)
                        ),
                    ])).into(),
                structure!(
                    id!(unchecked OrderedCollection) ; call |body: StructureBody|
                    body.with_annotations([
                        annotation!(id!(unchecked rdf:type), id!(unchecked owl:Class)),
                        annotation!(id!(unchecked rdfs:subClassOf), id!(unchecked Collection)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("Ordered Collection"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("An ordered collection of concepts, where both the grouping and the ordering are meaningful."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("Ordered collections can be used where you would like a set of concepts to be displayed in a specific order, and optionally under a 'node label'."@en)
                        ),
                    ])).into(),
                property!(
                    id!(unchecked altLabel) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked rdfs:label)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("alternative label"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("An alternative lexical label for a resource."@en)
                        ),
                        annotation!(
                            id!(unchecked rdfs:comment),
                            vs!(
                                rdf_str!("The range of skos:altLabel is the class of RDF plain literals."@en),
                                rdf_str!("skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise disjoint properties."@en),
                            )
                        ),
                        annotation!(
                            id!(unchecked example),
                            rdf_str!("Acronyms, abbreviations, spelling variants, and irregular plural/singular forms may be included among the alternative labels for a concept. Mis-spelled terms are normally included as hidden labels (see skos:hiddenLabel)."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked broadMatch) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked broader)),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked mappingRelation)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked narrowMatch)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has broader match"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:broadMatch is used to state a hierarchical mapping link between two conceptual resources in different concept schemes."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked broader) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked broaderTransitive)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked narrower)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has broader"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates a concept to a concept that is more general in meaning."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("By convention, skos:broader is only used to assert an immediate (i.e. direct) hierarchical link between two conceptual resources."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked broaderTransitive) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:TransitiveProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked semanticRelation)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked narrowerTransitive)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has broader transitive"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:broaderTransitive is a transitive superproperty of skos:broader."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("By convention, skos:broaderTransitive is not used to make assertions. Rather, the properties can be used to draw inferences about the transitive closure of the hierarchical relation, which is useful e.g. when implementing a simple query expansion algorithm in a search application."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked changeNote) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked note)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked narrowerTransitive)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("change note"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A note about a modification to a concept."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked closeMatch) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:SymmetricProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked mappingRelation)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has close match"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:closeMatch is used to link two concepts that are sufficiently similar that they can be used interchangeably in some information retrieval applications. In order to avoid the possibility of \"compound errors\" when combining mappings across more than two concept schemes, skos:closeMatch is not declared to be a transitive property."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked definition) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked note)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("definition"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A statement or formal explanation of the meaning of a concept."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked editorialNote) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked note)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("editorial note"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A note for an editor, translator or maintainer of the vocabulary."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked exactMatch) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:SymmetricProperty),
                            id!(unchecked owl:TransitiveProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked closeMatch)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has exact match"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:exactMatch is used to link two concepts, indicating a high degree of confidence that the concepts can be used interchangeably across a wide range of information retrieval applications. skos:exactMatch is a transitive property, and is a sub-property of skos:closeMatch."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked hasTopConcept) => { cardinality!(0..) } id!(unchecked ConceptScheme) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:domain), id!(unchecked Concept)),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked closeMatch)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked topConceptOf)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has top concept"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates, by convention, a concept scheme to a concept which is topmost in the broader/narrower concept hierarchies for that scheme, providing an entry point to these hierarchies."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked hiddenLabel) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked rdfs:label)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("hidden label"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A lexical label for a resource that should be hidden when generating visual displays of the resource, but should still be accessible to free text search operations."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked historyNote) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked note)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("history note"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A note about the past state/use/meaning of a concept."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked inScheme) => { cardinality!(0..) } id!(unchecked ConceptScheme) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("is in scheme"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates a resource (for example a concept) to a concept scheme in which it is included."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("A concept may be a member of more than one concept scheme."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked mappingRelation) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked semanticRelation)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("is in mapping relation with"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates two concepts coming, by convention, from different schemes, and that have comparable meanings."@en)
                        ),
                        annotation!(
                            id!(unchecked rdfs:comment),
                            rdf_str!("These concept mapping relations mirror semantic relations, and the data model defined below is similar (with the exception of skos:exactMatch) to the data model defined for semantic relations. A distinct vocabulary is provided for concept mapping relations, to provide a convenient way to differentiate links within a concept scheme from links between concept schemes. However, this pattern of usage is not a formal requirement of the SKOS data model, and relies on informal definitions of best practice."@en)
                        ),
                    )).into(),
                union!(
                    id!(unchecked CollectionMember) ; call |body: UnionBody|
                    body.with_variants([
                        unvar!(id!(unchecked Concept)),
                        unvar!(id!(unchecked Collection)),
                    ])).into(),
                property!(
                    id!(unchecked member) => { cardinality!(0..) } id!(unchecked CollectionMember) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:domain), id!(unchecked Collection)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has member"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates a collection to one of its members."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked memberList) => { cardinality!(0..) } id!(unchecked rdf:List) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:FunctionalProperty),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:domain), id!(unchecked OrderedCollection)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has member list"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates an ordered collection to the RDF list containing its member."@en)
                        ),
                        annotation!(
                            id!(unchecked rdfs:comment),
                            rdf_str!("For any resource, every item in the list given as the value of the skos:memberList property is also a value of the skos:member property."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked narrowMatch) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), vs!(
                            id!(unchecked mappingRelation),
                            id!(unchecked narrower)
                        )),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked broadMatch)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has narrower match"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:narrowMatch is used to state a hierarchical mapping link between two conceptual resources in different concept schemes."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked narrower) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked narrowerTransitive)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked broader)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has narrower"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates a concept to a concept that is more specific in meaning."@en)
                        ),
                        annotation!(
                            id!(unchecked rdfs:comment),
                            rdf_str!("Narrower concepts are typically rendered as children in a concept hierarchy (tree)."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked narrowerTransitive) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:TransitiveProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked semanticRelation)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked broaderTransitive)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has narrower transitive"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:narrowerTransitive is a transitive superproperty of skos:narrower."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("By convention, skos:narrowerTransitive is not used to make assertions. Rather, the properties can be used to draw inferences about the transitive closure of the hierarchical relation, which is useful e.g. when implementing a simple query expansion algorithm in a search application."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked notation) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:DatatypeProperty),
                        )),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("notation"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A notation, also known as classification code, is a string of characters such as \"T58.5\" or \"303.4833\" used to uniquely identify a concept within the scope of a given concept scheme."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("By convention, skos:notation is used with a typed literal in the object position of the triple."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked note) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("note"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A general note, for any purpose."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("This property may be used directly, or as a super-property for more specific note types."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked prefLabel) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked rdfs:label)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("preferred label"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("The preferred lexical label for a resource, in a given language."@en)
                        ),
                        annotation!(
                            id!(unchecked rdfs:comment),
                            vs!(
                                rdf_str!("A resource has no more than one value of skos:prefLabel per language tag, and no more than one value of skos:prefLabel without language tag."@en),
                                rdf_str!("The range of skos:prefLabel is the class of RDF plain literals."@en),
                                rdf_str!("skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise disjoint properties."@en),
                            )),
                    )).into(),
                property!(
                    id!(unchecked related) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:SymmetricProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked semanticRelation)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has related"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates a concept to a concept with which there is an associative semantic relationship."@en)
                        ),
                        annotation!(
                            id!(unchecked rdfs:comment),
                            rdf_str!("skos:related is disjoint with skos:broaderTransitive."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked relatedMatch) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:SymmetricProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), vs!(
                            id!(unchecked mappingRelation),
                            id!(unchecked related),
                        )),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("has related match"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("skos:relatedMatch is used to state an associative mapping link between two conceptual resources in different concept schemes."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked scopeNote) => { cardinality!(0..) } id!(unchecked owl:Thing) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:AnnotationProperty),
                        )),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked note)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("scope note"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("A note that helps to clarify the meaning and/or the use of a concept."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked semanticRelation) => { cardinality!(0..) } id!(unchecked Concept) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                        )),
                        annotation!(id!(unchecked rdfs:domain), id!(unchecked Concept)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked broaderTransitive)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("is in semantic relation with"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Links a concept to a concept related by meaning."@en)
                        ),
                        annotation!(
                            id!(unchecked scopeNote),
                            rdf_str!("This property should not be used directly, but as a super-property for all properties denoting a relationship of meaning between concepts."@en)
                        ),
                    )).into(),
                property!(
                    id!(unchecked topConceptOf) => { cardinality!(0..) } id!(unchecked ConceptScheme) ;
                    annotation_body!(
                        annotation!(id!(unchecked rdf:type), vs!(
                            id!(unchecked rdf:Property),
                            id!(unchecked owl:ObjectProperty),
                            id!(unchecked owl:TransitiveProperty),
                        )),
                        annotation!(id!(unchecked rdfs:domain), id!(unchecked Concept)),
                        annotation!(id!(unchecked rdfs:subPropertyOf), id!(unchecked inScheme)),
                        annotation!(id!(unchecked owl:inverseOf), id!(unchecked hasTopConcept)),
                        annotation!(id!(unchecked rdfs:isDefinedBy), id!(unchecked skos)),
                        annotation!(id!(unchecked rdfs:label), rdf_str!("is top concept in scheme"@en)),
                        annotation!(
                            id!(unchecked definition),
                            rdf_str!("Relates a concept to the concept scheme that it is a top level concept of."@en)
                        ),
                    )).into(),
            ])
    )
});