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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Santos Jr., P.S., et al.: An Ontology-Based Analysis and Semantics for Organizational Structure Modeling in the ARIS Method. Information Systems, Oxford (2013)
Weber, R.: Ontological Foundations of Information Systems. Coopers & Lybrand (1997)
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, Telematics Institute Fundamental Research Series, University of Twente, The Netherlands, vol. 15 (2005)
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)
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-5046
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)
Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library. WonderWeb Deliverable D18 (2003)
Herre, H.: General Formal Ontology (GFO): A Foundational Ontology for Conceptual Modelling. In: Handbook of Theory and Application of Ontologies. Springer (2010)
Olivé, A., Raventós, R.: Modeling events as entities in object-oriented conceptual modeling languages. Data & Knowledge Engineering 58, 243–262 (2006)
Raimond, Y., Abdallah, S.: The Event Ontology (2007), http://motools.sourceforge.net/event/event.html
Mumford, S.: Dispositions. Oxford University Press (2003)
Jackson, D.: Software Abstraction: Logic, Language and Analysis. MIT Press (2012)
Simons, P.: Parts: A Study in Ontology. Oxford University Press (1997)
Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11) (1983)
Linehan, M., Barkmeyer, E., Hendryx, S.: The Date-Time Vocabulary. In: 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), Graz (2012)
Carolo, F.P., Burlamaqui, L.: Improving Web Content Management with Semantic Technologies. In: Semantic Technology and Business Conference (SemTech 2011), San Francisco (2011)
Pena, R.: Semantic Support for Publishing Journalistic Content on the Web (in portuguese), MSc dissertation, Pontifical Catholic University, Rio de Janeiro, Brazil (2012)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guizzardi, G., Wagner, G., de Almeida Falbo, R., Guizzardi, R.S.S., Almeida, J.P.A. (2013). Towards Ontological Foundations for the Conceptual Modeling of Events. In: Ng, W., Storey, V.C., Trujillo, J.C. (eds) Conceptual Modeling. ER 2013. Lecture Notes in Computer Science, vol 8217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41924-9_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-41924-9_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41923-2
Online ISBN: 978-3-642-41924-9
eBook Packages: Computer ScienceComputer Science (R0)