- From: Chris Little via GitHub <sysbot+gh@w3.org>
- Date: Thu, 20 Jun 2019 14:55:41 +0000
- To: public-sdwig@w3.org
@elf-pavlik @dr-shorthair Happy with the renaming time:notEquals to time:disjoint (just tested it on a very small sample of other people). Thought about my concerns and happy with the proposed extensions providing nobody uses ontologies for mathematical induction. I.e. deduce true for n=0, then deduce true for n implies true for n+1. -- GitHub Notification of comment by chris-little Please view or discuss this issue at https://github.com/w3c/sdw/issues/1126#issuecomment-504058508 using your GitHub account
Received on Thursday, 20 June 2019 14:55:43 UTC