# 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 each 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:notation is an instance of owl:DatatypeProperty.
# S13 skos:note, skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each instances of owl:ObjectProperty.
# S14 skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each sub-properties of skos:note.
# S15 skos:semanticRelation, skos:broader, skos:narrower, skos:related, skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:ObjectProperty.
# S16 The rdfs:domain of skos:semanticRelation is the class skos:Concept.
# S17 The rdfs:range of skos:semanticRelation is the class skos:Concept.
# S18 skos:broaderTransitive, skos:narrowerTransitive and skos:related are each sub-properties of skos:semanticRelation.
# S19 skos:broader is a sub-property of skos:broaderTransitive, and skos:narrower is a sub-property of skos:narrowerTransitive.
# S20 skos:related is an instance of owl:SymmetricProperty.
# S21 skos:broader, skos:narrower and skos:related are each not instances of owl:TransitiveProperty.
# S22 skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:TransitiveProperty.
# S23 skos:narrower is the owl:inverseOf the property skos:broader.
# S24 skos:narrowerTransitive is the owl:inverseOf the property skos:broaderTransitive.
# S25 skos:related is disjoint with the property skos:broaderTransitive.
# S26 skos:Collection and skos:OrderedCollection are each instances of owl:Class.
# S27 skos:OrderedCollection is a sub-class of skos:Collection.
# S28 skos:member and skos:memberList are each instances of owl:ObjectProperty.
# S29 The rdfs:domain of skos:member is the class skos:Collection.
# S30 The rdfs:domain of skos:memberList is the class skos:OrderedCollection.
# S31 The rdfs:range of skos:memberList is the class rdf:List.
# S32 skos:memberList is an instance of owl:FunctionalProperty.
# S33 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.
# S34 skos:Collection is disjoint with each of skos:Concept and skos:ConceptScheme.
# S35 skos:mappingRelation, skos:exactMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each instances of owl:ObjectProperty.
# S36 The rdfs:domain of skos:mappingRelation is the class skos:Concept.
# S37 The rdfs:range of skos:mappingRelation is the class skos:Concept
# S38 skos:exactMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each sub-properties of skos:mappingRelation.
# S39 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.
# S40 skos:narrowMatch is the owl:inverseOf the property skos:broadMatch.
# S41 skos:relatedMatch is an instance of owl:SymmetricProperty.
# S42 skos:exactMatch is an instance of owl:SymmetricProperty.
# S43 xl:Label is an instance of owl:Class.
# S44 xl:Label is disjoint with each of skos:Concept, skos:ConceptScheme and skos:Collection.
# S45 xl:literalForm is an instance of owl:DatatypeProperty.
# S46 The rdfs:domain of xl:literalForm is the class xl:Label.
# S47 The rdfs:range of xl:literalForm is the class of RDF plain literals.
# S48 xl:literalForm is an instance of owl:FunctionalProperty.
# S49 xl:prefLabel, xl:altLabel and xl:hiddenLabel are each instances of owl:ObjectProperty.
# S50 The rdfs:range of each of xl:prefLabel, xl:altLabel and xl:hiddenLabel is the class xl:Label.
# S51 The property chain (xl:prefLabel, xl:literalForm) is a sub-property of skos:prefLabel.
# S52 The property chain (xl:altLabel, xl:literalForm) is a sub-property of skos:altLabel.
# S53 The property chain (xl:hiddenLabel, xl:literalForm) is a sub-property of skos:hiddenLabel.
# S54 xl:labelRelation is an instance of owl:ObjectProperty.
# S55 The rdfs:domain of xl:labelRelation is the class xl:Label.
# S56 The rdfs:range of xl:labelRelation is the class xl:Label.
# S57 xl:labelRelation is an instance of owl:SymmetricProperty.