W3C home > Mailing lists > Public > public-sdwig@w3.org > May 2019

Re: [sdw] `time:Instant` equal to another `time:Instant` (#1126)

From: elf Pavlik via GitHub <sysbot+gh@w3.org>
Date: Sat, 25 May 2019 17:38:40 +0000
To: public-sdwig@w3.org
Message-ID: <issue_comment.created-495935686-1558805919-sysbot+gh@w3.org>
Thinking about use cases we work with in https://www.valueflo.ws/ I see one which with all above might still not get covered. When describing some future temporal entity, one may not know if it will get observed and recorded as and instant or proper interval. I don't see a way to have something looser than discussed `time:equals`, so it would also cover cases when already observed and recorded:
* for two proper intervals we can have anything but `time:intervalDisjoint`
* for an interval and instant we have `time:inside`
* for two instants we have discussed `time:equals`

Pretty much some property which allows to state that two temporal entities coincide, but without implying about any of them that it is an instant or proper interval.




-- 
GitHub Notification of comment by elf-pavlik
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1126#issuecomment-495935686 using your GitHub account
Received on Saturday, 25 May 2019 17:38:41 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:17:53 UTC