TEMPORAL ENTITIES - Types, Tokens and Qualifications

B. O. Akinkunmi

2010

Abstract

Reified logics have been a major subject of interest in the knowledge representation community for well over twenty years, since over the years, the need to quantify and reason about propositional entities such as events and states among other temporal entities has grown. Galton had made it clear that one may either refer to types or tokens (instances) of such entities in the ontology. A clear tendency in the literature is to derive event tokens from event types by instantiating types with their times of occurrence. That tendency is exemplified by earlier token-reified logic. The problem with this approach is that it makes it difficult to distinguish between two different events of the same type happening at the same time. This is a major price that earlier logic paid for being a full-fledged logical theory. This paper presents an alternative way of deriving event tokens from event types which uses the concept of qualifications rather than use times of occurrence. A clear distinction is made between qualifications and the actual event tokens they help derive from event types. A qualification captures the peculiarities of an actual event token that are not part of the event type definitions. Our logic maintains both the advantage of being a full-fledged logic as well being able to add many qualifications to an event token. This paper presents an alternative way of deriving event tokens from event types which uses the concept of qualifications rather than use times of occurrence. A clear distinction is made between qualifications and the actual event tokens they help derive from event types. A qualification captures the peculiarities of an actual event token that are not part of the event type definitions. Our logic maintains both the advantage of being a full-fledged logic as well being able to add many qualifications to an event token.

Paper Citation

in Harvard Style

Akinkunmi B. (2010). TEMPORAL ENTITIES - Types, Tokens and Qualifications . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 288-294. DOI: 10.5220/0003099602880294

in Bibtex Style

@conference{keod10,
author={B. O. Akinkunmi},
title={TEMPORAL ENTITIES - Types, Tokens and Qualifications},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)},
year={2010},
pages={288-294},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003099602880294},
isbn={978-989-8425-29-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)
TI - TEMPORAL ENTITIES - Types, Tokens and Qualifications
SN - 978-989-8425-29-4
AU - Akinkunmi B.
PY - 2010
SP - 288
EP - 294
DO - 10.5220/0003099602880294