A formalization of objective and subjective time ontologies

Authors:
Philip H. P. Nguyen;Dan R. Corbett
Affiliations:
Justice Technology Services, Government of South Australia, Adelaide, SA, Australia;Schafer Corporation, Arlington, Va.
Venue:
AOW '07 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85
Year:
2007

Citing 4
Cited 1

Approximate Qualitative Temporal Reasoning

Annals of Mathematics and Artificial Intelligence
Reasoning and Unification over Conceptual Graphs

Reasoning and Unification over Conceptual Graphs
An ontology of time for the semantic web

ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
A Basic Mathematical Framework for Conceptual Graphs

IEEE Transactions on Knowledge and Data Engineering

Meta-relation and ontology closure in conceptual structure theory

Artificial Intelligence and Law

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a novel formalization of temporal notions and their classification. First, objective and subjective time perceptions are discussed from a philosophical and logical viewpoint. Then, all objective and subjective temporal concept types are identified, based on McTaggart's A- and B-series and Priorean tense logic, to which temporal events (or propositions) could be mapped. Time ontology is then defined according to a formalism previously introduced by the authors, together with a graphical representation of the proposed temporal concept type hierarchy. Temporal axioms and properties are finally identified, linking our logic with propositional logic.