Skip to main content
Top

2016 | OriginalPaper | Chapter

Relationships and Events: Towards a General Theory of Reification and Truthmaking

Authors : Nicola Guarino, Giancarlo Guizzardi

Published in: AI*IA 2016 Advances in Artificial Intelligence

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge representation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship’s existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and relationships, suggesting that relationships are the focus of events, which emerge from the context (the scene) they occur in.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
The notion of truthmaking will be further discussed and refined.
 
2
For the time being, we are using here the term ‘event’ in its most general sense, as a synonym of what in the DOLCE ontology are called perdurants (note that also states and processes are considered as perdurants). In the rest of the paper, we propose a more restricted notion of event.
 
3
Another way to capture this meaning is to add attributes to the original tuple, which somehow express the properties the relationship has. This is the approach followed by Thalheim [7], who defines a relationship type as a sequence of entity types followed by a set of attributes.
 
4
By ‘a relation that deserves reification’ we mean a relation that deserves reification of its relationships. Informally, we talk of reification of a relation to mean reification of its relationships.
 
5
Of course, one could consider heavier(John@t, Mary@t) to be a relation between the states (snapshots) of John and Mary at t. In this case, the relation would hold internally if at all.
 
6
We shall take the notion of intrinsic property as primitive. Intuitively, an intrinsic property is a property that holds for an entity independently of the existence of any other entity.
 
7
See the recent overview by MacBride [11] of the various philosophical positions on relations. According to him, there are three ways of understanding the internal/external distinction: “internal relations are determined by the mere existence of the things they relate, or internal relations are determined by the intrinsic characters of the things they relate, or internal relations supervene upon the intrinsic characters of the things they relate”. The first position (adopted by Simons) is due to Moore. The second one is due to Armstrong, while the third one to Lewis.
 
8
Another answer could be that the truthmaker is a fact of redness. In light of the discussion in [1] against facts as a viable interpretation for relationships, we do not consider this option here.
 
9
For our purposes, we define a minimal truthmaker of a proposition as a truthmaker such that no entity inhering in it, being part of it or participating to it is itself a truthmaker of the same proposition.
 
10
We shall not discuss the differences among these ontologies concerning the notion of quality. In particular, we shall ignore the fact that DOLCE does not consider qualities as endurants, and we shall collapse, for the sake of simplicity, UFO’s distinction between qualities and modes.
 
11
This notion of individual qualities as endurants is similar to Moltmann’s variable tropes.
 
12
The mereological sum of x and y is an entity z such that whatever overlaps z also overlaps x or y (see, for instance, [2], Chap. 5).
 
13
We understand participation as a formal relation linking endurants to perdurants [13].
 
