An Ontology of the Aspectual Classes of Actions

Robert Trypuz, Laure Vieu (2007): An Ontology of the Aspectual Classes of Actions. In: Arrazola,; Larrazabal, (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 393–409, 2007.

Abstract

It is well known that verb phrases can be classified into lexical as- pectual classes, the most popular ones being: activity (e.g., run), state (e.g., sit), accomplishment (e.g., climb a mountain) and achievement (e.g., reach the summit). Although existing formal theories and logics of actions only consider telic actions, that is, accomplishments and/or achievements, all four categories do contain verbs describing agentive and intentional eventualities, i.e., actions. In this paper, we show how these aspectual classes, seen as eventuality types can be incorporated into a formal ontology of action—OntoSTIT+. We also show how the famous imperfective paradox is solved in this theory, which illustrates its expressive power.

BibTeX (Download)

@inproceedings{logkca2007aspclass,
title = {An Ontology of the Aspectual Classes of Actions},
author = {Robert Trypuz and Laure Vieu},
editor = {X. Arrazola and J. M. Larrazabal},
url = {http://www.irit.fr/publis/LILAC/TV-AC-LOGKCA07.pdf},
year  = {2007},
date = {2007-01-01},
booktitle = {ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07)},
pages = {393--409},
abstract = {It is well known that verb phrases can be classified into lexical as- pectual classes, the most popular ones being: activity (e.g., run), state (e.g., sit), accomplishment (e.g., climb a mountain) and achievement (e.g., reach the summit). Although existing formal theories and logics of actions only consider telic actions, that is, accomplishments and/or achievements, all four categories do contain verbs describing agentive and intentional eventualities, i.e., actions. In this paper, we show how these aspectual classes, seen as eventuality types can be incorporated into a formal ontology of action—OntoSTIT+. We also show how the famous imperfective paradox is solved in this theory, which illustrates its expressive power.},
keywords = {applied ontology, Aspectual Classes of Actions, knowledge representation, ontology of action, OntoSTIT+},
pubstate = {published},
tppubtype = {inproceedings}
}