- From: Maxime Lefrançois via GitHub <sysbot+gh@w3.org>
- Date: Tue, 20 Feb 2018 08:58:34 +0000
- To: public-sdwig@w3.org
Propose the following text to append to the errata document
6. Unsatisfiable classes in SSNX alignment module
Added: {$date}
Type: ???
Refers to: 6.2 SSNX Alignment Module
Description: Unsatisfiability of some classes due to axioms (1) and (2) being too strict:
sosa:hasResult ≡ oldssn:hasValue (1)
sosa:hasResult ≡ oldssn:observationResult (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 .
Correction: Axioms (1) and (2) are relaxed to (1') and (2')
oldssn:hasValue ⊑ sosa:hasResult (1')
oldssn:observationResult ⊑ sosa:hasResult (2')
7. Unsatisfiable classes in SSNX alignment module
Added: {$date}
Type: ???
Refers to: 6.1 Dolce-Ultralite Alignment Module and 6.2 SSNX Alignment Module
Description: Unsatisfiability of some classes, ex. Survival classes:
- class ssn-system:SurvivalProperty is a sub-class of ssn:Property, and has for inverseof( ssn-system:hasSurvivalProperty ) only (and at least one) ssn-system:SurvivalRange, that is a sub-class of ssn:Property
- inverseof( ssn-system:hasSurvivalProperty ) is a sub-property of ssn:isPropertyOf
ssn:Property has for ssn:isPropertyOf only sosa:FeatureOfInterest
So some instance of ssn-system:SurvivalRange would be both a ssn:Property and a sosa:FeatureOfInterest, which is forbidden.
Correction: A feature of interest can also be a quality, so axioms (1) and (2) are relaxed to (1') and (2') 👍
sosa:FeatureOfInterest rdfs:subClassOf [ owl:unionOf ( dul:Event dul:Object dul:InformationEntity ) ] (1)
oldssn:FeatureOfInterest owl:equivalentClass sosa:FeatureOfInterest (2)
sosa:FeatureOfInterest rdfs:subClassOf dul:Entity (1')
oldssn:FeatureOfInterest rdfs:subClassOf sosa:FeatureOfInterest (2')
--
GitHub Notification of comment by maximelefrancois86
Please view or discuss this issue at https://github.com/w3c/sdw/pull/1000#issuecomment-366910590 using your GitHub account
Received on Tuesday, 20 February 2018 09:00:25 UTC