Hi, Francois.
Thanks for the update.
I have found another issue: this time is related to the SSNX
satisfiability. I ran HermiT v1.3.8 reasoner from Protege to check the
results on SSNX <https://www.w3.org/TR/vocab-ssn/#SSNX_Alignment>. There
are some classes that are labeled as unsatisfiable:
[image: Inline image 1]
Should all classes be satisfiable?
/$¡rm
Best regards,
Sergio José Rodríguez Méndez (羅士豪)
Pervasive Embedded Technologies Laboratory (PET Lab)
Computer Science Department
National Chiao Tung University
On Tue, Jan 16, 2018 at 6:04 PM, Francois Daoust <fd@w3.org> wrote:
> Hi Sergio,
>
>
>
> Many thanks for reporting these errors!
>
>
>
> I created two issues on the group’s issue tracker to track resolution on
> the Editor’s Draft:
>
> - Range of actsOnProperty and isActedOnBy still incorrect in SOSA
> figure:
> https://github.com/w3c/sdw/issues/995
> - Apartment 134 example incorrectly includes a sosa:actuationMadeBy
> property:
> https://github.com/w3c/sdw/issues/996
>
>
>
> The first one had already been identified and fixed in the SOSA+SSN
> actuation figure, but:
>
> 1. The fix did not make it to the published Recommendation for some
> reason (similar fixes on other figures that were done in the same commit
> were included, so I really don’t understand how this can have happened, but
> it did…)
> 2. The SOSA-only actuation figure has not been fixed.
>
>
>
> As usual, we cannot update the published Recommendation directly
> unfortunately. I will complete the list of known errata.
>
>
>
> Thanks,
>
> Francois.
>