Literature
1.
go back to reference Guarino, N., Guizzardi, G.: “We need to discuss the Relationship”: revisiting relationships as modeling constructs. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 279–294. Springer, Heidelberg (2015). doi:10.1007/978-3-319-19069-3_18 CrossRef Guarino, N., Guizzardi, G.: “We need to discuss the Relationship”: revisiting relationships as modeling constructs. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 279–294. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-19069-3_​18 CrossRef
2.
go back to reference Guizzardi, G.: Ontological Foundations for Structural Conceptual Models (2005) Guizzardi, G.: Ontological Foundations for Structural Conceptual Models (2005)
3.
go back to reference Chen, P.: English sentence structure and entity-relationship diagrams. Inf. Sci. 29(2), 127–149 (1983)CrossRef Chen, P.: English sentence structure and entity-relationship diagrams. Inf. Sci. 29(2), 127–149 (1983)CrossRef
4.
go back to reference Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, Salvatore, T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 65–78. Springer, Heidelberg (2002). doi:10.1007/3-540-45816-6_15 CrossRef Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, Salvatore, T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 65–78. Springer, Heidelberg (2002). doi:10.​1007/​3-540-45816-6_​15 CrossRef
5.
go back to reference Guizzardi, G., Wagner, G., Herre, H.: On the foundations of UML as an ontology representation language. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 47–62. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30202-5_4 CrossRef Guizzardi, G., Wagner, G., Herre, H.: On the foundations of UML as an ontology representation language. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 47–62. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30202-5_​4 CrossRef
6.
go back to reference Davidson, D.: The individuation of events. In: Contemporary Readings in the Foundations of Metaphysics, p. 295 (1998) Davidson, D.: The individuation of events. In: Contemporary Readings in the Foundations of Metaphysics, p. 295 (1998)
8.
go back to reference Simons, P.M.: Relations and truthmaking. Aristot. Soc. 84(Suppl. 1), 199–213 (2010)CrossRef Simons, P.M.: Relations and truthmaking. Aristot. Soc. 84(Suppl. 1), 199–213 (2010)CrossRef
9.
go back to reference Armstrong, D.M.: Universals and scientific realism. In: A Theory of Universals, vol. 2, pp. 1–169. Cambridge University Press, Cambridge (1978) Armstrong, D.M.: Universals and scientific realism. In: A Theory of Universals, vol. 2, pp. 1–169. Cambridge University Press, Cambridge (1978)
10.
go back to reference Moore, G.E.: External and Internal Relations. In: Proceedings of the Aristotelian Society, pp. 1–15, December 1919 Moore, G.E.: External and Internal Relations. In: Proceedings of the Aristotelian Society, pp. 1–15, December 1919
11.
go back to reference MacBride, F.: Relations. In: Stanford Encyclopedia of Philosophy, pp. 1–42 (2016) MacBride, F.: Relations. In: Stanford Encyclopedia of Philosophy, pp. 1–42 (2016)
12.
go back to reference da Silva Teixeira, M.D.G., de Almeida Falbo, R., Guizzardi, G.: Analyzing the behavior of modelers in interpreting relationships in conceptual models: an empirical study. In: OntoCOM 2014, pp. 1–12 (2014) da Silva Teixeira, M.D.G., de Almeida Falbo, R., Guizzardi, G.: Analyzing the behavior of modelers in interpreting relationships in conceptual models: an empirical study. In: OntoCOM 2014, pp. 1–12 (2014)
13.
go back to reference Borgo, S., Masolo, C.: Foundational choices in DOLCE. In: Staab, S. (ed.) Handbook on ontologies, pp. 361–381. Springer, Heidelberg (2009)CrossRef Borgo, S., Masolo, C.: Foundational choices in DOLCE. In: Staab, S. (ed.) Handbook on ontologies, pp. 361–381. Springer, Heidelberg (2009)CrossRef
14.
go back to reference Neuhaus, F., Grenon, P., Smith, B.: A formal theory of substances, qualities and universals. In: 3rd International Conference on Formal Ontologies in Information Systems (FOIS 2004), Turin (2004) Neuhaus, F., Grenon, P., Smith, B.: A formal theory of substances, qualities and universals. In: 3rd International Conference on Formal Ontologies in Information Systems (FOIS 2004), Turin (2004)
15.
go back to reference MacBride, F.: Truthmakers. In: Stanford Encyclopedia of Philosophy, pp. 1–69 (2014) MacBride, F.: Truthmakers. In: Stanford Encyclopedia of Philosophy, pp. 1–69 (2014)
16.
go back to reference Parsons, J.: There is no ‘truthmaker’ argument against nominalism. Australas. J. Philos. 77(3), 325–334 (1999)MathSciNetCrossRef Parsons, J.: There is no ‘truthmaker’ argument against nominalism. Australas. J. Philos. 77(3), 325–334 (1999)MathSciNetCrossRef
17.
go back to reference Moltmann, F.: Abstract Objects and the Semantics of Natural Language. Oxford University Press, New York (2013)CrossRef Moltmann, F.: Abstract Objects and the Semantics of Natural Language. Oxford University Press, New York (2013)CrossRef
18.
go back to reference Borghini, A., Varzi, A.C.: Event location and vagueness. Philos. Stud. 128(2), 313–336 (2006)CrossRef Borghini, A., Varzi, A.C.: Event location and vagueness. Philos. Stud. 128(2), 313–336 (2006)CrossRef
19.
go back to reference Quine, W.V.: Events and reification. In: LePore, E., McLaughlin, B.P. (eds.) Actions and Events: Perspectives on the Philosophy of Donald Davidson (1985) Quine, W.V.: Events and reification. In: LePore, E., McLaughlin, B.P. (eds.) Actions and Events: Perspectives on the Philosophy of Donald Davidson (1985)
20.
go back to reference Nardi, J.C., et al.: A commitment-based reference ontology for services. Inf. Syst. 54(C), 263–288 (2015)CrossRef Nardi, J.C., et al.: A commitment-based reference ontology for services. Inf. Syst. 54(C), 263–288 (2015)CrossRef
21.
go back to reference Salles, T.P., Guizzardi, G.: Ontological anti-patterns: empirically uncovered error-prone structures in ontology-driven conceptual models. Data Knowl. Eng. (DKE) 99, 72–104 (2015)CrossRef Salles, T.P., Guizzardi, G.: Ontological anti-patterns: empirically uncovered error-prone structures in ontology-driven conceptual models. Data Knowl. Eng. (DKE) 99, 72–104 (2015)CrossRef
Metadata
Title
Relationships and Events: Towards a General Theory of Reification and Truthmaking
Authors
Nicola Guarino
Giancarlo Guizzardi
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-49130-1_18

Premium Partner