** Not in OWL 2 DL
*** Not in OWL 2

S1 	skos:Concept is an instance of owl:Class.
Declaration( Class(skos:Concept) )

S2 	skos:ConceptScheme is an instance of owl:Class.
Declaration( Class(skos:ConceptScheme) )
S3 	skos:inScheme, skos:hasTopConcept and skos:topConceptOf are each instances of owl:ObjectProperty.
Declaration( ObjectProperty(skos:inScheme) )
Declaration( ObjectProperty(skos:hasTopConcept) )
Declaration( ObjectProperty(skos:topConceptOf) )
S4 	The rdfs:range of skos:inScheme is the class skos:ConceptScheme.
PropertyRange(skos:inScheme skos:ConceptScheme)
S5 	The rdfs:domain of skos:hasTopConcept is the class skos:ConceptScheme.
PropertyDomain(skos:hasTopConcept skos:ConceptScheme)
S6 	The rdfs:range of skos:hasTopConcept is the class skos:Concept.
PropertyRange(skos:hasTopConcept skos:Concept)
S7 	skos:topConceptOf is a sub-property of skos:inScheme.
SubPropertyOf(skos:topConceptOf skos:inScheme)
S8 	skos:topConceptOf is the owl:inverseOf the property skos:hasTopConcept.
InverseProperties(skos:topConceptOf skos:hasTopConcept)

S9 	skos:ConceptScheme is disjoint with skos:Concept.
DisjointClasses(skos:ConceptScheme skos:Concept)

S10 	skos:prefLabel, skos:altLabel and skos:hiddenLabel are each instances of owl:DatatypeProperty.
Declaration( DataProperty(skos:prefLabel) )
Declaration( DataProperty(skos:altLabel) )
Declaration( DataProperty(skos:hiddenLabel) )
S11 	skos:prefLabel, skos:altLabel and skos:hiddenLabel are each subproperties of rdfs:label.
** SubPropertyOf( skos:prefLabel rdfs:label )
** SubPropertyOf( skos:altLabel rdfs:label )
** SubPropertyOf( skos:hiddenLabel rdfs:label )
S12 	The rdfs:range of each of skos:prefLabel, skos:altLabel and skos:hiddenLabel is the class of RDF plain literals.
PropertyRange( skos:prefLabel rdf:Text )
PropertyRange( skos:altLabel rdf:Text )
PropertyRange( skos:hiddenLabel rdf:Text )

S13 	skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise disjoint properties.
DisjointProperties(skos:prefLabel skos:altLabel skos:hiddenLabel)
S14 	A resource has no more than one value of skos:prefLabel per language.
***

S15 	skos:notation is an instance of owl:DatatypeProperty.
Declaration( DataProperty( skos:notation ) ) 

S16 	skos:note, skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each instances of owl:ObjectProperty.
Declaration( ObjectProperty(skos:note) )
Declaration( ObjectProperty(skos:changeNote) )
Declaration( ObjectProperty(skos:definition) )
Declaration( ObjectProperty(skos:editorialNote) )
Declaration( ObjectProperty(skos:example) )
Declaration( ObjectProperty(skos:historyNote) )
Declaration( ObjectProperty(skos:scopeNote) )
S17 	skos:changeNote, skos:definition, skos:editorialNote, skos:example, skos:historyNote and skos:scopeNote are each sub-properties of skos:note.
SubPropertyOf( skos:changeNote skos:note )
SubPropertyOf( skos:definition skos:note )
SubPropertyOf( skos:editorialNote skos:note )
SubPropertyOf( skos:example skos:note )
SubPropertyOf( skos:historyNote skos:note )
SubPropertyOf( skos:scopeNote skos:note )

