A priorean approach to time ontologies

Peter Øhrstrøm, Henrik Schärfe

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
2053 Downloads (Pure)

Resumé

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.
OriginalsprogEngelsk
TitelConcetptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings
RedaktørerKarl Erich Wolff
Antal sider388
ForlagIEEE Computer Society Press
Publikationsdato2004
StatusUdgivet - 2004
BegivenhedA priorean approach to time ontologies -
Varighed: 19 maj 2010 → …

Konference

KonferenceA priorean approach to time ontologies
Periode19/05/2010 → …
NavnLecture Notes in Computer Science
Nummer3127
ISSN0302-9743

Fingerprint

Ontology
Logic
Arthur Prior
Tense

Citer dette

Øhrstrøm, P., & Schärfe, H. (2004). A priorean approach to time ontologies. I K. E. Wolff (red.), Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings IEEE Computer Society Press. Lecture Notes in Computer Science, Nr. 3127
Øhrstrøm, Peter ; Schärfe, Henrik. / A priorean approach to time ontologies. Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings. red. / Karl Erich Wolff. IEEE Computer Society Press, 2004. (Lecture Notes in Computer Science; Nr. 3127).
@inproceedings{24b36f500c9211dcb676000ea68e967b,
title = "A priorean approach to time ontologies",
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.",
author = "Peter {\O}hrstr{\o}m and Henrik Sch{\"a}rfe",
year = "2004",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "3127",
editor = "Wolff, {Karl Erich}",
booktitle = "Concetptual structures at work",
address = "United States",

}

Øhrstrøm, P & Schärfe, H 2004, A priorean approach to time ontologies. i KE Wolff (red.), Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings. IEEE Computer Society Press, Lecture Notes in Computer Science, nr. 3127, A priorean approach to time ontologies, 19/05/2010.

A priorean approach to time ontologies. / Øhrstrøm, Peter; Schärfe, Henrik.

Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings. red. / Karl Erich Wolff. IEEE Computer Society Press, 2004. (Lecture Notes in Computer Science; Nr. 3127).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - A priorean approach to time ontologies

AU - Øhrstrøm, Peter

AU - Schärfe, Henrik

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

M3 - Article in proceeding

T3 - Lecture Notes in Computer Science

BT - Concetptual structures at work

A2 - Wolff, Karl Erich

PB - IEEE Computer Society Press

ER -

Øhrstrøm P, Schärfe H. A priorean approach to time ontologies. I Wolff KE, red., Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings. IEEE Computer Society Press. 2004. (Lecture Notes in Computer Science; Nr. 3127).