Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove sameTimeAs #461

Closed
rjyounes opened this issue Apr 23, 2021 · 1 comment
Closed

Remove sameTimeAs #461

rjyounes opened this issue Apr 23, 2021 · 1 comment
Labels
closed: already resolved The issue has been resolved by an earlier modification or one slated for implementation topic: dates and times

Comments

@rjyounes
Copy link
Collaborator

This predicate has domain and range TimeInstant. A TimeInstant has both local and universal datetime values expressed as xsd:dateTime. An xsd:dateTime should have a time zone in order to be fully specified (see https://www.w3.org/TR/xmlschema-2/#dateTime) so we always know what universal time the local time refers to. Therefore, we can always compare two TimeInstants and determine whether they are the same or not based on their values, and can thus express identity using owl:sameAs .

@rjyounes rjyounes added the closed: duplicate Duplicate issue or subsumed by another issue label Aug 26, 2021
@rjyounes
Copy link
Collaborator Author

The new time model in #499 makes this obsolete, as the TimeInstant class is deleted.

@rjyounes rjyounes added closed: already resolved The issue has been resolved by an earlier modification or one slated for implementation topic: dates and times and removed closed: duplicate Duplicate issue or subsumed by another issue topic: dates and times labels Aug 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
closed: already resolved The issue has been resolved by an earlier modification or one slated for implementation topic: dates and times
Projects
None yet
Development

No branches or pull requests

1 participant