Abstract
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languages and models. In this article, we continue this work by employing theories from Formal Ontology, Cognitive Psychology and Philosophical Logic to systematically investigate some important modal aspects of the ontological categories represented in structural conceptual models. In particular, we focus on Object Types and Part-Whole Relations, formally characterizing some modal properties that motivate the proposal of a number of distinctions within these categories. In addition, we show how two types of modality known in philosophical logic (de re/de dicto modality) can be used to address some subtle issues that appear in conceptual diagrams when different sorts of object types and part-whole relations are combined.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Evermann, J.: The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 33–47. Springer, Heidelberg (2005)
Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer Publishers, Boston (1999)
Guarino, N., Welty, C.: An Overview of OntoClean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 151–159. Springer, Heidelberg (2004)
Guizzardi, G., Herre, H., Wagner, G.: Towards Ontological Foundations for UML Conceptual Models. In: Proceedings of the 1st ODBASE, USA, 2002, pp. 1100–1117 ( 2002)
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, PhD thesis, University of Twente, The Netherlands (2005)
Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M.: An Ontologically Well-Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 112–126. Springer, Heidelberg (2004)
Henderson-Sellers, B., Barbier, F.: What Is This Thing Called Aggregation? In: proceedings of Technology of Object-Oriented Languages and Systems Europe’99, Nancy, France, pp. 236–250. IEEE Computer Society Press, Washington (June 7-10, 1999)
Husserl, E.: Logical Investigations, Routledge, London, 1970 (original 1900/1901)
Keet, C.M.: Part-Whole Relations in Object-Role Models, International Workshop on Object-Role Modeling (ORM’2006), Montpellier, France, pp. 1116–1127 (2006)
McNamara, J.: A Border Dispute, the Place of Logic in Psychology. M.I.T. Press, Cambridge (1986)
Odell, J.J.: Six Different Kinds of Composition. In: Advanced Object-Oriented Analysis and Design Using UML, Cambridge University Press, New York (1998)
Opdahl, A., Henderson-Sellers, B., Barbier, F.: Ontological Analysis of whole-part relationships in OO-models. Information and Software Technology 43, 387–399 (2001)
Rosemann, M., Green, P.: Ontologies and Business Systems Analysis, IDEA, USA (2005)
Simons, P.M.: Parts. An Essay in Ontology. Clarendon Press, Oxford (1987)
van Leeuwen, J.: Individuals and sortal concepts : an essay in logical descriptive metaphysics, PhD Thesis, University of Amsterdam (1991)
Winston, M.E., Chaffin, R., Herrman, D.: A taxonomy of part-whole relations. Cognitive Science 11, 417–444 (1987)
Wyssusek, B.: On Ontological Foundations of Conceptual Modeling. Scandinavian Journal of Information Systems 18(1) (2006) ISSN 0905-0167
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Guizzardi, G. (2007). Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction. In: Krogstie, J., Opdahl, A., Sindre, G. (eds) Advanced Information Systems Engineering. CAiSE 2007. Lecture Notes in Computer Science, vol 4495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72988-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-72988-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72987-7
Online ISBN: 978-3-540-72988-4
eBook Packages: Computer ScienceComputer Science (R0)