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

Ticket 25: Defined temporal concept, added owl-Time as an example #54

Closed
wants to merge 1 commit into from

Conversation

beortner
Copy link
Collaborator

No description provided.

@beta2k
Copy link
Contributor

beta2k commented Feb 19, 2016

#25

@greenTara
Copy link
Collaborator

The requirement introduced here that all timestamps are time instants is not consistent with the definition of timestamped graph, where "timestamp" is the role that is played by the temporal entity that is the subject of the timestamp triple, and is not required to be a time instant.

I don't think it is necessary to define, or use, the term "timestamp" in this section - it is formally defined in the definition of a timestamped graph.

@greenTara greenTara self-assigned this Feb 19, 2016
@greenTara
Copy link
Collaborator

The case has not been made for the added specifications, either from the Requirements document or on technical grounds. There are perfectly good, usable temporal ontologies that have no time instants at all. There are temporal ontologies of branching time, that have a quite different topology than OWL TIME. I agree that OWL TIME is worth mentioning as an example, because it is a W3C recommendation and is fairly intuitive. As such, it should be marked up as an example:

    <aside class="example highlight" title="OWL TIME"> ...

@greenTara
Copy link
Collaborator

The Respec user guide https://www.w3.org/respec/guide.html contains useful information regarding references. https://www.w3.org/respec/guide.html#references OWL TIME can be referenced as

[[OWL-TIME]]

Also, please use the Editor's note feature

<p class="ednote">...

rather than XML comments for e.g. the reference to an issue.

@greenTara
Copy link
Collaborator

The pull request should be into gh-pages, not the master branch. It appears that the master branch was used as the parent for this commit, which is behind the gh-pages branch by several commits. Would you please transfer to the correct file (index.html in gh-pages) and create a new pull request?

@beortner
Copy link
Collaborator Author

beortner commented Mar 3, 2016

Please close this branch, I have added a new one (25.2) for the ticket.

@greenTara
Copy link
Collaborator

Replaced by #58

@greenTara greenTara closed this Mar 3, 2016
@greenTara greenTara deleted the ticket25 branch March 6, 2016 04:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants