A Formal Ontology for a Computational Approach of Time and Aspect

  • Aurélien Arena
  • Jean-Pierre Desclés
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6233)


This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual opposition between event, state and process or that of time of utterance (for the treatment of deictic categories) that are used to analyse the semantics of grammatical tenses or more general situations. This linguistic model yields a conceptualisation reused for the definition of a formal ontology of time and aspect. This ontology is provided with a formal framework based on type theory that enables the processing of temporal and aspectual semantic entities and relations.


Functional Type Formal Concept Analysis Formal Ontology Semantic Constraint Predicative Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Desclés, J.-P.: Construction formelle de la catégorie grammaticale de l’aspect, Paris, Klincksieck, Metz, pp. 195–237 (1980)Google Scholar
  2. 2.
    Comrie, B.: Aspect: An Introduction to the Study of Verbal Aspect and Related Problems. Cambridge University Press, Cambridge (1976)Google Scholar
  3. 3.
    Vendler, Z.: Verbs and times. The philosophical review 66(2), 143–160 (1957)CrossRefGoogle Scholar
  4. 4.
    Dowty, D.R.: Word Meaning and Montague Grammar: The Semantics of Verbs and Times in Generative Semantics and in Montague’s Ptq, October 1979. D. Reidel Publishing Company, Dordrechtz (1979)Google Scholar
  5. 5.
    Verkuyl, H.J.: Aspectual classes and aspectual composition. Linguistics and philosophy 12(1), 39–94 (1989)CrossRefGoogle Scholar
  6. 6.
    Mourelatos, A.P.D.: Events, processes, and states. Linguistics and philosophy 2(3), 415–434 (1978)CrossRefGoogle Scholar
  7. 7.
    Krifka, M.: Thematic relations as links between nominal reference and temporal constitution. Lexical matters 24 (1992)Google Scholar
  8. 8.
    Pustejovsky, J.: The syntax of event structure. Cognition 41(1-3), 47–81 (1991)CrossRefGoogle Scholar
  9. 9.
    Desclés, J.-P.: Combinatory logic, language and cognitive representations. In: Weingartner, P. (ed.) Alternative Logics. Do Sciences Need them?, pp. 115–148. Springer, Heidelberg (2005)Google Scholar
  10. 10.
    Desclés, J.P., Guentcheva, Z.: Is the notion of process necessary? In: Bertinetto, M. (ed.) Temporal Reference Aspect and Actionality, Turin, pp. 55–70 (1994)Google Scholar
  11. 11.
    Montanari, A.: Back to interval temporal logics. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 11–13. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Guarino, N., Giaretta, P.: Ontologies and knowledge bases - towards a terminological clarification. In: Mars, N. (ed.) Towards Very Large Knowledge Bases, pp. 25–32. IOS Press, Amsterdam (1995)Google Scholar
  13. 13.
    Bittner, T., Donnelly, M., Smith, B.: Individuals, universals, collections: On the foundational relations of ontology. In: Proceedings of the 3rd International Conference on Formal Ontology in Information Systems (FOIS), pp. 37–48 (2004)Google Scholar
  14. 14.
    Desclés, J.-P., Pascu, A.: Logic of determination of object a formal concept analysis (2007)Google Scholar
  15. 15.
    Allen, J.F.: Maintaining knowledge about temporal intervals. ACM Commun. 26(11), 832–843 (1983)zbMATHCrossRefGoogle Scholar
  16. 16.
    Van Benthem, J.: The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, 2nd sub edn., March 1991. Springer, Heidelberg (1991)Google Scholar
  17. 17.
    Loebe, F., Herre, H.: Formal semantics and OntologiesTowards an ontological account of formal semantics. In: Proceeding of the 2008 conference on Formal Ontology in Information Systems, pp. 49–62. IOS Press, Amsterdam (2008)Google Scholar
  18. 18.
    Cohn, A.: Taxonomic reasoning with many-sorted logics. Artificial Intelligence Review 3(2-3), 89–128 (1989)Google Scholar
  19. 19.
    Desclés, J.-P., Vanderveken, D.: Reasoning and Aspectual-Temporal calculus. In: Logic, Thought and Action, vol. 2, pp. 217–244. Springer, Heidelberg (2005) (Neitherlands edn.)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Aurélien Arena
    • 1
  • Jean-Pierre Desclés
    • 1
  1. 1.LaLIC (Langues, Logiques, Informatique et Cognition)University of La SorbonneParisFrance

Personalised recommendations