Constraining a property by its shape

[labra]

I just found this message in the ShEx mailing list and I copy it here so the idea doesn't get lost.

Is there any way to constrain properties used within a shape by the shape of the properties? I’m thinking of something like this (not legal):

:Ontology Nonliteral {
    a [owl:Ontology] ;
    owl:imports IRI+ ;
    @:AnnotationProperty .*
}

:AnnotationProperty IRI {
    a owl:AnnotationProperty
}

The ontology shape can have any number of properties that are annotation properties.

Although that possibility is not supported in current ShEx, I think it is a possibility that we could explore in future versions of ShEx.