If an observation used a procedure, then the sensor that made the observation does implement that procedure ?

Dear all,

During last week's F2F we mentioned the qualified cardinality restrictions
that SSN will add to sosa:Observation.

Some of the local restrictions on sosa:Observation are:



ObjectAllValuesFrom( sosa:isObservedBy sosa:Sensor )

ObjectExactCardinality( 1 sosa:isObservedBy sosa:Sensor )


ObjectAllValuesFrom( ssn:sensingMethodUsed ssn:Sensing )

ObjectExactCardinality( 1 ssn:sensingMethodUsed ssn:Sensing )


Some quick remarks:

1. mentions of sosa:isObservedBy should be replaced by sosa:madeBySensor.

2. mentions of ssn:sensingMethodUsed should be replaced by
sosa:usedProcedure.

3. sosa uses term implements, or implementing, on Sensor, Actuator, and
Sampler, but does not define property sosa:implements.



It's fine to me that an Observation is made by one and only one Sensor,
using one and only one Procedure. It would make sense to axiomatize SSN
further and represent the fact that: "If an observation used a procedure,
then the sensor that made the observation does implement that procedure.".
This can be modelled by:

SubObjectPropertyOf( ObjectPropertyChain( sosa:madeObservation
sosa:usedProcedure ) ssn:implements )


This axioms is compatible with the rest of SSN, could we consider adding it
?

(note that I try to be very careful when choosing the prefixes, but there
may be some mistakes).

Best,
Maxime