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

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