loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: B. O. Akinkunmi

Affiliation: University of Ibadan, Nigeria

ISBN: 978-989-8425-29-4

Keyword(s): Reified Logic, Knowledge Representation, Event types, Event tokens, Ontology.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Symbolic Systems

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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.172.111.215

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.