Skip to main content
Springer Nature Link
Log in

A Priorean Approach to Time Ontologies

  • Conference paper
Conceptual Structures at Work (ICCS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3127))

Included in the following conference series:

  • 382 Accesses

Abstract

Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued that “the four grades of tense-logical involvement” suggested by A.N. Prior form a useful framework for discussing how various temporal notions are related in a top-level ontology. Furthermore, a number of modern ontologies are analysed with respect to their incorporation of temporal notions. It is argued that all of them correspond to Prior’s first and second grade, and that none of them reflect the views which Prior’s third and fourth grade represent. Finally, the paper deals with Prior’s ideas on a tensed ontology and it is argued that a logic based on the third grade and will be useful in the further development of tensed ontology.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Annotation Guidelines for Relation Detection and Characterization (RDC) Version 3.5 - April 22 (2002), http://www.cs.brandeis.edu/~jamesp/arda/time/documentation/RDC-Guidelines-V3.5.doc

  2. TimeML, http://www.cs.brandeis.edu/~jamesp/arda/time/

  3. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26, 823–843 (1983)

    Article  Google Scholar 

  4. Allen, J.F.: Towards a General Theory of Action and Time. Artificial Intelligence 23 (1984)

    Google Scholar 

  5. Allen, J.F., Hayes, P.: A Common-Sense Theory of Time. In: Proc. of the Ninth Int. Joint Conf. on Artificial Intelligence, pp. 528–531 (1985)

    Google Scholar 

  6. Allen, J.F., Hayes, P.: Moments and Points in an Interval-based Temporal Logic. Comput. Intell. 5, 225–238 (1989)

    Article  Google Scholar 

  7. Buridan, J.: Sophisms on Meaning and Truth, New York (1966)

    Google Scholar 

  8. Chernyakov, A.: The Ontology of Time. In: Being and Time in the Philosophies of Aristotle, Husserl and Heidegger, Kluwer, Dordrecht (2002)

    Google Scholar 

  9. Copeland, J. (ed.): Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford University Press, Oxford (1996)

    MATH  Google Scholar 

  10. Gruber, T.R.: A Translation Approach to Portable Ontologies. Knowledge Acquisition 5(2), 199–220 (1993)

    Article  Google Scholar 

  11. Hamblin, C.L.: Instants and Intervals. In: Fraser, J.T., Haber, F.C., Müller, G.H. (eds.) The Study of Time, pp. 324–331. Springer-Verlag, Berlin (1972)

    Google Scholar 

  12. Hobbs, J.R., et al.: A DAML Ontology of Time (2002), http://www.cs.rochester.edu/~ferguson/daml/daml-time-nov2002.txt

  13. IEEE, Suggested Upper Merged Ontology (2003) http://ontology.teknowledge.com

  14. Kocura, P.: Representing Temporal Ontology in Conceptual Graphs. In: Moor, A.d., Lex, W., Ganter, B. (eds.) Conceptual Structures for Knowledge Creation and Communication, pp. 174–187. Springer Verlag, Heidelberg (2003)

    Chapter  Google Scholar 

  15. McTaggart, J.E.: The Unreality of Time. Mind, 457–474 (1908)

    Google Scholar 

  16. Moulin, B.: The representation of linguistic information in an approach used for modelling temporal knowledge in discourses. In: Mineau, G.W., Sowa, J.F., Moulin, B. (eds.) ICCS 1993. LNCS, vol. 699, pp. 182–204. Springer, Heidelberg (1993)

    Google Scholar 

  17. OpenCyc. Time and Dates (2002), http://www.cyc.com/cycdoc/vocab/time-vocab.html

  18. Prigogine, I.: From Being to Becoming. In: Time and Complexity in the Physical Sciences, W. H. Freeman & Co. San Francisco (1980)

    Google Scholar 

  19. Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)

    MATH  Google Scholar 

  20. Prior, A.N.: The Notion of the Present. In: Fraser, J.T., Haber, F.C., Müller, G.H. (eds.) The Study of Time, Springer, Heidelberg (1972)

    Google Scholar 

  21. Prior, A.N.: Papers on Time and Tense. In: Hasle, P., et al. (ed.) Oxford University Press, Oxford (2003)

    Google Scholar 

  22. Pustejovsky, J.: TERQAS: Time and Event Recognition for Question Answering Systems (2002), http://www.cs.brandeis.edu/~jamesp/arda/time/terqas/index.html

  23. Quine, W.V.O.: On What There Is. Reprinted in From a Logical Point of View. Harper & Row, New York (1953)

    Google Scholar 

  24. Rescher, N., Urquhart, A.: Temporal Logic. Springer, Heidelberg (1971)

    MATH  Google Scholar 

  25. Simons, P.: A Study in Ontology. Clarendon Press, Oxford (1987)

    Google Scholar 

  26. Smith, B.: Philosophical Ontology. In: Floridi, L. (ed.) Guide to the Philosophy of Computing and Information, pp. 155–166. Blackwell, Oxford (2003)

    Google Scholar 

  27. Sowa, J.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)

    MATH  Google Scholar 

  28. Sowa, J.: Knowledge Representation. Brooks Cole Publishing Co. (2000)

    Google Scholar 

  29. Walker, A.G.: Durées et instants. La Revue Scientifique 3266, 131 (1947)

    Google Scholar 

  30. Wolff, K.E., Yameogo, W.: Time Dimension, Objects, and Life Tracks, A Conceptual Analysis. In: Moor, A.d., Lex, W., Ganter, B. (eds.) Conceptual Structures for Knowledge Creation and Communication, pp. 188–200. Springer Verlag, Heidelberg (2003)

    Chapter  Google Scholar 

  31. Øhrstrøm, P., Hasle, P.: Temporal Logic - From Ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, Dordrecht (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Communication, Aalborg University, Denmark

    Peter Øhrstrøm & Henrik Schärfe

Authors
  1. Peter Øhrstrøm
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henrik Schärfe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Mathematics and Science Faculty, Darmstadt University of Applied Sciences, Schoefferstr. 3, D-64295, Darmstadt, Germany

    Karl Erich Wolff

  2. New Mexico State University,  

    Heather D. Pfeiffer

  3. Computer Science Department, Univ. of Alabama in Huntsville, AL 35899, Huntsville

    Harry S. Delugach

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Øhrstrøm, P., Schärfe, H. (2004). A Priorean Approach to Time Ontologies. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds) Conceptual Structures at Work. ICCS 2004. Lecture Notes in Computer Science(), vol 3127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27769-9_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27769-9_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22392-4

  • Online ISBN: 978-3-540-27769-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics