sosa:Result unsatisfiable in the new ssnx

[maximelefrancois86]

There is an insatisfiability whose origin is hasResult.

In a nutshell, the axioms (1) and (2) are too strict and should be relaxed to (1') and (2') :

sosa:hasResult ≡ oldssn:hasValue (1)
sosa:hasResult ≡ oldssn:observationResult (2)

oldssn:hasValue ⊑ sosa:hasResult (1')
oldssn:observationResult ⊑ sosa:hasResult (2')

Axiom (1) is causing the following problem.
oldssn:hasValue is a sub-property of dul:hasRegion, whose range in DUL has dul:Abstract as a super-class.
Yet, a sosa:Sampling procedure have only sosa:Sample as a result, and sosa:Sample is a sub-class of ( dul:Event or dul:Object or dul:Quality )

Axiom (2) is causing a few problem that are non trivial, but basically it boils down to either:

• disjunction between dul:SocialObject and dul:PhysicalObject .
• disjunctions between dul:Event and dul:Object .

If one relaxes (1) into (1') and (2) into (2'), then the insatisfiability no longer holds.

[maximelefrancois86]

implemented in PR w3c/sdw#1000

[tidoust]

Pull request merged. The issue is now fixed in the Editor's Draft. The published Recommendation cannot be directly updated but a new entry was added to the Errata document