shape for inverse path

[gengchenmai]

For sosa:ObservableProperty

I see that one restriction is the domain of sosa:observedProperty should be sosa:Observation :
inverse Of sosa:observedProperty ONLY sosa:Observation

I am not sure how to express this inverse path in SHACL. I see a shLinversPath. But I think it has a different meaning.

[zhurui0509]

I think this is included in the ObservationConstraint.

[gengchenmai]

I know what you mean. But I think they are different. We say if the subject is an instance of sosa:Observation, the predicate is sosa:observedProperty, then the object should be an instance of sosa:ObservableProperty.

This is different from we say - if the object is an instance of sosa:ObservableProperty, the predicate is sosa:observedProperty, then the subject should be an instance of sosa:Observation.

[cogan-shimizu]

my understanding is that the sh:inversePath is the correct term to use here.

inverse Of sosa:observedProperty ONLY sosa:Observation

would translate to

sh:property [
    sh:path [sh:inversePath sosa:observedProperty] ;
    rdfs:comment "";
    sh:class sosa:Observation ;
]