S18 	skos:semanticRelation, skos:broader, skos:narrower, skos:related, skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:ObjectProperty.
Declaration( ObjectProperty(skos:semanticRelation) )
Declaration( ObjectProperty(skos:broader) )
Declaration( ObjectProperty(skos:narrower) )
Declaration( ObjectProperty(skos:related) )
Declaration( ObjectProperty(skos:broaderTransitive) )
Declaration( ObjectProperty(skos:narrowerTransitive) )
S19 	The rdfs:domain of skos:semanticRelation is the class skos:Concept.
PropertyDomain( skos:semanticRelation skos:Concept )
S20 	The rdfs:range of skos:semanticRelation is the class skos:Concept.
PropertyRange( skos:semanticRelation skos:Concept )
S21 	skos:broaderTransitive, skos:narrowerTransitive and skos:related are each sub-properties of skos:semanticRelation.
SubPropertyOf( skos:broaderTransitive skos:semanticRelation )
SubPropertyOf( skos:narrowerTransitive skos:semanticRelation )
SubPropertyOf( skos:related skos:semanticRelation )
S22 	skos:broader is a sub-property of skos:broaderTransitive, and skos:narrower is a sub-property of skos:narrowerTransitive.
SubPropertyOf( skos:broader skos:broaderTransitive )
SubPropertyOf( skos:narrower skos:narrowerTransitive )
S23 	skos:related is an instance of owl:SymmetricProperty.
SymmetricProperty( skos:related )
S24 	skos:broaderTransitive and skos:narrowerTransitive are each instances of owl:TransitiveProperty.
TransitiveProperty( skos:broaderTransitive )
TransitiveProperty( skos:narrowerTransitive )
S25 	skos:narrower is the owl:inverseOf the property skos:broader.
InverseProperties( skos:narrower skos:broader )
S26 	skos:narrowerTransitive is the owl:inverseOf the property skos:broaderTransitive.
InverseProperties( skos:narrowerTransitive skos:broaderTransitive )

S27 	skos:related is disjoint with the property skos:broaderTransitive.
DisjointProperties( skos:related skos:broaderTransitive )

S28 	skos:Collection and skos:OrderedCollection are each instances of owl:Class.
Declaration( Class( skos:Collection ) )
Declaration( Class( skos:OrderedCollection ) )
S29 	skos:OrderedCollection is a sub-class of skos:Collection.
SubClassOf( skos:OrderedCollection skos:Collection )
S30 	skos:member and skos:memberList are each instances of owl:ObjectProperty.
Declaration( ObjectProperty( skos:member ) )
Declaration( ObjectProperty( skos:memberList ) )
S31 	The rdfs:domain of skos:member is the class skos:Collection.
PropertyDomain( skos:member skos:Collection )
S32 	The rdfs:domain of skos:memberList is the class skos:OrderedCollection.
PropertyDomain( skos:memberList skos:OrderedCollection )
S33 	The rdfs:range of skos:memberList is the class rdf:List.
** PropertyRange( skos:memberList rdf:List )
S34 	skos:memberList is an instance of owl:FunctionalProperty.
FunctionalProperty( skos:memberList ) 
S35 	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.
***

S36 	skos:Collection is disjoint with each of skos:Concept and skos:ConceptScheme.
DisjointClasses( skos:Collection skos:Concept )
DisjointClasses( skos:Collection skos:ConceptScheme )

