- From: Stephen Richard via GitHub <sysbot+gh@w3.org>
- Date: Thu, 08 Mar 2018 15:23:12 +0000
- To: public-sdwig@w3.org
It seems to me that the observedProperty is not a sub-property of hasProperty. They share the same range, and there are some implications that follow in a logically consistent sample and observation graph: informally, something like-- If Observation(x).observedProperty.ObservableProperty(y) then there exists Sample(z) such that Observation(x).hasFeatureOfInterest.Sample(z).hasProperty.ObservableProperty(y) And If Observation(x).hasUltimateFeatureOfInterest.FeatureOfInterest(a) then [FeatureOfInterest(a).hasProperty.ObservableProperty(y) And Sample(z).isSampleOf.FeatureOfInterest(a)] -- GitHub Notification of comment by smrgeoinfo Please view or discuss this issue at https://github.com/w3c/sdw/issues/1006#issuecomment-371519694 using your GitHub account
Received on Thursday, 8 March 2018 15:23:17 UTC