- From: Rob Atkinson via GitHub <sysbot+gh@w3.org>
- Date: Thu, 18 Mar 2021 06:05:37 +0000
- To: public-dxwg-wg@w3.org
They dont have the same semantics at all. The axiom makes the inference chain explicit, and does not state these are equivalent. People dont like axiomitisation because its hard to read, and I get that, but it also makes things explicit and unambiguous so we reluctantly included it because this inferencing is the point here. -- GitHub Notification of comment by rob-metalinkage Please view or discuss this issue at https://github.com/w3c/dxwg/issues/802#issuecomment-801656024 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 18 March 2021 06:05:38 UTC