loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: B. O. Akinkunmi

Affiliation: University of Ibadan, Nigeria

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 distinctio n 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)

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 54.163.200.109

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 (IC3K 2010) - KEOD; ISBN 978-989-8425-29-4; ISSN 2184-3228, SciTePress, 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 (IC3K 2010) - KEOD},
year={2010},
pages={288-294},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003099602880294},
isbn={978-989-8425-29-4},
issn={2184-3228},
}

TY - CONF

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