Advertisement

Towards Ontological Foundations for the Conceptual Modeling of Events

  • Giancarlo Guizzardi
  • Gerd Wagner
  • Ricardo de Almeida Falbo
  • Renata S. S. Guizzardi
  • João Paulo A. Almeida
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8217)

Abstract

In recent years, there has been a growing interest in the application of foundational ontologies, i.e., formal ontological theories in the philosophical sense, to provide a theoretically sound foundation for improving the theory and practice of conceptual modeling. In this paper, we present advances on our research on the ontological foundations of conceptual modeling by addressing the concept of events. We present a foundational ontology of events (termed UFO-B) together with its axiomatization in first-order logic. Moreover, we report on an implementation of UFO-B using the computational logic language Alloy, and discuss its consistency, validation and possible uses.

Keywords

Ontological Foundations for Conceptual Modeling Formal Ontology Ontology of Events 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Santos Jr., P.S., et al.: An Ontology-Based Analysis and Semantics for Organizational Structure Modeling in the ARIS Method. Information Systems, Oxford (2013)Google Scholar
  2. 2.
    Weber, R.: Ontological Foundations of Information Systems. Coopers & Lybrand (1997)Google Scholar
  3. 3.
    Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, Telematics Institute Fundamental Research Series, University of Twente, The Netherlands, vol. 15 (2005)Google Scholar
  4. 4.
    Galton, A.: States, Processes and Events, and the Ontology of Causal Relations. In: 7th International Conf. on Formal Ontology in Information Systems (FOIS 2012), Graz (2012)Google Scholar
  5. 5.
    Braga, B.F.B., et al.: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. In: ISSE, vol. 6. Springer (2010) ISSN 1614-5046Google Scholar
  6. 6.
    Kaneiwa, K., Iwazume, M., Fukuda, K.: An Upper Ontology for Event Classifications and Relations. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 394–403. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library. WonderWeb Deliverable D18 (2003)Google Scholar
  8. 8.
    Herre, H.: General Formal Ontology (GFO): A Foundational Ontology for Conceptual Modelling. In: Handbook of Theory and Application of Ontologies. Springer (2010)Google Scholar
  9. 9.
    Olivé, A., Raventós, R.: Modeling events as entities in object-oriented conceptual modeling languages. Data & Knowledge Engineering 58, 243–262 (2006)CrossRefGoogle Scholar
  10. 10.
    Raimond, Y., Abdallah, S.: The Event Ontology (2007), http://motools.sourceforge.net/event/event.html
  11. 11.
    Mumford, S.: Dispositions. Oxford University Press (2003)Google Scholar
  12. 12.
    Jackson, D.: Software Abstraction: Logic, Language and Analysis. MIT Press (2012)Google Scholar
  13. 13.
    Simons, P.: Parts: A Study in Ontology. Oxford University Press (1997)Google Scholar
  14. 14.
    Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11) (1983)Google Scholar
  15. 15.
    Linehan, M., Barkmeyer, E., Hendryx, S.: The Date-Time Vocabulary. In: 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), Graz (2012)Google Scholar
  16. 16.
    Carolo, F.P., Burlamaqui, L.: Improving Web Content Management with Semantic Technologies. In: Semantic Technology and Business Conference (SemTech 2011), San Francisco (2011)Google Scholar
  17. 17.
    Pena, R.: Semantic Support for Publishing Journalistic Content on the Web (in portuguese), MSc dissertation, Pontifical Catholic University, Rio de Janeiro, Brazil (2012)Google Scholar
  18. 18.
    Guizzardi, G., Falbo, R.A., Guizzardi, R.S.S.: Grounding software domain ontologies in the Unified Foundational Ontology (UFO): The case of the ODE software process ontology. In: 11th Iberoamerican Conference on Software Engineering, pp. 244–251 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Giancarlo Guizzardi
    • 1
  • Gerd Wagner
    • 2
  • Ricardo de Almeida Falbo
    • 1
  • Renata S. S. Guizzardi
    • 1
  • João Paulo A. Almeida
    • 1
  1. 1.Ontology and Conceptual Modeling Research Group (NEMO)Federal University of Espírito Santo (UFES)Brazil
  2. 2.Institute of InformaticsBrandenburg University of TechnologyGermany

Personalised recommendations