Re: [sdw] Our project needs an inverse relation for time:hasTime (#1337)

Hmmm. Since
```
ex:EventA time:hasTime ex:TimeEntityB .
```

is logically equivalent to 
```
ex:TimeEntityB time:timePertainsTo ex:EventA .
```

Can't you just mint the former? 

These days I'm a little wary of creating inverse properties since then you have a synching challenge - if there are two ways to express the same assertion, then what if they are inconsistent?  And in this case, since the cardinality of `time:timePertainsTo` relations are potentially large, then `time:hasTime` would generally be easier to manage. 


-- 
GitHub Notification of comment by dr-shorthair
Please view or discuss this issue at https://github.com/w3c/sdw/issues/1337#issuecomment-1047430989 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 22 February 2022 05:10:18 UTC