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.

Sign up for GitHub

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
Closed

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

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 12 additions & 3 deletions Abstract Syntax and Semantics Document/AbstractSyntaxAndSemantics.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -153,9 +153,14 @@ <h3>Temporal entities</h3>

<p>Let T denote the set of temporal entities. This specification is neutral regarding the formal specification of temporal entities.</p>

<h4>Instants and Intervals</h4>

<p>Following the concepts of the Time Ontology (<a href="http://www.w3.org/TR/owl-time/">http://www.w3.org/TR/owl-time/</a>), a temporal entity can be a time instant or a time interval.</p>
<h4>Instants and Intervals</h4>

An instant is an instantaneous point of time on underlying axis and is isomorphic to numbers.
<!--Caution: Issue 31: https://github.com/streamreasoning/RSP-QL/issues/31 -->
Henceforth a timestamp is an object associated with an instant, and a time interval is the interval between two instants. An object is either a further RDF triple or a set of triples. As a consequence a temporal entity is an entity associated with a timestamp or a time interval[Dyreson94,Allen83]. <br>

An ontology that follows these specifications is the OWLTime ontology (<a href="http://www.w3.org/TR/owl-time/">http://www.w3.org/TR/owl-time/</a>). It defines all necessary temporal RDF concepts, such as instants, intervals and temporalEntities, and relations thereon.
<!--<p>Following the concepts of the Time Ontology (<a href="http://www.w3.org/TR/owl-time/">http://www.w3.org/TR/owl-time/</a>), a temporal entity can be a time instant or a time interval.</p> -->

<h3>Timestamped graph</h3>

Expand Down Expand Up @@ -318,6 +323,10 @@ <h3>Count-based window functions</h3>
<li>LARS: A Logic-based Framework for Analyzing Reasoning over Streams.
Beck, H., Dao-Tran, M., Eiter, T., Fink, M. In AAAI. 2015.</li>
<li>RDF 1.1: On Semantics of RDF Datasets. Zimmerman, Antoine, ed.. 2014. <a href="http://www.w3.org/TR/2014/NOTE-rdf11-datasets-20140225">http://www.w3.org/TR/2014/NOTE-rdf11-datasets-20140225</a>.</li>

<!-- New References, APA Style -->
<!-- <li>[Dyreson94]: Dyreson, C., Grandi, F., Käfer, W., Kline, N., Lorentzos, N., Mitsopoulos, Y., ... & Roddick, J. F. (1994). A consensus glossary of temporal database concepts. ACM Sigmod Record, 23(1), 52-64. </li>
<li>[Allen83]:Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832-843.</li>
</ul>-->

<blockquote>
Expand Down