S36 implementation details

Hi all,

I’m wondering about this detail in SKOS whereby elements in a memberList of an OrderedCollection are also members of the same OC. It appears in this comment <https://github.com/AKSW/Xturtle/blob/develop/vocabularies/xturtle.skos/skos.ttl#L180> and in S36 <https://www.w3.org/TR/skos-reference/#collections> of the reference document, but I’m not able to find its implementation.

On a sidenote, I am inclined to think of it as an owl:propertyChainAxiom, but that would require a property linking a list with its members without the rdf:List/rdf:rest{}/rdf:first indirection. Which has me wondering if a transitive property in place of rdf:rest positioned inside an owl:propertyChainAxiom — like so: ex:member owl:propertyChainAxiom (ex:rest ref:first) would achieve the desired effect.

Sorry if I’m being ignorant of important skos/owl/rdf spec-details here. New to the field and still learning about the finer distinctions.

Best,
Frederik Baumgardt

--
Sr. Developer @ Perseids Project
Perseus Digital Library
Tufts University