- From: Maxime Lefrançois <maxime.lefrancois@emse.fr>
- Date: Tue, 16 Jan 2018 23:00:17 +0000
- To: Sergio José Rodríguez Méndez <srodriguez@pet.cs.nctu.edu.tw>
- Cc: Francois Daoust <fd@w3.org>, SDW WG Public List <public-sdw-wg@w3.org>
- Message-ID: <CALsPASVK6nN9Y9zzzLMTW7mQoOyy+PGi0_RApmjsFrwM=BMraQ@mail.gmail.com>
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. >> > >
Attachments
- image/png attachment: SSNX_-_Reasoner_-_Some_classes_are_unsatisfiable.png
Received on Tuesday, 16 January 2018 23:00:58 UTC