# S1 skos:Concept is an instance of owl:Class.
# S2 skos:ConceptScheme is an instance of owl:Class.
# S3 skos:inScheme, skos:hasTopConcept and skos:topConceptOf are each instances of owl:ObjectProperty.
# S4 The rdfs:range of skos:inScheme is the class skos:ConceptScheme.
# S5 The rdfs:domain of skos:hasTopConcept is the class skos:ConceptScheme.
# S6 The rdfs:range of skos:hasTopConcept is the class skos:Concept.
# S7 skos:topConceptOf is a sub-property of skos:inScheme.
# S8 skos:topConceptOf is owl:inverseOf the property skos:hasTopConcept.
# S9 skos:ConceptScheme is disjoint with skos:Concept.
# S10 skos:prefLabel, skos:altLabel and skos:hiddenLabel are each instances of owl:AnnotationProperty.
# S11 skos:prefLabel, skos:altLabel and skos:hiddenLabel are each sub-properties of rdfs:label.
# S12 The rdfs:range of each of skos:prefLabel, skos:altLabel and skos:hiddenLabel is the class of RDF plain literals.
# S13 skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise disjoint properties.
# S14 A resource has no more than one value of skos:prefLabel per language tag.
# S15 skos:notation is an instance of owl:DatatypeProperty.
# S16 skos:note, skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each instances of owl:AnnotationProperty.
# S17 skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each sub-properties of skos:note.
# S18 skos:semanticRelation, skos:broader, skos:narrower, skos:related, skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:ObjectProperty.
# S19 The rdfs:domain of skos:semanticRelation is the class skos:Concept.
# S20 The rdfs:range of skos:semanticRelation is the class skos:Concept.
# S21 skos:broaderTransitive, skos:narrowerTransitive and skos:related are each sub-properties of skos:semanticRelation.
# S22 skos:broader is a sub-property of skos:broaderTransitive, and skos:narrower is a sub-property of skos:narrowerTransitive.
# S23 skos:related is an instance of owl:SymmetricProperty.
# S24 skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:TransitiveProperty.
# S25 skos:narrower is owl:inverseOf the property skos:broader.
# S26 skos:narrowerTransitive is owl:inverseOf the property skos:broaderTransitive.
# S27 skos:related is disjoint with the property skos:broaderTransitive.
# S28 skos:Collection and skos:OrderedCollection are each instances of owl:Class.
# S29 skos:OrderedCollection is a sub-class of skos:Collection.
# S30 skos:member and skos:memberList are each instances of owl:ObjectProperty.
# S31 The rdfs:domain of skos:member is the class skos:Collection.
# S32 The rdfs:range of skos:member is the union of classes skos:Concept and skos:Collection.
# S33 The rdfs:domain of skos:memberList is the class skos:OrderedCollection.
# S34 The rdfs:range of skos:memberList is the class rdf:List.
# S35 skos:memberList is an instance of owl:FunctionalProperty.
# S36 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.
# S37 skos:Collection is disjoint with each of skos:Concept and skos:ConceptScheme.
# S38 skos:mappingRelation, skos:closeMatch, skos:exactMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each instances of owl:ObjectProperty.
# S39 skos:mappingRelation is a sub-property of skos:semanticRelation.
# S40 skos:closeMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each sub-properties of skos:mappingRelation.
# S41 skos:broadMatch is a sub-property of skos:broader, skos:narrowMatch is a sub-property of skos:narrower, and skos:relatedMatch is a sub-property of skos:related.
# S42 skos:exactMatch is a sub-property of skos:closeMatch.
# S43 skos:narrowMatch is owl:inverseOf the property skos:broadMatch.
# S44 skos:relatedMatch, skos:closeMatch and skos:exactMatch are each instances of owl:SymmetricProperty.
# S45 skos:exactMatch is an instance of owl:TransitiveProperty.
# S46 skos:exactMatch is disjoint with each of the properties skos:broadMatch and skos:relatedMatch.
# S47 skosxl:Label is an instance of owl:Class.
# S48 skosxl:Label is disjoint with each of skos:Concept, skos:ConceptScheme and skos:Collection.
# S49 skosxl:literalForm is an instance of owl:DatatypeProperty.
# S50 The rdfs:domain of skosxl:literalForm is the class skosxl:Label.
# S51 The rdfs:range of skosxl:literalForm is the class of RDF plain literals.
# S52 skosxl:Label is a sub-class of a restriction on skosxl:literalForm cardinality exactly 1.
# S53 skosxl:prefLabel, skosxl:altLabel and skosxl:hiddenLabel are each instances of owl:ObjectProperty.
# S54 The rdfs:range of each of skosxl:prefLabel, skosxl:altLabel and skosxl:hiddenLabel is the class skosxl:Label.
# S55 The property chain (skosxl:prefLabel, skosxl:literalForm) is a sub-property of skos:prefLabel.
# S56 The property chain (skosxl:altLabel, skosxl:literalForm) is a sub-property of skos:altLabel.
# S57 The property chain (skosxl:hiddenLabel, skosxl:literalForm) is a sub-property of skos:hiddenLabel.
# S58 skosxl:labelRelation is an instance of owl:ObjectProperty.
# S59 The rdfs:domain of skosxl:labelRelation is the class skosxl:Label.
# S60 The rdfs:range of skosxl:labelRelation is the class skosxl:Label.
# S61 skosxl:labelRelation is an instance of owl:SymmetricProperty.