S37 	skos:mappingRelation, skos:closeMatch, skos:exactMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each instances of owl:ObjectProperty.
Declaration( ObjectProperty( skos:mappingRelation ) ) 
Declaration( ObjectProperty( skos:closeMatch ) ) 
Declaration( ObjectProperty( skos:exactMatch ) ) 
Declaration( ObjectProperty( skos:broadMatch ) )
Declaration( ObjectProperty( skos:narrowMatch ) )
Declaration( ObjectProperty( skos:relatedMatch ) )
S38 	The rdfs:domain of skos:mappingRelation is the class skos:Concept.
PropertyDomain( skos:mappingRelation skos:Concept )
S39 	The rdfs:range of skos:mappingRelation is the class skos:Concept
PropertyRange( skos:mappingRelation skos:Concept )
S40 	skos:closeMatch, skos:broadMatch, skos:narrowMatch and skos:relatedMatch are each sub-properties of skos:mappingRelation.
SubPropertyOf( skos:closeMatch skos:mappingRelation )
SubPropertyOf( skos:broadMatch skos:mappingRelation )
SubPropertyOf( skos:relatedMatch 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.
SubPropertyOf( skos:broadMatch skos:broader )
SubPropertyOf( skos:narrowMatch skos:narrower )
SubPropertyOf( skos:relatedMatch skos:related )
S42 	skos:exactMatch is a sub-property of skos:closeMatch.
SubPropertyOf( skos:exactMatch skos:closeMatch )
S43 	skos:narrowMatch is the owl:inverseOf the property skos:broadMatch.
InverseProperties( skos:narrowMatch skos:broadMatch )
S44 	skos:relatedMatch is an instance of owl:SymmetricProperty.
SymmetricProperty( skos:relatedMatch )
S45 	skos:closeMatch and skos:exactMatch are each instances of owl:SymmetricProperty.
SymmetricProperty( skos:closeMatch )
SymmetricProperty( skos:exactMatch )
S46 	skos:exactMatch is an instance of owl:TransitiveProperty.
TransitiveProperty( skos:exactMatch )

S47 	skos:exactMatch is disjoint with each of the properties skos:broadMatch and skos:relatedMatch.
DisjointProperties( skos:exactMatch skos:broadMatch )
DisjointProperties( skos:exactMatch skos:relatedMatch )

S48 	skosxl:Label is an instance of owl:Class.
Declaration( Class(skosx:Label )
S49 	skosxl:Label is disjoint with each of skos:Concept, skos:ConceptScheme and skos:Collection.
DisjointClasses( skosxl:Label skos:Concept )
DisjointClasses( skosxl:Label skos:ConceptScheme )
DisjointClasses( skosxl:Label skos:Collection )
S50 	skosxl:literalForm is an instance of owl:DatatypeProperty.
Declaration( DataProperty( skosxl:literalForm ) )
S51 	The rdfs:domain of skosxl:literalForm is the class skosxl:Label.
PropertyDomain( skosxl:literalForm skosxl:Label )
S52 	The rdfs:range of skosxl:literalForm is the class of RDF plain literals.
PropertyRange( skosxl:literalForm rdf:Text )
S53 	skosxl:Label is a sub-class of a restriction on skosxl:literalForm cardinality exactly 1.
SubClassOf( skosxl:Label ExactCardinality( 1 skosxl:literalForm ) )

S54 	skosxl:prefLabel, skosxl:altLabel and skosxl:hiddenLabel are each instances of owl:ObjectProperty.
Declaration( ObjectProperty( skosxl:prefLabel ) )
Declaration( ObjectProperty( skosxl:altLabel ) )
Declaration( ObjectProperty( skosxl:hiddenLabel ) )
S55 	The rdfs:range of each of skosxl:prefLabel, skosxl:altLabel and skosxl:hiddenLabel is the class skosxl:Label.
PropertyRange( skosxl:prefLabel skosxl:Label )
PropertyRange( skosxl:altLabel skosxl:Label )
PropertyRange( skosxl:hiddenLabel skosxl:Label )
S56 	The property chain (skosxl:prefLabel, skosxl:literalForm) is a sub-property of skos:prefLabel.
** SubPropertyOf( PropertyChain( skosxl:prefLabel skosxl:literalForm ) skos:prefLabel )
S57 	The property chain (skosxl:altLabel, skosxl:literalForm) is a sub-property of skos:altLabel.
** SubPropertyOf( PropertyChain( skosxl:altLabel skosxl:literalForm ) skos:altLabel )
S58 	The property chain (skosxl:hiddenLabel, skosxl:literalForm) is a sub-property of skos:hiddenLabel.
** SubPropertyOf( PropertyChain( skosxl:hiddenLabel skosxl:literalForm ) skos:hiddenLabel )

S59 	skosxl:labelRelation is an instance of owl:ObjectProperty.
Declaration( ObjectProperty( skosxl:labelRelation ) )  
S60 	The rdfs:domain of skosxl:labelRelation is the class skosxl:Label.
PropertyDomain( skosxl:labelRelation skosxl:Label )
S61 	The rdfs:range of skosxl:labelRelation is the class skosxl:Label.
PropertyRange( skosxl:labelRelation skosxl:Label )
S62 	skosxl:labelRelation is an instance of owl:SymmetricProperty.
SymmetricProperty( skosxl:labelRelation )