# S1 skos:Concept is an instance of owl:Class.
# S2 skos:ConceptScheme is an instance of owl:Class.
# S3 skos:inScheme and skos:hasTopConcept 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:ConceptScheme is disjoint with skos:Concept.
# S8 skos:prefLabel, skos:altLabel and skos:hiddenLabel are each instances of owl:DatatypeProperty.
# S9 The rdfs:range of skos:prefLabel, skos:altLabel and skos:hiddenLabel is the class of RDF plain literals.
# S10 skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise disjoint properties.
# S11 A resource has no more than one value of skos:prefLabel per language.
# S12 skos:note, skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each instances of owl:ObjectProperty.
# S13 skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each sub-properties of skos:note.
# S14 skos:semanticRelation, skos:broader, skos:narrower, skos:related, skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:ObjectProperty.
# S15 The rdfs:domain of skos:semanticRelation is the class skos:Concept.
# S16 The rdfs:range of skos:semanticRelation is the class skos:Concept.
# S17 skos:broaderTransitive, skos:narrowerTransitive and skos:related are each sub-properties of skos:semanticRelation.
# S18 skos:broader is a sub-property of skos:broaderTransitive, and skos:narrower is a sub-property of skos:narrowerTransitive.
# S19 skos:related is an instance of owl:SymmetricProperty.
# S20 skos:broader, skos:narrower and skos:related are each not instances of owl:TransitiveProperty.
# S21 skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:TransitiveProperty.
# S22 skos:narrower is the owl:inverseOf the property skos:broader.
# S23 skos:narrowerTransitive is the owl:inverseOf the property skos:broaderTransitive.
# S24 skos:related is disjoint with the property skos:broaderTransitive.
# S25 skos:LabelRelation is an instance of owl:Class.
# S26 skos:labelRelated is an instance of owl:DatatypeProperty.
# S27 skos:seeLabelRelation is an instance of owl:ObjectProperty.
# S28 The rdfs:domain of skos:labelRelated is the class skos:LabelRelation.
# S29 The rdfs:range of skos:labelRelated is the class of RDF plain literals.
# S30 The rdfs:range of skos:seeLabelRelation is the class skos:LabelRelation.
# S31 skos:LabelRelation is disjoint with each of skos:Concept and skos:ConceptScheme.
# S32 skos:Collection and skos:OrderedCollection are each instances of owl:Class.
# S33 skos:OrderedCollection is a sub-class of skos:Collection.
# S34 skos:member and skos:memberList are each instances of owl:ObjectProperty.
# S35 The rdfs:domain of skos:member is the class skos:Collection.
# S36 The rdfs:domain of skos:memberList is the class skos:OrderedCollection.
# S37 The rdfs:range of skos:memberList is the class rdf:List.
# S38 skos:memberList is an instance of owl:FunctionalProperty.
# S39 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.
# S40 skos:Collection is disjoint with each of skos:Concept, skos:ConceptScheme and skos:LabelRelation.
# S41 skos:mappingRelation, skos:exactMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each instances of owl:ObjectProperty.
# S42 skos:exactMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each sub-properties of skos:mappingRelation.
# S43 The rdfs:domain of skos:mappingRelation is the class skos:Concept.
# S44 The rdfs:range of skos:mappingRelation is the class skos:Concept
# S45 skos:narrowMatch is the owl:inverseOf the property skos:broadMatch.
# S46 skos:relatedMatch is an instance of owl:SymmetricProperty.
# S47 skos:exactMatch is an instance of owl:SymmetricProperty.
# S48 skos:relatedMatch is disjoint with the property skos:broadMatch.