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

: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.

[ericprud]

Checking to see if I understand the semantics:

my:ontology1@:Ontology (conformant)

my:ontology1 a owl:Ontology ;
  owl:imports <a> ;
  my:p1 my:foo 1 .
my:p1 a owl:AnnotationProperty ; rdfs:label "p1" .

my:ontology2!@:Ontology (nonconfoormant)

my:ontology2 a owl:Ontology ;
  owl:imports <a> ;
  my:p1 my:foo 1 .
my:p1 rdfs:label "p1" .