Re: SSN Ontology Recommendation: inquiry about SSNX satisfiability

Hi Sergio, all,
That's odd, let me check on this one tomorrow.
I'll keep you updated
Best,
Maxime

Le mar. 16 janv. 2018 à 23:20, Sergio José Rodríguez Méndez <
srodriguez@pet.cs.nctu.edu.tw> a écrit :

> 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.
>>
>
>

Received on Tuesday, 16 January 2018 23:00:58 UTC