- From: Rob Atkinson via GitHub <sysbot+gh@w3.org>
- Date: Tue, 05 Nov 2019 19:58:57 +0000
- To: public-dxwg-wg@w3.org
@isaac - I agree with this in general "running the risk of over-formalizing" - but if there is a tricky ambiguity it is necessary to constrain to achieve interoperability, then it may be necessary. Words are ambiguous, and complex chains of examples can get hard to follow. We added such a property chain axiom to PROF because we ended up in circular arguments where it was too easy to forget the original design intention and without a grounding in computer science the implications of some statements weren't obvious enough. -- GitHub Notification of comment by rob-metalinkage Please view or discuss this issue at https://github.com/w3c/dxwg/issues/1130#issuecomment-549993778 using your GitHub account
Received on Tuesday, 5 November 2019 19:58:58 UTC