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: Thu, 23 May 2019 21:47:08 +0000
To: public-sdwig@w3.org
Message-ID: <issue_comment.created-495396923-1558648027-sysbot+gh@w3.org>
Both [`time:before`](https://www.w3.org/TR/owl-time/#time:before) and [`time:after`](https://www.w3.org/TR/owl-time/#time:after) have domain and range `time:TemporalEntity`. At the same time ontology includes [`time:intervalBefore`](https://www.w3.org/TR/owl-time/#time:intervalBefore) and [`time:intervalAfter`](https://www.w3.org/TR/owl-time/#time:intervalAfter) which have domain and range `time:ProperInterval`. Maybe in similar way alongside [`time:intervalEquals`](https://www.w3.org/TR/owl-time/#time:intervalEquals) with domain and range `time:ProperInterval`, ontology could get additional `time:equals` which would have domain and range `time:TemporalEntity`?

-- 
GitHub Notification of comment by elf-pavlik
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1126#issuecomment-495396923 using your GitHub account
Received on Thursday, 23 May 2019 21:47:10 UTC

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