I would like to declare in my schema a container class that contains ordered elements of a particular class. I figured that the simplest way to declare that the elements must be ordered was to declare the container a rdfs:subClassOf rdf:seq.
:MyContainer rdfs:subClassOf rdf:seq.
:MyElement rdf:type rdfs:Class.
:elementProperty1
rdf:type rdfs:Property;
rdfs:domain :MyElement.
In addition to the above I would also like to convey the following information in the schema:
The statements
:ContainerInstance rdf:_1 Object
and:ContainerInstance rdf:type :MyContainer
entail thatObject rdf:type :MyElement
.The statements
Subject rdf:_1 :ElementInstance
and:ElementInstance rdf:type :MyElement
entail thatSubject rdf:type :MyContainer
.
Of course, any instance of rdfs:ContainerMembershipProperty (rdf:_1, rdf:_2, rdf:_3 …) could appear in place of rdf:_1 above.